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

हमारे पास कई समस्याएं हैं, जैसे कि गुणनखंड, जो दृढ़ता से व्यक्त किए जाते हैं, लेकिन पी के बाहर होने के लिए साबित नहीं होते हैं। क्या विपरीत संपत्ति के साथ कोई प्रश्न हैं, अर्थात् वे दृढ़ता से व्यक्त किए जाते हैं लेकिन पी के अंदर साबित नहीं होते हैं …

12 complexity-theory  polynomial-time 

मैं समस्याओं के आसपास अपना सिर लपेटने में कठिनाई कर रहा हूँ, समय, रचना, फैक्टरी और वे जटिलता के संदर्भ में कैसे संबंधित हैं। मैं समझता हूं कि PRIME को AKS primality परीक्षण द्वारा में दिखाया गया है , और मेरा मानना ​​है कि यह COMPOSITE के लिए भी काम …

12 complexity-theory  factoring 

मैंने अभी-अभी Sipser की पुस्तक परिचय के कुछ पन्नों को पोस्ट कॉरेस्पोंडेंस प्रॉब्लम के बारे में संगणना के सिद्धांत में पढ़ा, और मैं सोच रहा हूं कि PCP वास्तव में NP में है। प्रमाणकर्ता है: ढेर के एक इनपुट विन्यास के लिए श्रृंखलाबद्ध टी 1 , टी 2 , । …

12 complexity-theory  decision-problem  np 

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

12 complexity-theory  reductions  complexity-classes  interactive-proof-systems 

मुझे पता है कि यह एक बहुत ही बेवकूफ (या राज्य के लिए बहुत स्पष्ट) सवाल लगता है। हालांकि, मैं कुछ बिंदु पर भ्रमित हूं। हम दिखा सकते हैं कि पी एनपी=== यदि और केवल अगर हम एक एल्गोरिथ्म डिज़ाइन कर सकते हैं जो एनपी को बहुपद समय में समस्या …

12 complexity-theory  p-vs-np 

मैंने देखा है कि XOR-3-SAT कुशलता से कैसे हल किया जा सकता है (उदाहरण के लिए, बूलियन संतोषजनक समस्या के लिए विकिपीडिया प्रविष्टि में "XOR- संतोषजनकता" अनुभाग देखें )। मैं एक बुनियादी सवाल सोच रहा हूं: क्या XOR-k-SAT कुशलतापूर्वक हल करने योग्य है, प्रति खंड में शाब्दिक मात्रा में भिन्नता …

12 complexity-theory  satisfiability 

कम्प्यूटेशनल जटिलता के बारे में कुछ ब्लॉगों को पढ़ने में (उदाहरण के लिए यहां ) मैंने इस धारणा को आत्मसात किया कि यदि दो समूह आइसोमॉर्फिक हैं तो यह तय करना कि आइसोमोर्फिज्म के लिए दो ग्राफ्स का परीक्षण करना ज्यादा आसान है। उदाहरण के लिए, बताए गए पृष्ठ पर …

12 complexity-theory  graph-isomorphism  group-theory 

क्या सह-पूर्णता एनपी-कठोरता का अर्थ है? विशेष रूप से, मुझे एक समस्या है जो मैंने सह-पूर्ण होने के लिए दिखाई है। क्या मैं यह दावा कर सकता हूं कि यह एनपी-हार्ड है? मुझे एहसास है कि मैं coNP- कठोरता का दावा कर सकता हूं, लेकिन मुझे यकीन नहीं है कि …

12 complexity-theory  np-hard 

मैं इस समस्या को हल करने की कोशिश कर रहा हूं और मैं वास्तव में संघर्ष कर रहा हूं। एक मोनोटोन बूलियन फॉर्मूला प्रपोजल लॉजिक में एक फॉर्मूला है जहां सभी शाब्दिक सकारात्मक हैं। उदाहरण के लिए, ( x)1∨ x2) ∧ ( एक्स1∨ x3) ∧ ( एक्स3∨ x4∨ x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 …

12 complexity-theory  np-complete  satisfiability 

क्या एनपी-हार्ड या एनपी-पूर्ण समस्या (जैसा कि यहां परिभाषित किया गया है ) की कठिनाई तब बदल जाती है जब इसका इनपुट बाइनरी एन्कोडेड के बजाय एकात्मक होता है? अगर एनपी-हार्ड समस्या का इनपुट एकतरफा एनकोडेड है तो क्या फर्क पड़ता है? मेरा मतलब है, अगर मैं उदाहरण के लिए …

12 complexity-theory  time-complexity  np-complete 

मेरे पास NP = CoNP के लिए यह बहुत ही सरल "प्रमाण" है और मुझे लगता है कि मैंने कहीं गलत तरीके से कुछ किया है, लेकिन मुझे पता नहीं है कि क्या गलत है। क्या कोई मेरी मदद कर सकता है? A को NP में कुछ समस्या होने दो, …

12 complexity-theory  p-vs-np  check-my-proof  np 

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

12 complexity-theory  time-complexity  intuition 

स्टैक ओवरफ्लो में एक प्रश्न पूछा गया था ( यहाँ ): पूर्णांक को देखते हुए , और के पूर्णांक मानों के सभी संभावित संयोजनों को प्रिंट करें जो समीकरण हल करते हैं ।ए , बी , सी डी ए 2 + बी 2 + सी 2 + डी 2 = …

12 complexity-theory  time-complexity  number-theory  enumeration 

क्या करता है जटिलता वर्ग मतलब? मुझे पता है कि ⊕ पी जटिलता वर्ग जो भाषाएँ शामिल है एक है जिसके लिए एक बहुपद समय nondeterministic ट्यूरिंग मशीन है एम ऐसी है कि एक्स ∈ एक iff मशीन के स्वीकार करने राज्यों की संख्या एम इनपुट पर एक्स अजीब है।⊕ …

12 complexity-theory  terminology  complexity-classes 

परिभाषा: कार्प रिडक्शन एक भाषा एकAA एक भाषा के लिए कार्प कम करने योग्य है बीBB अगर वहाँ एक बहुपद समय गणनीय समारोह च : { 0 , 1 } * → { 0 , 1 } *f:{0,1}∗→{0,1}∗f:\{0,1\}^*\rightarrow\{0,1\}^* ऐसी है कि हर एक के लिए एक्सxx , एक्स ∈ एx∈Ax\in …

12 complexity-theory  reductions  check-my-proof