सैद्धांतिक कंप्यूटर विज्ञान

क्या यह संभव है (स्लैश आप एक उदाहरण प्रदान कर सकते हैं) एक समानांतर एल्गोरिथ्म का उपयोग करके किसी समस्या की कम्प्यूटेशनल जटिलता को कम करने के लिए जो इनपुट आकार के सापेक्ष कई प्रोसेसर की आवश्यकता नहीं है?

10 cc.complexity-theory  dc.parallel-comp 

क्या स्वचालित रूप से अन्य परिवर्तनों (z ट्रांसफॉर्म, चिरप, आदि) को एफएफटी की प्रकृति को विभाजित और जीत सकते हैं? क्या एक एल्गोरिथ्म है जो परिवर्तन के विवरण में लेता है (मुझे नहीं पता कि क्या जानकारी की आवश्यकता होगी) और फ़ंक्शन की तरह तेजी से एफएफटी का उत्पादन कर …

10 ds.algorithms 

विशेष रूप से, मैं मशीन लर्निंग सिस्टम के बारे में जानने के लिए संसाधनों के लिए कह रहा हूं जो ऑपरेशन के दौरान अपने संबंधित विश्वास नेटवर्क (या समकक्ष) को अपडेट कर सकते हैं। मैं भी कुछ भर में चला गया, हालांकि मैं उन्हें बुकमार्क करने में विफल रहा। जैसा …

10 reference-request  machine-learning  lg.learning  ai.artificial-intel  online-learning 

एक डीएफए या एनएफए एक स्ट्रिंग के साथ एक इनपुट हेड के माध्यम से पढ़ता है, बाएं से दाएं चलता है। ऐसा लगता है कि परिमित-राज्य मशीनों के बारे में आश्चर्य करना स्वाभाविक है , जिनके कई सिर हैं , जिनमें से प्रत्येक बाएं से दाएं इनपुट से गुजरता है, …

10 fl.formal-languages  automata-theory  regular-language  nfa 

मुझे कंबाइनरी लॉजिक, लैम्ब्डा कैलकुलस, फंक्शनल प्रोग्रामिंग जैसे विभिन्न विषयों में थोड़ी देर के लिए दिलचस्पी रही है और उनका अध्ययन कर रहा हूं। हालांकि, "कम्प्यूटेशन का सिद्धांत" के विपरीत, जो "कम्प्यूटेबिलिटी" के सवाल का जवाब देने का प्रयास करता है, अर्थात, विभिन्न बाधाओं के साथ गणना / नहीं की …

10 soft-question  pl.programming-languages  lambda-calculus  big-picture  combinatory-logic 

यह 70 के दशक की शुरुआत से ही जाना जाता है एन पीNP{\bf NP} तथा ई =डीटीमैंमइ(2ओ ( एन ))E=DTIME(2O(n)){\bf E}=DTIME(2^{O(n)}) बराबर नहीं हैं (क्योंकि इE{\bf E} इसके विपरीत बहुपद-काल-एक-एक में कमी नहीं है एन पीNP{\bf NP})। जहां तक ​​मुझे पता है, हालांकि, यह अभी भी खुला है कि क्या …

10 cc.complexity-theory  complexity-classes  np-complete 

यह अज्ञात है कि या , जहाँपी⊆ सीएसएलपी⊆सीएसएलP\subseteq CSLपी⊈ सीएसएलपी⊈सीएसएलP\not\subseteq CSL पीपीP एक नियतात्मक ट्यूरिंग मशीन पर बहुपद समय में सभी भाषाओं का एक सेट है, और सीएसएलसीएसएलCSL प्रसंग-संवेदी भाषाओं का वर्ग है, जिसे NSPACE (O (n)) के समतुल्य माना जाता है एनएसपीA सीइ( ओ ) ( एन )एनएसपीएसीइ(हे(n))NSPACE(O(n)), भाषाएं …

10 cc.complexity-theory  fl.formal-languages  polynomial-time 

चलो एचअ लटीnएचएएलटीnHALT_n लंबाई की स्ट्रिंग को निरूपित करें 2n2n2^n लंबाई के इनपुट के लिए पड़ाव समस्या की सत्य तालिका के अनुरूप nnn। यदि कोलमोगोरोव जटिलताओं का क्रम क( एचअ लटीn)क(एचएएलटीn)K(HALT_n) थे ओ ( 1 )हे(1)O(1), तो सलाह तार में से एक का उपयोग अक्सर असीम रूप से किया जाएगा, …

10 cc.complexity-theory  reference-request  computability  lower-bounds 

मान लीजिए मेरे पास बूलियन सर्किट है CCC कुछ फ़ंक्शन की गणना करता है f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n \to \{0,1\}। मान लें कि सर्किट से बना है, या, और अधिकतम 2 पर प्रशंसक और पंखे के साथ गेट्स नहीं है। चलो x∈{0,1}nx∈{0,1}nx \in \{0,1\}^nएक दिया गया इनपुट हो। दिया हुआCCC तथा xxx, मैं …

10 ds.algorithms  circuit-complexity  boolean-functions  circuits 

K-FLIP SAT पैराट्राइज्ड समस्या को निम्नानुसार परिभाषित किया गया है: इनपुट: एक 3-CNF फॉर्मूलाφφ\varphi साथ में nnn चर और एक सच काम σ: [ एन ] → { 0 , 1 }σ:[n]→{0,1}\sigma : [n] \to \{0,1\} पैरामीटर: कkk प्रश्न: क्या हम असाइनमेंट को बदल सकते हैंσσ\sigma एक तृप्ति कार्य में …

10 parameterized-complexity  fixed-parameter-tractable 

कहते हैं कि मैं होमोटोपी प्रकार के सिद्धांत में काम करता हूं और मेरे अध्ययन की एकमात्र वस्तुएं पारंपरिक श्रेणियां हैं। यहाँ समीकरणों को और जो श्रेणियों के प्रदान करते हैं । प्राकृतिक आइसोमोर्फिम्स और ताकि यह functor और "inverse" functor हो यूनिट फ़नकार में तब्दील हो जाते हैं।F:D⟶CF:D⟶CF:{\bf D}\longrightarrow{\bf …

10 type-theory  ct.category-theory  dependent-type  equivalence  homotopy-type-theory 

दोहराव के बारे में बात करते समय आमतौर पर पूरक सुस्तता (सीएस) सिखाई जाती है। यह गणितीय दृष्टिकोण से प्राइमल और दोहरी बाधा / चर के बीच एक अच्छा संबंध स्थापित करता है। सीएस को लागू करने के दो प्राथमिक कारण (जैसा कि स्नातक पाठ्यक्रमों और पाठ्य पुस्तकों में पढ़ाया …

10 ds.algorithms  approximation-algorithms  linear-programming  primal-dual 

मुझे DFA के थोड़े सामान्यीकरण में दिलचस्पी है। हमेशा की तरह हमने राज्य-सेट , परिमित वर्णमाला , एक -चुंबकण को द्वारा परिभाषित किया है , और प्रारंभिक अवस्था ; लेकिन सामान्य टर्मिनल सेट के बजाय, हम के सबसेट के एक परिवार । एक बहु-भाषा डीएफए तब टपल हैQQQΣΣ\SigmaΣ∗Σ∗\Sigma^*QQQδ:Q×Σ→Qδ:Q×Σ→Q\delta : Q\times\Sigma\rightarrow …

10 automata-theory  dfa 

नमूना प्रश्नों के साथ और समान वितरण के तहत उचित पीएसी सीखने 2-डीएनएफ फॉर्मूलों की क्वेरी जटिलता के बारे में कला परिणाम क्या है ? या उस पर कोई गैर-तुच्छ बाउंड? क्योंकि मैं सीखने के सिद्धांत से बिल्कुल भी परिचित नहीं हूं और यह सवाल एक अलग क्षेत्र से प्रेरित …

10 reference-request  lg.learning  boolean-functions 

अरोड़ा-बराक पुस्तक में, समय रचनात्मक कार्यों की परिभाषा में, यह कहा जाता है कि ऐसे कार्यों का उपयोग करना जो समय रचनात्मक नहीं हैं, "अनैतिक परिणाम" पैदा कर सकते हैं। क्या किसी के पास इस तरह के "विसंगतिपूर्ण परिणाम" का उदाहरण है? मैंने विशेष रूप से सुना है कि ऐसे …

10 cc.complexity-theory