complexity-classes पर टैग किए गए जवाब

नॉर्बर्ट ब्लम ने हाल ही में एक 38-पेज का सबूत पोस्ट किया है जो । क्या यह सही है?P≠NPP≠NPP \ne NP विषय पर भी: कहां (इंटरनेट पर) इसकी शुद्धता पर चर्चा की जा रही है? नोट: इस प्रश्न पाठ का ध्यान समय के साथ बदल गया है। विवरण के लिए …

232 cc.complexity-theory  np-hardness  complexity-classes 

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

59 cc.complexity-theory  complexity-classes  soft-question 

में वर्णनात्मक जटिलता , Immerman है कोरोलरी 7.23। निम्नलिखित स्थितियां समतुल्य हैं: 1. पी = एनपी। 2. ओवरनाइट, ऑर्डर की गई संरचनाएं, एफओ (एलएफपी) = एसओ। इसे "जटिलता" पी = एनपी के रूप में माना जा सकता है कि यह एक बड़े पैमाने पर जटिलता वर्गों के बराबर बयान (संभवतः) …

54 cc.complexity-theory  reference-request  complexity-classes  conditional-results  polynomial-hierarchy 

हम जानते हैं कि और उस , जहां । हम यह भी जानते हैं कि क्योंकि बाद वाले को लॉगरिदमिक स्पेस के तहत कई समस्याएं होती हैं, कई-एक में कमी होती है जबकि पूर्व नहीं (स्पेस पदानुक्रम प्रमेय के कारण)। आदेश के बीच के रिश्ते को समझने के लिए और …

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

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

37 cc.complexity-theory  ds.algorithms  graph-algorithms  complexity-classes  unique-solution 

कंप्यूटर कार्यक्रमों की बढ़ती जटिलता और हमारे समाज में तेजी से महत्वपूर्ण स्थिति वाले कंप्यूटरों ने मुझे आश्चर्यचकित किया है कि हम अभी भी सामूहिक रूप से प्रोग्रामिंग भाषाओं का उपयोग क्यों नहीं करते हैं जिसमें आपको औपचारिक प्रमाण देना होगा कि आपका कोड सही तरीके से काम करता है। …

37 reference-request  complexity-classes  computability  pl.programming-languages 

जहां तक मैं समझता हूँ, ज्यामितीय जटिलता सिद्धांत कार्यक्रम प्रयास अलग करने के लिए साबित करते हुए कि जटिल मान मैट्रिक्स के permament ज्यादा निर्धारक से गणना करने के लिए कठिन है से।VP≠VNPVP≠VNPVP \neq VNP जीसीटी पेपर्स के माध्यम से स्किमिंग के बाद मेरे पास जो प्रश्न था: क्या यह …

37 cc.complexity-theory  complexity-classes  algebraic-complexity  conditional-results  gct 

ट्यूरिंग मशीन के माध्यम से अक्सर पी और एनपी जटिलता कक्षाओं की शुरूआत और स्पष्टीकरण में। संगणना के मॉडल में से एक लैम्ब्डा-पथरी है। मैं समझता हूं, कि संगणना के सभी मॉडल समतुल्य हैं (और अगर हम ट्यूरिंग मशीन के संदर्भ में कुछ भी पेश कर सकते हैं, तो हम …

36 cc.complexity-theory  complexity-classes  turing-machines  lambda-calculus 

अपनी "कम्प्यूटेशनल जटिलता" पुस्तक में, पापादिमित्रिउ लिखते हैं: RP कुछ अर्थों में एक नई और असामान्य तरह की जटिलता वर्ग है। आरपी में किसी भाषा को परिभाषित करने का आधार कोई भी बहुपदीय रूप से बंधी हुई नॉनडेर्मिनिस्टिक ट्यूरिंग मशीन नहीं हो सकती है। आरपी में एक भाषा को परिभाषित …

35 cc.complexity-theory  complexity-classes  big-picture 

सामान्य ज्ञान की दृष्टि से, यह मानना ​​आसान है कि गैर-नियतिवाद को जोड़ने से इसकी शक्ति का विस्तार होता है, अर्थात, से बहुत बड़ा है । आखिरकार, गैर-नियतत्ववाद घातीय समानता की अनुमति देता है, जो निस्संदेह बहुत शक्तिशाली प्रतीत होता है। एन पीPP\mathsf{P}NPNP\mathsf{NP}PP\mathsf{P} दूसरी ओर, अगर हम सिर्फ , प्राप्त …

33 cc.complexity-theory  complexity-classes  big-picture 

निम्नलिखित गिनती समस्या (या संबंधित निर्णय समस्या) पर विचार करें: दो सकारात्मक पूर्णांक द्विआधारी में एन्कोडेड को देखते हुए, उनकी सबसे बड़ी सामान्य भाजक (gcd) की गणना करें। इस समस्या में निहित सबसे छोटी जटिलता वर्ग क्या है? क्या आप एक संदर्भ प्रदान कर सकते हैं? इस सवाल में मुझे …

33 cc.complexity-theory  reference-request  complexity-classes  nt.number-theory 

TCS शौकिया के रूप में, मैं क्वांटम कंप्यूटिंग पर कुछ लोकप्रिय, बहुत ही परिचयात्मक सामग्री पढ़ रहा हूं। यहाँ मैंने अभी तक सीखी गई कुछ प्राथमिक सूचनाएँ दी हैं: क्वांटम कंप्यूटरों को बहुपद समय में एनपी-पूर्ण समस्याओं को हल करने के लिए नहीं जाना जाता है। "क्वांटम जादू पर्याप्त नहीं …

33 cc.complexity-theory  complexity-classes  quantum-computing  conditional-results  physics 

जटिलता सिद्धांत की केंद्रीय समस्या यकीनन बनाम एन पी है ।PPPNPNPNP हालाँकि, चूंकि प्रकृति क्वांटम है, इसलिए (यानी बहुपदीय समय में क्वांटम कंप्यूटर द्वारा हल की जाने वाली समस्याएँ, सभी उदाहरणों के लिए अधिक से अधिक 1/3 पर त्रुटि की संभावना के साथ) एक क्यू एम ए पर विचार करना …

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

यह सवाल उन समस्याओं के बारे में है जिनके लिए ज्ञात निचली बाउंड और अपर बाउंड के बीच एक बड़ा खुला जटिलता अंतराल है, लेकिन खुद जटिलता कक्षाओं पर खुली समस्याओं के कारण नहीं। अधिक सटीक होना, चलो एक समस्या है का कहना है कि खाई कक्षाएं (के साथ एक …

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

यह मानने के लिए अक्सर कि दार्शनिक औचित्य है कि P! = NP बिना प्रमाण के भी। अन्य जटिलता वर्गों के प्रमाण हैं कि वे अलग-अलग हैं, क्योंकि यदि नहीं, तो "आश्चर्यजनक" परिणाम होंगे (जैसे कि बहुपद पदानुक्रम का पतन)। मेरा प्रश्न यह है कि विश्वास का आधार क्या है …

32 cc.complexity-theory  complexity-classes  gt.game-theory  conditional-results