cc.complexity-theory पर टैग किए गए जवाब

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

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

चलो एल = { 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 cc.complexity-theory  complexity-classes  big-list  nexp 

जुलाई में प्रिंसटन में आयोजित जीसीटी को समर्पित एक हालिया वर्कशॉप में जोश ग्रोचो द्वारा जटिलता वेबलॉग की इस अतिथि पोस्ट में उन्होंने रिपोर्ट की। उपस्थित लोगों में से कई ने तर्क दिया कि हमें GCT का उपयोग बनाम N P की तुलना में आसान समस्याओं पर हमला करने के …

31 cc.complexity-theory  gct 

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

31 cc.complexity-theory  gt.game-theory  interactive-proofs 

मुझे लगा कि मैं इस सवाल को साझा करूंगा क्योंकि यह यहां अन्य उपयोगकर्ताओं के लिए दिलचस्प हो सकता है। मान लें कि एक फ़ंक्शन जो एक समान वर्ग में है (जैसे कि ) एक छोटी गैर- समान श्रेणी में भी है (जैसे , यानी nonuniform ), इसका अर्थ यह …

31 cc.complexity-theory  circuit-complexity  uniformity 

यदि यह निर्धारित किया जाए कि मात्रात्मक बूलियन फॉर्मूला क्या है ∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), हमेशा सच का मूल्यांकन एक शास्त्रीय PSPACE- पूर्ण समस्या है। इसे वैकल्पिक चाल के साथ दो खिलाड़ियों के बीच खेल के रूप में देखा जा सकता है। …

31 cc.complexity-theory  sat  gt.game-theory  pspace 

परिभाषित करें ioioio - भाषाओं के वर्ग होने के लिए एक भाषा है ऐसा है कि और असीम कई के लिए , और लंबाई सभी उदाहरणों पर सहमत हैं । (अर्थात्, यह भाषाओं का वह वर्ग है, जिसे "प्रायः प्रायः, प्रायः समय पर हल किया जा सकता है")।एल एल ' …

30 cc.complexity-theory  sat  oracles 

विकिपीडिया का हवाला देते हुए , "[कॉनवे के गेम ऑफ लाइफ] में एक सार्वभौमिक ट्यूरिंग मशीन की शक्ति है: अर्थात्, कुछ भी जो एल्गोरिदमिक रूप से गणना की जा सकती है, कॉनवे के गेम ऑफ लाइफ के भीतर गणना की जा सकती है।" क्या ऐसे परिणाम कॉनवे के गेम ऑफ …

30 cc.complexity-theory  pr.probability  cellular-automata  fault-tolerance 

बंधे हुए nondeterminism एक फ़ंक्शन g ( n )g(n)g(n) को एक नई श्रेणी - बनाने के लिए संसाधन-बाध्यता नियतात्मक ट्यूरिंग मशीनों द्वारा स्वीकृत भाषाओं के एक वर्ग CCC के साथ जोड़ते हैं । इस वर्ग में वे भाषाएँ शामिल हैं जिन्हें कुछ nondeterministic Turing machine द्वारा स्वीकार किया जाता , …

30 cc.complexity-theory  graph-theory  graph-isomorphism  nondeterminism 

एनपी = PSPACE के बुरा परिणाम क्या होगा? मुझे आश्चर्य है कि मुझे इस पर कुछ भी नहीं मिला, यह देखते हुए कि ये कक्षाएं सबसे प्रसिद्ध लोगों में से हैं। विशेष रूप से, क्या इसका निम्न वर्गों पर कोई परिणाम होगा?

30 cc.complexity-theory  complexity-classes  conditional-results 

कई विशेषज्ञों का मानना ​​है कि P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} अनुमान सही है और अपने परिणामों में इसका उपयोग करते हैं। मेरी चिंता यह है कि जटिलता दृढ़ता से P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} अनुमान पर निर्भर करती है। तो मेरा सवाल है: जब तक P≠NPP≠NP\mathsf{P}\neq\mathsf{NP} अनुमान सिद्ध नहीं होता है, तब तक …

30 cc.complexity-theory  soft-question  big-picture  p-vs-np  physics 

यदि हम DTIME पदानुक्रम प्रमेय को देखते हैं, तो हमें एक सार्वभौमिक मशीन द्वारा नियतात्मक ट्यूरिंग मशीन के अनुकरण में ओवरहेड के कारण लॉग मिला है: DTIME(flogf)⊊DTIME(f)DTIME(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) हमने DSPACE के NTIME के ​​लिए इस तरह का ओवरहेड नहीं बनाया है। एक मूल औचित्य सिमुलेटर के बीच के …

30 cc.complexity-theory  universal-computation  time-hierarchy 

किसी भी प्राकृतिक संख्या को थोड़ा अनुक्रम माना जा सकता है, इसलिए प्राकृतिक संख्या को इनपुट करना 0-1 अनुक्रम को इनपुट करने के समान है, इसलिए प्राकृतिक इनपुट के साथ एनपी-पूर्ण समस्याएं स्पष्ट रूप से मौजूद हैं। लेकिन क्या कोई प्राकृतिक समस्याएँ हैं, यानी जो कुछ एन्कोडिंग और अंकों की …

30 cc.complexity-theory  np-hardness  nt.number-theory  combinatorial-game-theory