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

OCamlight के एक बड़े उपसमूह के शब्दार्थ, जिसे OCamllight कहा जाता है , को कई साल पहले ओवेन्स द्वारा HOL में औपचारिक रूप दिया गया था। अभी हाल ही में, KCamitz, हेडन और हिक्की द्वारा नुपले में OCaml के एक छोटे उपसमुच्चय के एक प्रकार के सैद्धांतिक शब्दार्थ को लागू …

14 coq  program-verification  ocaml 

वहाँ मौजूद है , एक NP- या पी-पूरा भाषा है जो समरूपता समूहों में से कुछ परिवार है (या groupoid सेट पर है, लेकिन फिर एल्गोरिथम सवाल अधिक खुला हो जाते हैं) (बहुपद समय में) अभिनय जैसे कि कुछ , जैसे कि बड़ा पर्याप्त के लिए और कुछ , और …

14 np  algebra  gr.group-theory  complexity  symmetry 

निम्नलिखित समस्या की जटिलता क्या है? इनपुट : एचHH में एक हैमिल्टन मार्गकnKnK_n आर ⊆ [ एन ]2R⊆[n]2R \subseteq [n]^2 के जोड़े का एक उपसमूह एक धनात्मक पूर्णांककkk क्वेरी : वहाँ एक है मिलान ऐसी है कि हर एक के लिए , ? (जहां )( वी , यू ) ∈ …

14 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  np-complete 

मैं हाल ही में से एक बहुत अच्छा पेपर पढ़ रहा था बहादुर और Vazirani जो दिखाता है कि अगर , फिर वहाँ नहीं सैट हल करने के लिए भी वादा है कि यह या तो unsatisfiable है या एक अद्वितीय समाधान है के तहत एक कुशल एल्गोरिथ्म हो सकता …

14 np-hardness  np-complete  unique-solution  promise-problems 

वहाँ प्राथमिक अंकगणितीय आपरेशनों एक की निर्धारक गणना करने के लिए की जरूरत की न्यूनतम संख्या खोजने पर किसी भी काम किया गया है nnn से nnn छोटे और तय करने के लिए मैट्रिक्स nnn ? उदाहरण के लिए, n=5n=5n=5 ।

14 cc.complexity-theory  linear-algebra  determinant 

Haskell को कॉन्टेनेटरी लॉजिक जैसे एक कंसेंटिव प्रोग्रामिंग लैंग्वेज में ट्रांसलेट करने से ghc को रोकना और फिर बस हर चीज के लिए स्टैक आवंटन का उपयोग करना क्या है? विकिपीडिया के अनुसार, लैम्ब्डा कैलकुलस से कॉम्बिनेशन लॉजिक तक का अनुवाद तुच्छ है, और साथ ही, कंसेंटेटिव प्रोग्रामिंग लैंग्वेज पूरी …

14 functional-programming  haskell 

क्या ऐसी दिलचस्प समस्याएं हैं जो लेकिन N C 2 में नहीं हैं ? पेपर में 'ए टैक्सोनॉमी ऑफ प्रॉब्लम्स विद फास्ट पैरेलल एल्गोरिदम', कुक ने उल्लेख किया है कि एमआईएस केवल एन सी 5 में जाना जाता था, लेकिन इसके बाद से इसे एन सी 2 में लाया गया …

14 complexity-classes  dc.parallel-comp 

वहाँ किसी भी ज्ञात "अच्छा" पदानुक्रम है L0⊆L1⊆L2⊆…L0⊆L1⊆L2⊆…L_0 \subseteq L_1 \subseteq L_2 \subseteq \dots (परिमित हो सकता है) की नियमित भाषाओं वर्ग के अंदर LLL ? यहाँ अच्छा करके, प्रत्येक पदानुक्रम में कक्षाएं अलग-अलग अभिव्यक्ति / शक्ति / जटिलता पर कब्जा करती हैं। इसके अलावा, प्रत्येक वर्ग की सदस्यता कुछ …

14 automata-theory  regular-language  regular-expressions 

मैं इन सवालों के बारे में सोच रहा हूँ: क्या एक टाइप किया हुआ लैम्ब्डा कैलकुलस है जो सुसंगत और ट्यूरिंग पूर्ण है? /cs/65003/if-%CE%BB-xxx-has-a-type-then-is-the-type-system-inconsistent और अनकैप्ड सेटिंग में संबंधित प्रश्नों का उत्तर देने के लिए पहले से ही कुछ कठिन हैं ! विशेष रूप से, मैं यह जानने के लिए …

14 lambda-calculus  combinatory-logic 

चलो भर भाषाओं के परिवार हो Σ संतोषजनक पंप संपत्ति नियमित भाषाओं के। अर्थात्: प्रत्येक के लिए एल ∈ एल , वहाँ एक है एन ∈ एन सेंट हर शब्द डब्ल्यू ∈ एल , | w | > N को w = x y z के रूप में लिखा जा …

14 reference-request  fl.formal-languages  automata-theory 

क्या nondeterminism गति-निर्धारण नियतात्मक संगणना कर सकता है? यदि हाँ, तो कितना? Nondeterminism द्वारा गति-निर्धारण नियतात्मक संगणना से मेरा मतलब है कि परिणाम: DTime(f(n))⊆NTime(n)DTime(f(n))⊆NTime(n)\mathsf{DTime}(f(n)) \subseteq \mathsf{NTime}(n) जैसे कुछ DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n) Nondeterminism द्वारा नियतात्मक संगणना का सबसे अच्छा ज्ञात गति-अप परिणाम क्या है? के बारे में क्या या यहां तक …

14 cc.complexity-theory  nondeterminism  speed-up  alternation  tradeoff 

kkk वें प्राथमिक सममित बहुपद Snk(x1,…,xn)Skn(x1,…,xn)S_k^n(x_1,\ldots,x_n) सभी का योग है के उत्पादों अलग चर। मुझे इस बहुपद के मोनोटोन अंकगणित सर्किट जटिलता में दिलचस्पी है । एक साधारण गतिशील प्रोग्रामिंग एल्गोरिथ्म (साथ ही नीचे छवि 1) फाटकों के साथ एक सर्किट देता है ।(nk)(nk)\binom{n}{k}kkk(+,×)(+,×)(+,\times)(+,×)(+,×)(+,\times)O(kn)O(kn)O(kn) प्रश्न: क्या की निचली सीमा ज्ञात …

14 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits  dynamic-programming 

Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1}RegReg\mathsf{Reg}आर ई जी ⊆ टी सी 0 एन सी 1 ⊈ टी सी 0 आर ई जी ⊈ टी सी 0TC0⊈RegTC0⊈Reg\mathsf{TC^0} \not\subseteq \mathsf{Reg}Reg⊆TC0Reg⊆TC0\mathsf{Reg} \subseteq \mathsf{TC^0}NC1⊈TC0NC1⊈TC0\mathsf{NC^1}\not\subseteq\mathsf{TC^0}Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0} क्या में एक समस्या के लिए कोई उम्मीदवार है जो ?टी सी ०RegReg\mathsf{Reg}TC0TC0\mathsf{TC^0} क्या कोई सशर्त परिणाम है कि , उदाहरण …

14 cc.complexity-theory  fl.formal-languages  automata-theory  circuit-complexity  regular-language 

किसी भी मनमाने ढंग से एनपी के लिए पूरी भाषा हमेशा एक बहुपक्षी है जिसके पूरक भी अनंत हैं? एक तुच्छ संस्करण जो अनंत पूरक होने के लिए सुपरसेट को निर्धारित नहीं करता है, /cs//q/50123/42961 पर पूछा गया है इस सवाल के प्रयोजनों के लिए, आपको लगता है कि यह …

14 cc.complexity-theory  np-complete  structural-complexity 

सिस्टम एफ जैसी प्रतिपक्षी भाषाओं के लिए तार्किक संबंध परिवेशीय तर्क की अप्रत्यक्षता पर गंभीर रूप से भरोसा करते हैं। विशेष रूप से, सभी टाइप किए गए संबंधों के संदर्भ में फ़ोर-प्रकार की व्याख्या को परिभाषित किया जाएगा। एक impredicative system (जैसे कि CiC / Coq) में यह ठीक है, …

14 lo.logic  pl.programming-languages  type-theory  automated-theorem-proving