conditional-results पर टैग किए गए जवाब

क्या आप (मानक) गणित के अन्य क्षेत्रों (यानी सैद्धांतिक कंप्यूटर विज्ञान के बाहर) में जटिलता सिद्धांत के दिलचस्प परिणामों को जानते हैं? मैं जवाब देना पसंद करूंगा: जटिलता सिद्धांत अनुमान जितना संभव हो उतना सामान्य और मानक है; मैं विशिष्ट समस्याओं की कठोरता के परिणामों के साथ ठीक हूं, लेकिन …

25 cc.complexity-theory  conditional-results 

आरपी एक nondeterministic ट्यूरिंग मशीन द्वारा निर्णायक समस्याओं का वर्ग है जो बहुपद समय में समाप्त हो जाता है, लेकिन यह भी एक तरफा त्रुटि की अनुमति है। P एक नियतात्मक ट्यूरिंग मशीन द्वारा समस्याओं का सामान्य वर्ग है जो बहुपद समय में समाप्त हो जाता है। पी = आरपी …

25 cc.complexity-theory  derandomization  conditional-results  randomized-algorithms 

में पूरा समस्या हो रही के परिणाम क्या हैं ?NP∩coNPNP∩coNPNP\cap coNP

24 cc.complexity-theory  conditional-results 

जबकि Adleman की प्रमेय से पता चलता है, कि , मैं के संभावित रूप से शामिल की जांच किसी भी साहित्य के बारे में पता नहीं कर रहा हूँ । इस तरह के समावेश के क्या जटिलता-सिद्धांत-परिणाम होंगे?बी क्यू पी ⊆ पी / पालीBPP⊆P/polyBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}BQP⊆P/polyBQP⊆P/poly\mathsf{BQP} \subseteq \mathsf{P}/\text{poly} एडलमैन के …

20 reference-request  quantum-computing  derandomization  conditional-results 

कार्प-लिप्टन Theoem कहा गया है कि अगर , तो यह संक्षिप्त हो । इसलिए, और बीच के अलगाव को मानते हुए , no समस्या से संबंधित होगी ।एन पी ⊂ पी / पी ओ एल वाईएनपी⊂पी/पीओएलy\mathsf{NP} \subset \mathsf{P/poly}पी एचपीएच\mathsf{PH}Σपी2Σ2पी\mathsf{\Sigma^P_2}Σपी2Σ2पी\mathsf{\Sigma^P_2}Σपी3Σ3पी\mathsf{\Sigma^P_3}एन पीएनपी\mathsf{NP}पी / पी ओ एल वाईपी/पीओएलy\mathsf{P/poly} मुझे निम्नलिखित प्रश्न में दिलचस्पी …

20 cc.complexity-theory  np  conditional-results  advice-and-nonuniformity  average-case-complexity 

2011/02/08 पर EDIT: कुछ संदर्भ खोजने और पढ़ने के बाद, मैंने मूल प्रश्न को दो अलग-अलग लोगों में अलग करने का फैसला किया। सिंटैक्टिक और सिमेंटिक क्लास के लिए यूपी बनाम एनपी से संबंधित हिस्सा यहां दिया गया है, कृपया सिंटैक्टिक और सिमेंटिक कक्षाओं के लिए लाभ देखें । UPUP\mathsf{UP} …

19 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

हाल ही में, Watrous et al ने साबित किया कि QIP (3) = PSPACE एक उल्लेखनीय परिणाम है। यह अपने आप में कम से कम कहने के लिए एक आश्चर्यजनक परिणाम था और इसने मुझे सोचने से रोक दिया ... मुझे आश्चर्य है कि क्या होगा अगर क्वांटम कंप्यूटरों को …

18 cc.complexity-theory  quantum-computing  space-bounded  conditional-results  interactive-proofs 

जोश ग्रूचो के सुझाव के बाद, मैं अपनी टिप्पणी को पिछले प्रश्न से एक नए प्रश्न में परिवर्तित कर रहा हूं । हमारे पास लिए क्या साक्ष्य हैं ?यू पी ≠ एन पीUP≠NP\mathsf{UP} \neq \mathsf{NP} यहाँ यू पीUP\mathsf{UP} बहुपाषाण काल ​​के गैर-नियतात्मक ट्यूरिंग मशीनों द्वारा पहचानी जाने वाली भाषाओं की …

17 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

हमारे हाल के काम में, हम एक कम्प्यूटेशनल समस्या जो मिश्रित संदर्भ में पैदा हुई हल, इस धारणा के तहत है कि , जहां ⊕EXP≠⊕EXPEXP≠⊕EXP\mathsf{EXP} \ne \mathsf{\oplus{}EXP} , E X P है -v का विचलन⊕EXP⊕EXP\mathsf{\oplus{}EXP}EXPEXP\mathsf{EXP} । Only पर एकमात्र कागज⊕P⊕P\mathsf{\oplus{}P} जो हमें मिला वह Beigel-Buhrman-Fortnow1998 का ​​पेपर थाजिसेकॉम्प्लेक्सिटी ज़ूपर उद्धृत …

15 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

हाल ही में एक प्रश्न (देखें एनपी = PSPACE के परिणाम ) के "बुरा" परिणामों के लिए कहा । और अन्य सहित , पर विश्वास करने के लिए बहुत सारे कारण प्रदान करते हैं, उत्तर कुछ काफी पतन परिणाम की सूची ।एन पी = ग ओ एन पी एन पी …

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

1979 में हॉपक्रॉफ्ट / उलमैन ने लिखा है कि L ⊆ P ⊆ NP ace PSpace जाना जाता है, लेकिन L the PSpace एकमात्र उचित (& तुच्छ) रोकथाम ज्ञात है, हालांकि सभी को उचित नियंत्रण होने के लिए अनुमान लगाया गया है, और "जहां चीजें अभी भी खड़ी हैं" ~ …

12 cc.complexity-theory  reference-request  lower-bounds  p-vs-np  conditional-results 

P/poly=NP/polyP/poly=NP/polyP/poly = NP/poly अर्थ है , जिसके बदले में बहुपद पदानुक्रम के पतन जैसे दिलचस्प परिणाम हैं।NP⊆P/polyNP⊆P/polyNP \subseteq P/poly लिए दिलचस्प निहितार्थ हैं ?P/poly≠NP/polyP/poly≠NP/polyP/poly \neq NP/poly

12 cc.complexity-theory  conditional-results  advice-and-nonuniformity 

व्यापक रूप से गलत होने के लिए अनुमान लगाया गया है।आर पी=NPRP=NPRP = NP लेकिन एक पल के लिए कल्पना कीजिए कि यह सच है। ऐसे मामले में, उस कितनी संभावना होगी ?P=NPP=NPP = NP दूसरे शब्दों में कहें: एक ऐसी दुनिया में जहां , अभी भी हमें पी = …

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

हम जानते हैं कि यदि तो पूरे पीएच का पतन हो जाता है। यदि बहुपद पदानुक्रम आंशिक रूप से ढह जाए तो क्या होगा? (या कैसे समझें कि PH एक निश्चित बिंदु से ऊपर गिर सकता है और नीचे नहीं?)P=NPपी=एनपीP=NP कम शब्दों में, और के परिणाम क्या होंगे ?NP=coNPएनपी=सीओएनपीNP=coNPP≠NPपी≠एनपीP\ne NP

12 cc.complexity-theory  complexity-classes  conditional-results  polynomial-hierarchy 

यह देखते हुए ऐसी है कि के गुणांकों पी , क्यू से घिरा रहे हैं बी , है पी ≡ क्ष पकड़ ?p ( x)1, ... , एक्सn) , क्यू( x)1, ... , एक्सn) ∈ जेड [ एक्स1, ... , एक्सn]p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x_1,\dots,x_n),q(x_1,\dots,x_n)\in \Bbb Z[x_1,\dots,x_n]पी , क्यूp,qp,qबीBBp ≡ क्षp≡qp\equiv q श्वार्ट्ज-Zippel लेम्मा …

11 big-picture  derandomization  conditional-results