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

यह मानने के लिए अक्सर कि दार्शनिक औचित्य है कि P! = NP बिना प्रमाण के भी। अन्य जटिलता वर्गों के प्रमाण हैं कि वे अलग-अलग हैं, क्योंकि यदि नहीं, तो "आश्चर्यजनक" परिणाम होंगे (जैसे कि बहुपद पदानुक्रम का पतन)। मेरा प्रश्न यह है कि विश्वास का आधार क्या है …

32 cc.complexity-theory  complexity-classes  gt.game-theory  conditional-results 

इस प्रश्न में, एक 3CNF सूत्र का अर्थ है CNF सूत्र जहाँ प्रत्येक खंड में तीन अलग-अलग चर शामिल होते हैं । निरंतर 0 < s <1 के लिए, Gap-3SAT s निम्नलिखित वादा समस्या है: गैप-3SAT रों उदाहरण : एक 3CNF सूत्र φ। हां-वादा : φ संतोषजनक है। कोई वादा …

32 cc.complexity-theory  sat  approximation-hardness 

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

32 cc.complexity-theory  complexity-classes  big-list  complexity-assumptions 

मैंने कभी-कभी लोगों को क्वांटम एल्गोरिदम के बारे में और राज्यों के बारे में और एक साथ कई संभावनाओं पर विचार करने की क्षमता के बारे में सुना है, लेकिन मैं कभी किसी को इसके पीछे कम्प्यूटेशनल मॉडल की व्याख्या करने में कामयाब नहीं हुआ। स्पष्ट होने के लिए, मैं …

32 quantum-computing  big-picture 

क्या एक प्राथमिकता कतार डेटा संरचना है जो निम्नलिखित कार्यों का समर्थन करती है? डालें (x, p) : प्राथमिकता p के साथ एक नया रिकॉर्ड x जोड़ें StableExtractMin () : प्रविष्टि को क्रम से तोड़कर न्यूनतम प्राथमिकता के साथ रिकॉर्ड लौटाएं और हटाएं । इस प्रकार, डालने के बाद (ए, …

32 ds.data-structures 

चलो एल = { n : nटी एच की बाइनरी अंक π है 1 }L={n:the nth binary digit of π is 1}L = \{ n : \text{the }n^{th}\text{ binary digit of }\pi\text{ is }1 \} (जहां को बाइनरी में एन्कोडेड माना जाता है)। तब हम की कम्प्यूटेशनल जटिलता के बारे …

31 cc.complexity-theory  na.numerical-analysis 

ST-कनेक्टिविटी का निर्धारण करने के बीच दो प्रतिष्ठित कोने एक निर्देशित पथ वहाँ मौजूद है या नहीं की समस्या है और एक निर्देशित ग्राफ में । क्या यह समस्या लॉगस्पेस में हल की जा सकती है, एक लंबे समय से खुली समस्या है। इसे बनाम समस्या कहा जाता है।ssstttG(V,E)G(V,E)G(V,E)NLNLNLLLL एसटी-कनेक्टिविटी …

31 cc.complexity-theory  graph-theory  space-bounded  treewidth  logspace 

मुझे पता है कि रुकने की समस्या सामान्य रूप से अनिर्वाय है, लेकिन कुछ ट्यूरिंग मशीनें हैं जो स्पष्ट रूप से रुकती हैं और कुछ जो स्पष्ट रूप से नहीं होती हैं। सभी संभव ट्यूरिंग मशीनों में से कौन सी सबसे छोटी है जहां किसी के पास कोई सबूत नहीं …

31 halting-problem 

अपनी बहुत ही प्रभावशाली किताबों ऑटोमेटा, लैंग्वेजेज एंड मशीन्स (वॉल्यूम A, B) की प्रस्तावना में, शमूएल इलेनबर्ग ने वॉल्यूम सी और डी के साथ एक पदानुक्रम का व्यवहार करने का वादा किया था (जिसे अतार्किक घटनाओं की तर्कसंगत पदानुक्रम कहा जाता है ... तर्कसंगत संबंधों का उपयोग करके ... तुलना …

31 soft-question  fl.formal-languages  automata-theory  regular-language  context-free 

मैं आश्रित प्रकार और प्रोग्रामिंग अनुबंधों पर कुछ लेख पढ़ रहा हूं। मैंने जो पढ़ा है, उसके बहुमत से, ऐसा लगता है कि अनुबंधों की गतिशील रूप से जांच की गई बाधाएं हैं और निर्भर प्रकारों को सांख्यिकीय रूप से जांचा जाता है। ऐसे कुछ कागजात मिले हैं जिनसे मुझे …

31 pl.programming-languages  type-theory  program-verification  dependent-type 

मैं कार्ड गेम के नियमों में एक साधारण ट्यूरिंग मशीन को एनकोड करना चाहता हूं। ट्यूरिंग पूर्णता साबित करने के लिए मैं इसे एक सार्वभौमिक ट्यूरिंग मशीन बनाना चाहता हूं। अब तक मैंने एक गेम स्टेट बनाया है जो एलेक्स स्मिथ के 2-स्टेट, 3-सिंबल ट्यूरिंग मशीन को एनकोड करता है …

31 computability  turing-machines  universal-computation 

मैं निरंतर अनुकूलन साहित्य और टीसीएस साहित्य से उलझन में हूं कि किस प्रकार के (निरंतर) गणितीय कार्यक्रमों (एमपी) को कुशलता से हल किया जा सकता है, और जो नहीं कर सकते। निरंतर अनुकूलन समुदाय का दावा है कि सभी उत्तल कार्यक्रमों को कुशलता से हल किया जा सकता है, …

31 ds.algorithms  optimization  linear-programming  semidefinite-programming  polynomial-time 

चारों ओर एनपी-पूर्ण समस्याएं हैं और उन्हें इकट्ठा करने वाले स्रोत हैं, उदाहरण के लिए गैरी और जॉनसन की पुस्तक देखें। मुझे एनईएक्सपी-पूर्ण समस्याओं की एक सूची देखने के लिए दिलचस्पी होगी। क्या कोई उपलब्ध है? जैसा कि मुझे लगता है कि ऐसा नहीं है, मैं इस सवाल को खोलता …

31 cc.complexity-theory  complexity-classes  big-list  nexp 

मैं CS क्षेत्र में नया हूं और मैंने देखा है कि मैंने जो बहुत से पेपर पढ़े हैं, उनमें कोई अनुभवजन्य परिणाम नहीं हैं (कोई कोड नहीं है, सिर्फ नींबू और प्रमाण हैं)। ऐसा क्यों है? यह मानते हुए कि कंप्यूटर विज्ञान एक विज्ञान है, क्या इसे वैज्ञानिक पद्धति का …

31 soft-question  research-practice  writing 

क्या कोई रिवर्स चेर्नॉफ बाध्य है जो पूंछ करता है कि पूंछ की संभावना कम से कम इतनी है। यदि X1,X2,…,XnX1,X2,…,XnX_1,X_2,\ldots,X_n स्वतंत्र द्विपद यादृच्छिक चर और μ=E[∑ni=1Xi]μ=E[∑i=1nXi]\mu=\mathbb{E}[\sum_{i=1}^n X_i] । फिर हम साबित कर सकते हैं Pr[∑ni=1Xi≥(1+δ)μ]≥f(μ,δ,n)Pr[∑i=1nXi≥(1+δ)μ]≥f(μ,δ,n)Pr[\sum_{i=1}^n X_i\geq (1+\delta)\mu]\geq f(\mu,\delta,n) कुछ समारोह के लिए fff ।

31 pr.probability  chernoff-bound