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

पी बनाम एनपी और अन्य संसाधन-बाध्य संगणना।


1
हैमिल्टन के अपघटन निर्णय की समस्या
चलो एक अनिर्दिष्ट ग्राफ हो। को असंबद्ध में अपघटन को को का हैमिल्टन अपघटन कहा जाता है, यदि प्रत्येक सेट से प्रेरित सबग्राफ या तो हैमिल्टन ग्राफ है या जिसमें ।G=(V,E)G=(V,E)G=(V,E)VVVViViV_iGGGViViV_i|Vi|=2|Vi|=2|V_i|=2 उदाहरण : पूरा द्विदलीय ग्राफ पास हैमिल्टन अपघटन है और यदि केवल ।Km,nKm,nK_{m,n}m=nm=nm=n मैं एक एल्गोरिथ्म की तलाश कर …

2
एक सामान्यीकृत वैंडर्मोंडे मैट्रिक्स का निर्धारक
मूर मैट्रिक्स वैंडमोंडे मैट्रिक्स के समान है, लेकिन इसकी थोड़ी संशोधित परिभाषा है। http://en.wikipedia.org/wiki/Moore_matrix किसी पूर्ण मूर मैट्रिक्स modulo कुछ पूर्णांक के के निर्धारक की गणना करने की जटिलता क्या है ?n×nn×nn \times n Can मूर से कम किया जा निर्धारक के लिए FFT तकनीक का उपयोग O (n \ …

1
बंधे हुए डिग्री रेखांकन पर भिन्नात्मक भिन्नात्मक संख्या का अनुमान लगाने की कठोरता
क्या यह बाध्य डिग्री ग्राफों पर भिन्नात्मक गुणात्मक संख्या के लिए लगभग कठिन है?

3
भौतिक मॉडलों के लिए कठिन समस्याओं का निवारण
मैं कंप्यूटर विज्ञान से कठिन समस्याओं (एनपी या कठिन में) के उदाहरणों की तलाश कर रहा हूं जो शारीरिक प्रक्रियाओं के मॉडल में कम हो सकते हैं। उदाहरण के लिए, एक ईजिंग मॉडल में अधिकतम 2-सैट को ऊर्जा कम करने के लिए कम किया जा सकता है। मैं इस प्रकार …

2
जब एक एफओ संपत्ति एनएल-कठोरता को मार देती है?
संदर्भ: हम केवल डिग्राफ मानते हैं। आज्ञा देना चक्र के साथ रेखांकन की भाषा हो; यह एनएल-पूर्ण समस्या है। आज्ञा देना कम से कम एक किनारे के साथ रेखांकन की भाषा हो। तब तुच्छता, CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE} नहीं रह NL-कठिन है, जबकि CYCLE∪HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} रहता है तो। वास्तविक समस्या: …

2
डीपी में क्रिटिकल सैट का एक प्रकार
एक भाषा कक्षा में है डी पी iff वहाँ दो भाषाएं हैं एल 1 ∈ एन पी और एल 2 ∈ सी ओ एन पी ऐसी है कि एल = एल 1 ∩ एल 2LLLDPDPDPL1∈NPL1∈NPL1 \in NPL2∈coNPL2∈coNPL2 \in coNPL=L1∩L2L=L1∩L2L = L1 \cap L2 एक विहित अपूर्ण समस्या SAT-UNSAT है: दो …

1
P- पूर्ण भाषाओं का घनत्व
मान लीजिए कि एक बुलियन भाषा है, जो से अधिक परिमित तार की है । चलो में तार की संख्या हो लंबाई के साथ । एक फ़ंक्शन लिए धनात्मक पूर्णांक से धनात्मक वास्तविक संख्या तक, में ऊपरी घनत्व यदि सभी पर्याप्त रूप से बड़े ।{ 0 , 1 } एल …

1
एक मिलान खोजना जिसका संकुचन एक ग्राफ में आर्क्स की संख्या को कम करता है
मिश्रित ग्राफ को किनारों और arcs , में एक मिलान खोजें जो में चापों की संख्या को कम करता है , जहाँ को मिलान किए गए शीर्षों को संकुचित करके और हटाकर से प्राप्त किया जाता है। समानांतर चाप।ई ए ई जी / एम जी / एम जीजी = ( …

1
क्यूएमए पूरी समस्याओं का वादा समस्याओं क्यों होना चाहिए?
मैं क्वांटम जटिलता सिद्धांत पर पेपर पर वाट्सएप के उत्कृष्ट सर्वेक्षण पेपर पढ़ रहा हूं। इसमें वह कहता है कि अगर एक QMA-अपूर्ण समस्या को एक रिक्त वादा (Ie Be a language) पाया गया तो आश्चर्य होगा। ऐसा क्यों है? क्या यह इस तथ्य के साथ करना है कि के-स्थानीय …

2
एन-टर्म मोनोटोन सीएनएफ के लिए सबसे छोटा सूत्र
N वैरिएबल ( ) पर m शब्दों वाला एक मोनोटोन CNF फॉर्मूला फॉर्म f ( x 1 , … , x n ) = i C i का एक सूत्र है , जहाँ प्रत्येक C i कुछ उपसमूह का एक OR है। की चर x 1 , ... , x …

3
असंतुष्ट रास्तों के सभी जोड़ों की गणना
एक निर्देशित ग्राफ और दो वर्टीकल । यदि वे एक किनारे साझा नहीं करते हैं, तो से तक सरल पथ की एक जोड़ी है ।G=(V,E)G=(V,E)G = (V,E)s,t∈Vs,t∈Vs,t \in Vp1,p2p1,p2p_1,p_2sssttt अधिकतम प्रवाह का उपयोग करते हुए, यह तय करना आसान है कि क्या से तक किनारे के रास्ते की एक जोड़ी …

4
क्वांटम और नियतात्मक क्वेरी जटिलता के बीच की खाई को बांधना
हालाँकि, बाउंड-एरर क्वांटम क्वेरी कॉम्प्लेक्सिटी ( ) और नियतात्मक क्वेरी कॉम्प्लेक्सिटी ( ) या बाउंड-एरर रैंडमाइज्ड क्वेरी कॉम्प्लेक्सिटी ( ) के बीच घातीय पृथक्करण ज्ञात हैं, वे केवल कुछ आंशिक कार्यों पर ही लागू होते हैं। यदि आंशिक फ़ंक्शंस में कुछ विशेष संरचनाएं हैं, तो वे साथ बहुपद भी हैं …

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

1
स्पैन कार्यक्रम, गवाह आकार और प्रमाण पत्र जटिलता
स्पैन प्रोग्राम यहां प्रस्तुत किए गए बूलियन फ़ंक्शन को निर्दिष्ट करने का एक रैखिक-बीजीय तरीका है । हाल ही में, इस मॉडल का उपयोग यह दिखाने के लिए किया गया था कि नकारात्मक प्रतिकूल विधि क्वांटम क्वेरी जटिलता के एक तंग लक्षण वर्णन (कम से कम ) प्रदान करती है।लॉगएन …

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.