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

मैंने पढ़ा है कि शुरू में चर्च ने -calculus को लॉजिस्टिक लॉजिक (जो कि एक सघन वाचन है) के अपने पोस्टुलेट्स के हिस्से के रूप में प्रस्तावित किया था । लेकिन क्लेन ने अपने "सिस्टम" को असंगत साबित कर दिया जिसके बाद, चर्च ने "प्रभावी कम्प्यूटेबिलिटी" पर अपने काम के …

22 lo.logic  big-picture  lambda-calculus  ho.history-overview 

में इस सूत्र , Norbet ब्लम का प्रयास सबूत संक्षेप टिप्पण Tardos समारोह प्रमेय 6 की एक प्रति है कि ने खारिज कर रहा है।P≠NPP≠NPP \neq NP प्रमेय 6 : Let किसी भी एक लय बूलियन समारोह हो। मान लें कि एक CNF-DNF-सन्निकट A है जिसका उपयोग C m ( …

22 cc.complexity-theory  np-hardness  complexity-classes 

मैं सिन्थेटिक कम्प्यूटेबिलिटी थ्योरी में लेडी बाउर के पेपर फर्स्ट स्टेप्स को पढ़ रहा था । निष्कर्ष में वह नोट करता है हमारे स्वयंसिद्धीकरण की अपनी सीमा है: यह कम्प्यूटेबिलिटी सिद्धांत में किसी भी परिणाम को साबित नहीं कर सकता है जो ऑर्कल कंपाइलेशन से संबंधित होने में विफल रहता …

22 computability  relativization 

कई एल्गोरिदमिक ग्राफ़ समस्याओं को बहुपत्नी समय में अनलोड और वेटेड ग्राफ़ दोनों पर हल किया जा सकता है। कुछ उदाहरण सबसे छोटे पथ, न्यूनतम फैले हुए वृक्ष, सबसे लंबे पथ (निर्देशित चक्रीय रेखाचित्रों में), अधिकतम प्रवाह, न्यूनतम कट, अधिकतम मिलान, इष्टतम arborescence, कुछ घनीभूत सबग्राफ समस्याएं, अधिकतम असंतुष्ट निर्देशित …

22 cc.complexity-theory  graph-algorithms  np-hardness 

यह एक खुले हुए सवाल की तरह है - जिसके लिए मैं पहले से माफी मांगता हूं। ऐसे बयानों के उदाहरण हैं जो (प्रतीत होते हैं) का जटिलता या ट्यूरिंग मशीनों से कोई लेना-देना नहीं है, लेकिन इसका उत्तर किस तरह से ?P≠NPP≠NP\mathbf{P}\neq \mathbf{NP}

22 cc.complexity-theory  complexity-classes  p-vs-np 

एक से इसे जारी रखते हुए पिछले प्रश्न , सैट के लिए सबसे अच्छा वर्तमान स्थान कम सीमा क्या है? एक बाउंड लोअर बाउंड के साथ मेरा मतलब है कि ट्यूरिंग मशीन द्वारा उपयोग की जाने वाली वर्कटैप कोशिकाओं की संख्या जो बाइनरी वर्कटैप वर्णमाला का उपयोग करती है। एक …

22 cc.complexity-theory  sat  lower-bounds  space-bounded  space-complexity 

थॉमस जे। शेफर द्वारा "द कम्प्लेन्ट ऑफ ऑफ ससिफियाबिलिटी प्रोब्लेम्स" पत्र में लेखक ने उल्लेख किया है कि This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of …

22 cc.complexity-theory  reference-request  soft-question  reductions  proof-assistants 

मैं सीखने के अनुभव के रूप में एक सरल रूप से टाइप की गई कार्यात्मक प्रोग्रामिंग भाषा डिजाइन कर रहा हूं। ऐसा प्रतीत होता है कि मैंने जिस प्रकार की प्रणाली को अब तक लागू किया है (थोड़े अतिरिक्त काम के साथ) चौराहे और संघ प्रकारों को शामिल कर सकता …

22 type-theory  functional-programming  type-inference  language-design 

गहराई -3 परिणाम पर हालिया चैस के प्रकाश में (जो अन्य बातों के अलावा गहराई -3 अंकगणित सर्किट के लिए निर्धारक से अधिक के लिए ), मेरे पास निम्नलिखित प्रश्न हैं: ग्रिगोरिएव और करपिंस्की ने साबित किया, जो किसी भी गहराई -3 अंकगणितीय सर्किट के लिए कम बाध्य है, जो …

22 circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant 

एक प्लानर ग्राफ जी के रूप में तैयार किए गए विद्युत नेटवर्क पर विचार करें, जहां प्रत्येक किनारे 1or अवरोधक का प्रतिनिधित्व करता है। कितनी जल्दी हम जी में दो कोने के बीच सटीक प्रभावी प्रतिरोध की गणना कर सकते हैं ? समान रूप से, कितनी तेजी से हम प्रत्येक …

22 ds.algorithms  graph-theory  planar-graphs  physics 

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

22 cc.complexity-theory  reference-request  big-picture  application-of-theory  worst-case 

क्यूबिक ग्राफ़ वे ग्राफ़ होते हैं जहाँ हर वर्टेक्स की डिग्री होती है। 3. उनका बड़े पैमाने पर अध्ययन किया गया है और मुझे पता है कि कई एनपी-हार्ड समस्याएँ एनपी-हार्ड बनी रहती हैं, यहाँ तक कि क्यूबिक ग्राफ़ के उपवर्गों तक भी सीमित हैं, लेकिन कुछ अन्य लोगों को …

22 graph-theory  graph-algorithms  np-hardness 

मैं अप्रत्यक्ष, अनवीटेड, कनेक्टेड ग्राफ़ तलाश कर रहा हूं , जिसमें प्रत्येक जोड़ी , एक अद्वितीय पथ है जो दूरी एहसास करता है ।G=(V,E)G=(V,E)G=(V,E)u,v∈Vu,v∈Vu,v \in Vu→vu→vu \rightarrow vd(u,v)d(u,v)d(u,v) क्या रेखांकन का यह वर्ग प्रसिद्ध है? इसके और क्या गुण हैं? उदाहरण के लिए, हर पेड़ इस तरह का होता है, …

22 graph-theory 

क्या किसी को उन संदर्भों के बारे में पता है जो एकीकरण एल्गोरिथ्म और गाऊसी उन्मूलन के बीच संबंध को सटीक रूप से स्पष्ट करते हैं ? मैं विशेष रूप से त्रिकोणीय प्रतिस्थापन और एलयू डिकम्पोज़िशन के बीच संबंधों में रुचि रखता हूं । वेन स्नाइडर और जीन गैलियर ने …

22 reference-request  lo.logic 

क्या श्रेणी सिद्धांत के संदर्भ में वायदा या वादों का एक उपयोगी वर्णन है ? विशेष रूप से, भविष्य का स्पष्ट दोहरी क्या हो सकता है?

22 pl.programming-languages  ct.category-theory  concurrency