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

मैं इंटरेक्टिव प्रूफ सिस्टम को समझने की कोशिश कर रहा हूं और एक अभ्यास के रूप में निम्नलिखित समस्या की कोशिश की है। हम जानते हैं किPH⊆PSPACEपीएच⊆पीएसपीएसीइPH \subseteq PSPACE तथा IP=PSPACEमैंपी=पीएसपीएसीइIP=PSPACE, इसलिए साथ आओ (समझने में आसान) के लिए इंटरैक्टिव प्रूफ सिस्टम PHपीएचPH? के लिए एक इंटरैक्टिव प्रूफ सिस्टम NPNPNP …

9 complexity-theory  interactive-proof-systems 

दिए गए 0 , 10,10,1 (बाइनरी) फॉर्म का पूर्णांक कार्यक्रम: मिनटसेंटच( x )अ x = खएक्समैं≥ 0एक्समैं∈ { 0 , 1 }∀ मैं∀ मैंminf(x)s.t.Ax=bxi≥0∀ixi∈{0,1}∀i \begin{array}{lll} \text{min} & f(x) & \\ \text{s.t.} & A x = b \\ & x_i \ge 0 & \quad \forall i\\ & x_i \in \{0,1\} & …

9 complexity-theory  np-complete  approximation  integer-programming 

क्या उप-सम योग समस्या का यह रूप आसान / ज्ञात है? एक पूर्णांक दिया मmm, और सकारात्मक पूर्णांक का एक सेट ए = {एक्स1,एक्स2, । । । ,एक्सn}A={x1,x2,...,xn}A = \{x_1, x_2, ..., x_n\} ऐसा हर एक्समैंxix_i सबसे ज्यादा है के = २k=2k=2 बिट्स के लिए सेट 111 (एक्समैं=2खमैं1+2खमैं2,खमैं1,खमैं2≥ 0xi=2bi1+2bi2,bi1,bi2≥0x_i = …

9 complexity-theory  reference-request  decision-problem 

चलो LϵएलεL_\epsilon सभी की भाषा बनो 222-सीएनएफ के सूत्र φφ\varphi, ऐसा कम से कम (12+ϵ)(12+ε)(\frac{1}{2}+\epsilon) का φφ\varphiक्लाज संतुष्ट हो सकते हैं। मुझे यह साबित करने की जरूरत है कि वहां मौजूद है ϵ′ε'\epsilon' सेंट LϵएलεL_\epsilon है NPएनपी\mathsf{NP}-किसी के लिए भी ϵ&lt;ϵ′ϵ&lt;ϵ′\epsilon<\epsilon'। हम जानते हैं कि Max2SatMax2Sat\text{Max}2\text{Sat} के लिए लगभग हो …

9 complexity-theory  satisfiability  approximation 

मैं उलझन में हूं कि पीपी और बीपीपी को कैसे परिभाषित किया जाता है। आइए मान लें कि एक भाषा । एम संभाव्य ट्यूरिंग मशीन हो। क्या निम्न परिभाषाएँ सही हैं:χχ\chiLL\mathcal{L} BPP={L:Pr[χ(x)≠M(x)]≥12+ϵ∀x∈L, ϵ&gt;0}BPP={L:Pr[χ(x)≠M(x)]≥12+ϵ∀x∈L, ϵ&gt;0}BPP =\{\mathcal{L} :Pr[\chi(x) \ne M(x)] \geq \frac{1}{2} + \epsilon \quad \forall x \in \mathcal{L},\ \epsilon > 0 …

9 complexity-theory  terminology  randomized-algorithms  complexity-classes 

मैं निम्नलिखित समस्या में भाग गया: वास्तविक-मूल्यवान बढ़त भार के साथ एक निर्देशित चक्रीय ग्राफ को देखते हुए, और दो कोने एस और टी, न्यूनतम सेंट कट की गणना करते हैं। सामान्य रेखांकन के लिए यह एनपी-हार्ड है, क्योंकि एक व्यक्ति अधिकतम बढ़त को उल्टा करके इसे अधिकतम रूप से …

9 algorithms  complexity-theory  graph-theory  weighted-graphs 

हम कहते हैं कि हम जानते हैं कि समस्या ए कठिन है, तो हम ए को अज्ञात समस्या को कम करते हैं बी को साबित करने के लिए बी भी कठिन है। एक उदाहरण के रूप में: हम जानते हैं कि 3-रंग कठिन है। फिर हम 3-रंग को कम करके …

9 complexity-theory  np-complete  reductions 

मान लीजिए कि हम एक विधेय पर दो संबंधों में शामिल होना चाहते हैं। क्या यह नेकां में है? मुझे लगता है कि इसका एक प्रमाण NC में नहीं होने के कारण ऐसा प्रमाण होगा जो , इसलिए मैं इसका प्रमाण एक उत्तर के रूप में एक खुली समस्या होने …

9 complexity-theory  time-complexity  parallel-computing  database-theory  descriptive-complexity 

यह सर्वविदित है कि हर बूलियन फंक्शन गहराई 2 (बजाएं, उनकी उपेक्षा और निरंतर मूल्यों) की बूलियन सर्किट का उपयोग करके महसूस किया जा सकता है पहले स्तर में और गेट्स और ऊपरी स्तर में एक एकल या गेट युक्त; यह केवल का डीएनएफ प्रतिनिधित्व है ।f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\to \{0,1\}fff एक अन्य …

9 complexity-theory  logic  circuits 

एक सेट करने के बाद की तत्वों, मान लीजिए कि मैं एक समारोह की गणना करना चाहते हैं कि इनपुट के सभी भागों के प्रति संवेदनशील है, यानी की बहुत सदस्य पर निर्भर करता है (यानी यह संभव है के किसी भी सदस्य को बदलने के लिए कुछ करने के …

9 complexity-theory 

आइए 3 डी → 2 डी कमी के उदाहरण के रूप में लेते हैं: 2 डी सेलुलर ऑटोमेटन द्वारा 3 डी सेलुलर ऑटोमेटन को अनुकरण करने की लागत क्या है? यहाँ अधिक विशिष्ट प्रश्नों का एक समूह है: किस तरह के एल्गोरिदम से उनकी समय जटिलता बदल जाएगी, कितना? एन्कोडिंग …

9 complexity-theory  time-complexity  cellular-automata 

वास्तविक दुनिया अनुप्रयोगों में एक ठोस लाभ का उपयोग करते समय है के बजाय एल्गोरिदम?ओ (लॉग)( लॉग( n ) )O(log⁡(log⁡(n))\mathcal{O}(\log(\log(n))ओ (लॉग)( n ) )O(log⁡(n))\mathcal{O}(\log(n)) यह ऐसा मामला है जब एक उदाहरण के लिए वैन एम्ड बोस पेड़ों के बजाय अधिक पारंपरिक बाइनरी सर्च ट्री कार्यान्वयन के लिए उपयोग किया जाता …

9 algorithms  complexity-theory  binary-trees  algorithm-analysis  search-trees