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

माइकल Sipser की संगणना के सिद्धांत में पृष्ठ 270 पर वह लिखते हैं: पी = भाषाओं का वर्ग जिसके लिए सदस्यता जल्दी से तय की जा सकती है। एनपी = उन भाषाओं का वर्ग जिनके लिए सदस्यता जल्दी से सत्यापित की जा सकती है। "तय" और "सत्यापित" के बीच अंतर …

16 complexity-theory  terminology  decision-problem 

मैं धारणा है कि हर एन पी-सम्पूर्ण समस्या के लिए, असीम कई इनपुट के लिए आकार है , आकार के सभी संभव आदानों से अधिक हाँ-उदाहरणों की संख्या , है (कम से कम) में घातीय ।nnnnnnnnn क्या ये सच है? यह साबित हो सकता है (शायद केवल इस धारणा के …

15 complexity-theory  np-complete  np-intermediate 

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

15 complexity-theory  np 

हमारे पास एक N1×N2N1×N2N_1 \times N_2 ग्रिड है। हम इस ग्रिड पर आयतों का एक संग्रह हैं तो प्रत्येक आयत के रूप में एक व्यक्त किया जा सकता है N1N1N_1 -by- बाइनरी मैट्रिक्स । हम उन आयतों के साथ ग्रिड को कवर करना चाहते हैं। आरN2N2N_2RRR क्या इस सेट कवर …

15 complexity-theory  np-complete  set-cover 

मैं स्टैक ओवरफ्लो पर एक सवाल पढ़ रहा था कि क्या यह एनपी -हार्ड एक विशेष नोड वाले ग्राफ में सभी सरल चक्रों को सूचीबद्ध करने के लिए था और यह मेरे लिए हुआ कि मैं किसी भी मौजूदा जटिलता वर्ग के बारे में नहीं सोच सकता जो इसके लिए …

15 complexity-theory  reference-request  complexity-classes  enumeration 

कठिन निर्णय समस्याओं के कुछ उदाहरण क्या हैं जिन्हें बहुपद में हल किया जा सकता है? मैं उन समस्याओं की तलाश कर रहा हूं जिनके लिए इष्टतम एल्गोरिदम "धीमा" है, या जिन समस्याओं के लिए सबसे तेज़ एल्गोरिथ्म "धीमा" है। यहाँ दो उदाहरण हैं: सही रेखांकन की मान्यता। उनके FOCS'03 …

15 algorithms  complexity-theory  reference-request 

हिडोकू एक n×nn×nn \times n ग्रिड है जिसमें 1 से तक कुछ पूर्व-पूर्ण पूर्णांक हैं n2n2n^2। लक्ष्य ग्रिड में क्रमिक पूर्णांक (1 से n2n2n^2 ) का मार्ग खोजना है । अधिक ठोस, ग्रिड की प्रत्येक कोशिका के लिए 1 से एक अलग पूर्णांक शामिल होना चाहिए n2n2n^2 और मूल्य के …

15 complexity-theory  reductions  np-hard 

जाहिर है, अगर P=NPP=NP{\sf P}={\sf NP} , में सभी भाषाओं PP{\sf P} को छोड़कर के लिए ∅∅\emptyset और Σ∗Σ∗\Sigma^* होगा NPNP{\sf NP} -Complete। विशेष रूप से ये दो भाषाएं क्यों? क्या हम स्वीकार करते हुए या न स्वीकार करते हुए उन्हें आउटपुट करके में किसी भी अन्य भाषा को कम …

15 complexity-theory  np-complete  reductions 

चलो A को B, यानी लिए reducible किया जाए । इसलिए, को स्वीकार करने वाली ट्यूरिंग मशीन में लिए एक ओरेकल तक पहुंच है । मान लें कि ट्यूरिंग मशीन को और को लिए । कटौती के प्रकार:ए बी ए एम ए बी ओ बीA ≤ बीए≤बीA \leq BएएAबीबीBएएAमएमएM_{A}बीबीBहेबीहेबीO_{B} ट्यूरिंग …

15 complexity-theory  np-complete  reductions  complexity-classes 

Clique समस्या एक अच्छी तरह से ज्ञात NPNPNP -complete समस्या है जहाँ आवश्यक क्लिक्स का आकार इनपुट का हिस्सा है। हालाँकि, k-clique समस्या में एक तुच्छ बहुपद समय एल्गोरिथ्म ( O(nk)O(nk)O(n^k) जब kkk स्थिर है)। जब कश्मीर स्थिर रहता है तो मुझे सबसे अच्छी तरह से ज्ञात ऊपरी सीमा में …

15 complexity-theory  graph-theory 

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

15 formal-languages  complexity-theory  formal-grammars 

एक छद्म-बहुपद समय एल्गोरिथ्म एक एल्गोरिथ्म है जिसमें इनपुट मूल्य (परिमाण) पर बहुपद चल रहा है लेकिन इनपुट आकार (बिट्स की संख्या) पर घातांक समय चल रहा है। उदाहरण के लिए कि नंबर nnn प्राइम है या नहीं, इसके लिए 2 से तक के नंबरों के माध्यम से लूप की …

15 complexity-theory  algorithm-analysis  time-complexity  polynomial-time  pseudo-polynomial 

यह सर्वविदित है कि 2-सैट पी में है। हालांकि, यह काफी दिलचस्प लगता है कि किसी दिए गए 2-सैट फॉर्मूला के समाधानों की संख्या की गिनती करना, अर्थात, # 2-सैट # पी-हार्ड है। यही है, हमारे पास एक समस्या का एक उदाहरण है जिसके लिए निर्णय आसान है, लेकिन गिनती …

14 complexity-theory  counting 

तो आमतौर पर सुडोकू है , लेकिन इस सवाल का फैली एन 2 × एन 2 के साथ पहेली n > 3 में अच्छी तरह से। कई बहुपद समय कटौती नियम हैं जो एक सुडोकू पहेली का हल खोजने में प्रगति कर सकते हैं। लेकिन फिर कभी-कभी मूल्यों का अनुमान …

14 complexity-theory  sudoku 

मुझे यकीन है कि किसी ने पहले इस बारे में सोचा है या तुरंत इसे खारिज कर दिया है, लेकिन स्फेफर के द्विचोटमी सिद्धांत के साथ-साथ महारे के प्रमेय के साथ विरल सेटों का मतलब पी = एनपी नहीं है? यहाँ मेरी तर्क है: एक भाषा बनाएं जो बराबर है …

14 complexity-theory  np-complete  satisfiability  p-vs-np