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

Http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf द्वारा यदि एक PSPACE- पूर्ण भाषा है, P A = N P A है ।AAAPA=NPAPA=NPAP^{A}=NP^{A} तो एक नियतात्मक बहुपद समय देववाणी है, पी बी ≠ एन पी बी (यह मानते हुए पी ≠ एन पी )।BBBPB≠NPBPB≠NPBP^{B}\ne NP^{B}P≠NPP≠NPP\ne NP निर्णय समस्याओं के वर्ग के लिए एनालॉग है # पी और …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

मेरे पास एक प्रमाण प्रयास का हिस्सा है ⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}। प्रमाण के प्रयास में कर की कमी होती है⊕P⊕P\oplus \mathbf{P}- अपूर्ण समस्या ⊕⊕\oplus3-REGULAR VERTEX COVER to SAT। एक घन ग्राफ दिया GGGकमी CNF सूत्र का उत्पादन करती है FFF दोनों निम्नलिखित गुण हैं: FFF सबसे ज्यादा है 111 …

12 cc.complexity-theory  graph-theory  complexity-classes  sat  counting-complexity 

CNF सूत्र के विपरीत एक दो बार पढ़ने में, प्रत्येक चर दो बार दिखाई देता है, एक बार सकारात्मक और एक बार नकारात्मक। मैं में दिलचस्पी रहा हूँ समस्या, रीड-दो बार विपरीत CNF सूत्र के संतोषजनक कार्य की संख्या की समता कंप्यूटिंग में होते हैं जो।⊕ आरडब्ल्यूटी-ओपी-सीएनएफ⊕Rtw-Opp-CNF\oplus\text{Rtw-Opp-CNF} मैं इस तरह …

11 cc.complexity-theory  ds.algorithms  counting-complexity 

एक बहुपद स्थानीय खोज समस्या के लिए , हम जानते हैं कि कम से कम एक समाधान (स्थानीय इष्टतम) मौजूद होना चाहिए। हालांकि, कई और समाधान मौजूद हो सकते हैं, पीएलएस-पूर्ण समस्या के समाधान की संख्या को गिनना कितना कठिन है? मुझे निर्णय समस्या में विशेष रूप से दिलचस्पी है: …

11 cc.complexity-theory  counting-complexity  gt.game-theory 

मुझे लगता है कि इसे # पी-स्पेस कहा जाएगा लेकिन मैंने केवल एक लेख का उल्लेख किया है। कैसे EXP-TIME- कम्प्लीट, NEXP- कम्प्लीट और साथ ही EXP-SPACE- कम्प्लीट समस्याओं के काउंटिंग वर्जन के बारे में? क्या कोई पिछला काम है जो इस संबंध में या टोडा के प्रमेय की तरह …

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace 

# P- पूर्ण समस्याओं में चरण संक्रमण के बारे में क्या ज्ञात है? विशेष रूप से, क्या # DNF-k-SAT और # CNF-k-SAT के लिए एक अलग चरण संक्रमण मौजूद है? अद्यतन: जैसा कि हम जानते हैं, रैंडम के-सैट में एक चरण संक्रमण होता है जहां समस्या को हल करना मुश्किल …

11 cc.complexity-theory  counting-complexity  phase-transition 

SHORT QUESTION: क्या MAJ-3CNF कई-एक कटौती के तहत एक पीपी-पूर्ण समस्या है? लंबा संस्करण: यह सर्वविदित है कि MAJSAT (यह निर्णय लेना कि प्रपोजल वाक्य के अधिकांश कार्य वाक्य को पूरा करते हैं) PP- कई-एक कटौती के तहत पीपी-पूर्ण है और #SAT # P- पूर्ण कटौती के तहत पूर्ण है। …

10 counting-complexity  complexity  probabilistic-complexity 

मुझे निम्नलिखित समस्या में दिलचस्पी है। हम एक "लक्ष्य क्रमपरिवर्तन" इनपुट के रूप में दिया जाता है , साथ ही सूचकांक के एक आदेश दिया सूची मैं 1 , ... , मैं हूँ ∈ [ n - 1 ] । फिर, सूची से आरंभ एल = ( 1 , 2 …

10 np-hardness  counting-complexity  permutations  sorting-network  disjoint-paths 

मैं लेस वैलेंट के सेमिनल पेपर से गुजर रहा था और मेरे पास पेपर के पेज 10 पर प्रपोजल 4.3 के साथ एक कठिन समय था। मैं नहीं देख सकते हैं कारण है कि यह मामला है कि अगर वहाँ के लिए कुछ खास मूल्यों के साथ एक जनरेटर है …

10 ds.algorithms  counting-complexity  survey 

एंड्रोस सलामोन और कॉलिन मैकक्लिअन के मेरे पिछले प्रश्न मोनोटोन -2 सीएनएफ फॉर्मूला के समाधानों को गिनने के योगदान को पढ़ने के बाद मेरे दिमाग में यह सवाल उठ गया है । EDIT 30 वें मार्च 2011 जोड़ा गया प्रश्न n ° 2. EDIT 29 वें अक्टूबर 2010 प्रश्न एक …

10 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

शास्त्रीय # पी-पूर्ण समस्या पर विचार करें # 3SAT, अर्थात, चरों के साथ 3CNF को संतोषजनक बनाने के लिए मूल्यांकन की संख्या की गणना करना । मैं additive सन्निकटन में रुचि रखता हूं । स्पष्ट रूप से, -रोर को प्राप्त करने के लिए एक तुच्छ एल्गोरिथ्म है , लेकिन यदि …

9 approximation-algorithms  sat  counting-complexity  approximation-hardness 

एक ग्राफ से एक समरूपताG=(V,E)G=(V,E)G = (V, E)एक ग्राफ लिए से एक मैपिंग हैG′=(V′,E′)G′=(V′,E′)G' = (V', E')fffVVVV′V′V' है कि अगर इस तरह केxxx तथा yyy में समीप हैं EEE फिर f(x)f(x)f(x) तथा f(y)f(y)f(y) में समीप हैं E′E′E'। एक एंडोमोर्फिज्म ग्राफ काGGG से एक समरूपता है GGGखुद को; यह निश्चित-बिंदु-मुक्त है …

9 cc.complexity-theory  graph-algorithms  counting-complexity  graph-isomorphism  homomorphism 

एक मोनोटोन 3CNF सूत्र पर विचार करें, जिसमें दोनों अतिरिक्त प्रतिबंध हैं: प्रत्येक चर बिल्कुल खंडों में प्रकट होता है ।222 किसी भी खंडों को देखते हुए , वे अधिकतम चर पर साझा करते हैं ।222111 मैं जानना चाहूंगा कि इस तरह के फॉर्मूले के संतोषजनक कामों को गिनना कितना …

9 cc.complexity-theory  sat  counting-complexity 

चलो एक ग्राफ हो। चलोपूर्णांक बनें। बता दें कि के कोने और किनारों की एक विषम संख्या के किनारे प्रेरित सबग्राफ की संख्या है। चलो के किनारे प्रेरित subgraphs की संख्या हो होने कोने और किनारों की समान संख्या। Let । अजीब भी डेल्टा समस्या कंप्यूटिंग में होते हैं , …

9 ds.algorithms  graph-theory  graph-algorithms  counting-complexity 

एक पिछले प्रश्न में , पैमाइश के लिए पैरामीट्रिज्ड अल्गोरिदम फॉर बिचैलिक्स , मैंने पूछताछ की कि क्या कोई खोजने के लिए तेज पैरामीरिज्ड एल्गोरिदम थेk×kk×kk\times kएक में -Biclique nnn वर्टेक्स ग्राफ और पता चला कि यह FPT wrt था तो यह खुला था kkk। गिनती के लिए भी यही …

9 cc.complexity-theory  graph-theory  counting-complexity  parameterized-complexity