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

इसलिए, वेब पर एक त्वरित खोज ने मुझे विश्वास दिलाया कि "APXHardness का अर्थ है कि कोई QPTAS समस्या के लिए मौजूद नहीं है जब तक कि [कुछ जटिलता वर्ग] कुछ [अन्य जटिलता वर्ग] में शामिल नहीं है" और यह अच्छी तरह से ज्ञात भी है! ऐसा लगता है जैसे …

12 cc.complexity-theory  reference-request 

क्या एन पीएन पी∩सी ओ एन पी= एन पीएनपीएनपी∩सीओएनपी=एनपी\mathsf{NP^{NP \,\cap\, coNP}=NP}पकड़? जाहिर एन पीएन पी≠ एन पीएनपीएनपी≠एनपी\mathsf{NP^{NP}\neq NP} , लेकिन मुझे लगता है कि एन पी ∩ सी ओ एन पीएनपी∩सीओएनपी\mathsf{NP\cap coNP} जो बनाता है मुझे विश्वास है कि यह सच है "नियतात्मक" है। क्या कोई सरल प्रमाण है (या …

12 cc.complexity-theory  complexity-classes  oracles 

TCS में एक बड़ी समस्या स्थायी को निर्धारक के रूप में व्यक्त करने की समस्या है। मैं अग्रवाल का पेपर निर्धारक वर्सेज परमानेंट पढ़ रहा था और एक पैराग्राफ में वह दावा करता है कि रिवर्स समस्या आसान है। यह देखने के लिए कि एक मैट्रिक्स के निर्धारक आसान है …

12 cc.complexity-theory  algebraic-complexity  permanent  determinant 

एक ग्राफ़ प्रॉपर्टी को वंशानुगत कहा जाता है, अगर यह वर्टिस को हटाने के संबंध में बंद हो जाती है (यानी, सभी प्रेरित सबग्राफ संपत्ति का वारिस करते हैं)। यदि असमान यूनियनों को लेने के संबंध में इसे बंद कर दिया जाता है, तो एक ग्राफ संपत्ति को एडिटिव कहा …

12 cc.complexity-theory  graph-theory  graph-algorithms  np 

उदाहरण: एक अप्रत्यक्ष ग्राफ जिसमें दो प्रतिष्ठित कोने और एक पूर्णांक ।एस ≠ टी के ≥ 2जीGGs ≠ ts≠ts\neq tके ≥ २k≥2k\geq 2 प्रश्न: वहाँ एक मौजूद है में पथ , इस तरह के ज्यादा से ज्यादा पथ छूता है कि कोने? (यदि मार्ग या तो मार्ग पर है, या …

12 cc.complexity-theory  graph-theory  graph-algorithms 

मैं समझने की कोशिश कर रहा हूं कि निम्न समस्या किस जटिलता वर्ग की है: बहुपद मूल समस्या (EPRP) बता दें कि एक बहुपद के साथ जिसमें एक परिमित क्षेत्र से गुणांक के साथ एक प्रमुख संख्या है, और उस क्षेत्र के लिए एक आदिम मूल है। के समाधान को …

12 cc.complexity-theory  reference-request  comp-number-theory  np-intermediate 

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

12 cc.complexity-theory  lo.logic  proof-complexity 

अवशिष्ट परिमित राज्य ऑटोमेटा (RFSAs, [DLT02] में परिभाषित) NFA हैं जो DFA के साथ आम तौर पर कुछ अच्छी विशेषताएं हैं। विशेष रूप से, हर नियमित भाषा के लिए हमेशा एक विहित न्यूनतम आकार का RFSA होता है, और RFSA में प्रत्येक राज्य द्वारा मान्यता प्राप्त भाषा एक डीएफए की …

12 cc.complexity-theory  ds.algorithms  automata-theory  lg.learning  minimization 

बहुपद पदानुक्रम के प्रत्येक स्तर के बीच में निहित विभिन्न जटिलता वर्ग हैं, जिनमें , , , और । बेहतर शब्दावली की कमी के लिए, मैं इन और किसी भी अन्य को बहुपद पदानुक्रम में स्तरों और बीच मध्यवर्ती कक्षाओं के रूप में संदर्भित करूंगा । इस प्रश्न के प्रयोजनों …

12 cc.complexity-theory  polynomial-hierarchy 

क्या हम यह साबित कर सकते हैं कि प्रत्येक भाषा जो कि नहीं है (यह ) , ? वैकल्पिक रूप से, क्या यह किसी भी उचित मान्यताओं के तहत सिद्ध किया जा सकता है?एन पी पी ≠ एन पी पी एल ≠ पी सैटL∈NPL∈NPL\in\mathsf{NP}NPNP\mathsf{NP}P≠NPP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}

12 cc.complexity-theory  complexity-classes  np-intermediate 

यह प्रश्न इस पोस्ट से प्रेरित है, क्या आप बहुपद समय में दो क्रमपरिवर्तन के योग की पहचान कर सकते हैं? , और क्रमपरिवर्तन के कम्प्यूटेशनल गुणों में मेरी रुचि। एक मतभेद अनुक्रम क्रमपरिवर्तन की संख्या के 1, 2, \ ldots n + 1 क्रमचय में हर दो आसन्न संख्या …

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

मैं बुहरमैन और होमर का एक पेपर पढ़ रहा था " सुपरपोलिनोमियल सर्किट्स, लगभग स्पार्स ओरकल्स और एक्सपोनेंशियल हायरार्की" । पृष्ठ 2 के तल पर वे टिप्पणी करते हैं कि कन्नन के परिणामों का अर्थ है कि NEXPTIMENPNEXPTIMENPNEXPTIME^{NP} में बहुपद आकार के सर्किट नहीं हैं। मुझे पता है कि घातीय …

12 cc.complexity-theory  complexity-classes  time-complexity  oracles  circuits 

PLSPLS\mathsf{PLS} और APXAPX\mathsf{APX} बीच क्या संबंध है ? दूसरे शब्दों में, क्या ऐसी समस्याएं हैं जो एक बहुपद समय स्थानीय खोज को अनुमानित करती हैं? क्या अनुमानित अनुकूलन समस्याएं सामान्य रूप से एक स्थानीय खोज एल्गोरिदम हैं?

12 cc.complexity-theory  approximation-algorithms 

TC0टीसी0\mathsf{TC^0}TC0d⊊TC0d+1टीसीघ0⊊टीसीघ+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}dघd लिए चिड़ियाघर प्रविष्टिTC0टीसी0\mathsf{TC^0} केवल गहराई 2 और 3 के बीच अलगाव का उल्लेख करती है। इस तथ्य के लिए भी एक मानक संदर्भ है कि पदानुक्रम का पतन नहीं होता है?AC0dएसीघ0\mathsf{AC^0_d}

12 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  bounded-depth 

केवल आंशिक रूप से कई राज्यों के साथ एक नियतकालिक आंशिक-सूचना शून्य-शून्य गेम को देखते हुए, जिनके संभावित परिणाम क्रमशः मूल्यों [-1,0, + 1] के साथ [हार, ड्रॉ, जीत] हैं, ऐसे मूल्य का अनुमान लगाने की जटिलता क्या है एक खेल additively भीतर ?εϵ\epsilon विशेष रूप से, मैं ऐसा करने …

12 cc.complexity-theory  gt.game-theory