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

मुझे हाल ही में क्ले मैथेमेटिक्स इंस्टीट्यूट में स्टीफन ए। कुक द्वारा बताई गई बनाम N P समस्या के बारे में याद दिलाया गया था ।PP\mathsf{P}NPNP\mathsf{NP} इसने मेरी रुचि को बढ़ाया है और मैं इसके बारे में अधिक जानना चाहूंगा। पहला कदम समस्या की गहरी समझ और सामान्य रूप से …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

आज्ञा देना जी एक जुड़ा ग्राफ है। यदि निम्न प्रकार के हैं तो सभी जुड़े हुए सबग्राफ की गिनती की जटिलता क्या है ? जी सामान्य है। जी प्लानर है। जी द्विदलीय है। मैं किसी भी संरचना या ... के बारे में परवाह नहीं है, बस सभी जुड़े उपसमूह को …

12 cc.complexity-theory  graph-theory  counting-complexity 

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

12 cc.complexity-theory  circuit-complexity  polynomials  algebraic-complexity 

सुरेश के लिए कुछ हद तक असंबंधित परियोजना पर काम करते समय मैं हाल ही में पेज-ओपर द्वारा उपयोगकर्ता-संगत प्रणालियों के बारे में किए गए कुछ काम और उनके काम के एक हिस्से के बारे में संक्षेप में चर्चा की गई समस्याओं का वर्णन कर सकता हूं जिन्हें बहुपद समय …

12 cc.complexity-theory  complexity-classes 

बेकर-गिल-सोलोवे परिणाम से पता चला कि पी = एनपी प्रश्न का कोई संबंध नहीं है, इस अर्थ में कि कोई भी रिलेटिविंग प्रूफ (एक ओरेकल की उपस्थिति के प्रति असंवेदनशील) संभवतः पी = एनपी प्रश्न को हल नहीं कर सकता है। मेरा प्रश्न है: क्या प्रश्न के लिए एक समान …

12 cc.complexity-theory  complexity-classes 

मैं विशेष रूप से सोच रहा हूं कि क्या असाइनमेंट के प्रतिशत पर एक दिलचस्प स्थिति है जो इस बात की गारंटी देने के लिए 3SAT फॉर्मूला को संतुष्ट करती है कि ऐसी समस्याएं ट्रैक्टेबल हैं। उदाहरण के लिए मान लीजिए कि 3SAT समस्याओं का वर्ग जो कि संभव असाइनमेंट …

12 cc.complexity-theory  ds.algorithms  sat  np 

फिर से एक किनारे-विभाजन की समस्या जिसकी जटिलता मैं उत्सुक हूँ, मेरे एक पिछले प्रश्न से प्रेरित है । इनपुट: एक घन ग्राफजी = ( वी, ई)जी=(वी,इ)G=(V,E) प्रश्न: क्या में विभाजन है , जैसे कि प्रत्येक द्वारा प्रेरित या तो एक पंजा है (यानी , जिसे अक्सर एक तारा कहा …

12 cc.complexity-theory  graph-theory  np-hardness  co.combinatorics 

Http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf द्वारा यदि एक PSPACE- पूर्ण भाषा है, P A = N P A है ।AAAPA=NPAPA=NPAP^{A}=NP^{A} तो एक नियतात्मक बहुपद समय देववाणी है, पी बी ≠ एन पी बी (यह मानते हुए पी ≠ एन पी )।BBBPB≠NPBPB≠NPBP^{B}\ne NP^{B}P≠NPP≠NPP\ne NP निर्णय समस्याओं के वर्ग के लिए एनालॉग है # पी और …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

PCP प्रमेय का एक समतुल्य सूत्रीकरण है: Max 3-SAT के लिए यह संतोषजनक सूत्रों और सूत्रों के बीच अंतर करने के लिए -hard है जहां खंड के अधिकांश r- निष्कर्षण संतोषजनक हैं (कुछ r < 1 के लिए )।NPNPNPrrrr<1r<1r\lt 1 क्या कोई ज्ञात डायकोटॉमी प्रमेय है जो सभी मैक्स सीएसपी …

12 cc.complexity-theory  pcp  csp 

Let { 0 , । । । , N - 1 } और ∘ : एस × एस → एस । मैं तय करने का संचार जटिलता की गणना करना चाहते हैं ∘ साहचर्य है।S=S=S=0,...,n−10,...,n−10,...,n-1∘:S×S→S∘:S×S→S\circ : S \times S \rightarrow S∘∘\circ मॉडल निम्नलिखित है। एक मैट्रिक्स के रूप में दिया …

12 cc.complexity-theory  communication-complexity 

कागज़ लॉरी हेला और जोस मारिया तुरुल-टॉरेस, उच्च-क्रम लॉजिक्स , टीसीएस 355 197-214, 2006 के साथ कम्प्यूटिंग क्वेश्चन। doi: 10.1016 / j.tcs.2006.01.009 तर्क VO, चर-क्रम तर्क का प्रस्ताव करता है। यह चर पर आदेशों पर मात्रा का ठहराव की अनुमति देता है। VO काफी शक्तिशाली है और कुछ गैर-गणना योग्य …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity 

क्या अन्य समस्याओं भाषाओं ग्राफ समाकृतिकता से अलग कर रहे हैं ? क्या आप कुछ संदर्भ दे सकते हैं?NP∩coAMNP∩coAMNP\cap coAM अपडेट: मैं यह उल्लेख करना भूल गया कि मुझे उन भाषाओं में दिलचस्पी है जो में नहीं जानी जाती हैं ।coNPcoNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

मैं यहाँ से सबूत पढ़ रहा हूँ और मैं एक तकनीकी (अभी तक महत्वपूर्ण) समस्या पर ठोकर खाई है। मुझे पता है कि यह विशिष्ट है और संदर्भ समस्याग्रस्त है, लेकिन मैं इसे स्वयं नहीं समझ सका। पृष्ठ 51 और 55 में, "मानक" सत्यापनकर्ता प्रस्तुत करने के बाद, वे विभाजन …

12 cc.complexity-theory  pcp 

एक आसान अवलोकन यह है कि अगर एक समस्या बहुपद समय nondeterministic का उपयोग कर कार्यक्रम द्वारा डिसाइडेबल है nondeterministic बिट्स (यानी, सभी गवाहों लंबाई में लघुगणक हैं), तो ।एAAओ ( लॉग)n )O(log⁡n)O(\log n)A ∈ पीA∈PA \in \mathsf{P} अगर कोई एक सवाल पूछता है, "क्या किसी गवाह को सत्यापित करने …

12 cc.complexity-theory 

कुछ (अच्छी तरह से ज्ञात नहीं) दावे हैं कि क्या सच है, तो पीएच को गिरना चाहिए? संदर्भ (नों) के साथ एक छोटे उच्च स्तरीय अभिकथन वाले उत्तरों की सराहना की जाती है। मैंने बिना ज्यादा किस्मत जाने उल्टा-सीधा करने की कोशिश की।

12 cc.complexity-theory  complexity-classes  big-list