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

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

15 cc.complexity-theory  circuit-complexity  algebraic-complexity 

क्यू हैमिल्टन के रेखांकन में सबसे लंबे चक्र का एक निरंतर कारक सन्निकटन खोजने के लिए यह भार है। क्यूबिक हैमिल्टनियन ग्राफ में कम से कम दो हैमिल्टनियन चक्र हैं।एनपीएनपीNP घन हैमिल्टन के रेखांकन में हैमिल्टनियन चक्रों की संख्या पर सबसे अच्छी तरह से ज्ञात ऊपरी बाउंड और लोअर बाउंड …

15 cc.complexity-theory  counting-complexity 

Savitch ने O ( log 2 n ) स्पेस का उपयोग करते हुए का उपयोग करते हुए सेंट-कनेक्टिविटी को हल करने के लिए एक नियतात्मक एल्गोरिथम दिया । सैविच का एल्गोरिथ्म समय में चलता है । यह एक बड़ी खुली समस्या है कि क्या st- कनेक्टिविटी को एक नियतात्मक एल्गोरिथ्म …

15 cc.complexity-theory  space-bounded 

प्राकृतिक सबूत बूलियन फ़ंक्शंस की सर्किट जटिलता पर कम सीमा साबित करने की दिशा में एक बाधा है। वे सीधे तौर पर सर्किट जटिलता पर कम सीमा साबित करने में ऐसी किसी भी बाधा का अर्थ नहीं लगाते हैं। क्या इस तरह की बाधाओं की पहचान करने की दिशा में …

15 cc.complexity-theory  circuit-complexity  barriers  natural-proofs 

2006 में एक्सपैंडर GRAPHS नाम की प्रस्तुति में - क्या कोई MYSTERIES LEFT है? , नाटी लिनलियल ने निम्नलिखित खुली समस्या पेश की: कौन सा NPएनपीNP जब विस्तारक रेखांकन के लिए प्रतिबंधित ग्राफ पर -हार्ड कम्प्यूटेशनल समस्या कठिन रहते हैं? तब से, क्या -हार्ड समस्या के लिए इस तरह के …

15 cc.complexity-theory  np-hardness  expanders 

यह इस प्रश्न का अनुसरण है , और शिव किनाली के इस प्रश्न से संबंधित है । ऐसा लगता है कि इन कागजों (में सबूत Allender , Caussinus-मैकेंजी-Therien-वोल्मर , Koiran-Perifel ) पदानुक्रम प्रमेयों का उपयोग करें। मैं जानना चाहता हूं कि क्या सबूत " शुद्ध " विकर्ण प्रमेय हैं, या …

15 cc.complexity-theory  lower-bounds  relativization  permanent 

अग्रिम में माफी अगर यह सवाल बहुत आसान है। मूल रूप से, जो मैं जानना चाहता हूं वह यह है कि निम्नलिखित गुणों के साथ कोई कार्य हैं:f(x)f(x)f(x) ले लो होने के लिए जब डोमेन और codomain तक ही सीमित हैं -बिट तार। फिरfn(x)fn(x)f_n(x)f(x)f(x)f(x)nnn fn(x)fn(x)f_n(x) इंजेक्टिव है fn(x)fn(x)f_n(x) है fn(x)fn(x)f_n(x) …

15 cc.complexity-theory 

पी बनाम एनपी प्रश्न के लिए या प्रयोगात्मक गणित से संख्यात्मक प्रमाणों की कमी से मैं हमेशा परेशान रहता हूं। जबकि रीमैन हाइपोथीसिस के संख्यात्मक सत्यापन से कुछ सहायक सबूत हैं, मुझे पी बनाम एनपी प्रश्न के लिए इसी तरह के सबूत के बारे में पता नहीं है। इसके अतिरिक्त, …

15 cc.complexity-theory  soft-question  big-picture  experimental 

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

15 cc.complexity-theory  graph-theory  relational-structures 

एक समस्या P को APX में कहा जाता है यदि वहाँ कुछ निरंतर c> 0 मौजूद है जैसे कि एक बहुपद-काल सन्निकटन एल्गोरिथ्म P के लिए सन्निकटन कारक 1 + c के साथ मौजूद है। APX में PTAS होता है (केवल किसी स्थिर c> 0 को उठाकर देखा जाता है) …

15 cc.complexity-theory  complexity-classes  apx 

ट्यूरिंग मशीन द्वारा परिभाषित एक भाषा L को देखते हुए, जो इसे तय करती है, क्या यह एल्गोरिदमिक रूप से निर्धारित करना संभव है कि L, NP में निहित है या नहीं?

15 cc.complexity-theory  computability  turing-machines 

हमारे हाल के काम में, हम एक कम्प्यूटेशनल समस्या जो मिश्रित संदर्भ में पैदा हुई हल, इस धारणा के तहत है कि , जहां ⊕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 

जटिलता वर्ग बीक्यूपी बहुपद समय क्वांटम सबरूटीन्स से संबंधित है जो शास्त्रीय इनपुटों में लेते हैं और एक संभाव्य शास्त्रीय आउटपुट को थूकते हैं। क्वांटम सलाह संशोधित करती है कि कुछ पूर्व निर्धारित क्वांटम सलाह राज्यों की प्रतियों को शामिल करना है लेकिन हमेशा की तरह शास्त्रीय इनपुट के साथ। …

15 cc.complexity-theory  complexity-classes  quantum-computing 

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

15 cc.complexity-theory  complexity-classes  quantum-computing  space-bounded 

सेट कवर पर निम्नलिखित भिन्नता को किस नाम से जाना जाता है? एक सेट S को देखते हुए, S के सबसेट का एक संग्रह C और एक धनात्मक पूर्णांक K है, क्या C में K सेट मौजूद है जैसे कि S के तत्वों की प्रत्येक जोड़ी चयनित उपसमूह में निहित …

15 np-hardness  set-cover  cc.complexity-theory