reductions पर टैग किए गए जवाब

मैं एनपी-इंटरमीडिएट और एनपी-पूर्ण के बीच संबंधों को समझने के लिए संघर्ष कर रहा हूं। मुझे पता है कि अगर पी! = एनपी लादनर के प्रमेय पर आधारित है तो एनपी में भाषाओं की एक श्रेणी मौजूद है लेकिन पी या एनपी-पूर्ण में नहीं। एनपी में हर समस्या को एक …

17 np-complete  reductions  factoring 

हमारे पास एक डीएजी है। हमारे पास नोड्स पर एक फ़ंक्शन है एफ: वी→ एनएफ:वी→एनF\colon V\to \mathbb N (शिथिल बोलना, हम नोड्स को संख्या देते हैं)। हम इन नियमों के साथ एक नया निर्देशित ग्राफ बनाना चाहेंगे: एफ( x ) ≠ एफ( y) ⇒ एक्स'≠ य'एफ(एक्स)≠एफ(y)⇒एक्स'≠y'F(x) \neq F(y) \Rightarrow x' …

15 algorithms  graphs  np-complete  reductions 

हिडोकू एक 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 

मुझे समस्या है: दिखाएँ कि एक वास्तविक संख्या मौजूद है जिसके लिए कोई भी प्रोग्राम मौजूद नहीं है जो असीम रूप से लंबा चलता है और उस संख्या के दशमलव अंकों को लिखता है। मुझे लगता है कि इसे हल करने की समस्या को कम करके हल किया जा सकता …

14 algorithms  reductions  halting-problem 

जैसे बोली कर रहे हैं फिर से पूरा कई-एक में कटौती के तहत। यह देखना तुच्छ है कि सह-आरई में पूरी समस्याएं हैं, भी। एस श्मित्ज़ [1] inbetween कुछ वर्गों पर विचार करता है ELEM और आरईसी । वे विशेष रूप से तैयार किए गए कटौती के तहत इन वर्गों …

14 computability  reductions  turing-completeness  recursion-theory 

प्लानर 3SAT एनपी-पूर्ण है। एक प्लानर 3SAT उदाहरण एक 3SAT उदाहरण है जिसके लिए निम्नलिखित नियमों का उपयोग करके बनाया गया ग्राफ़ प्लानर है: प्रत्येक और ver x i के लिए एक शीर्ष जोड़ेंएक्समैंएक्समैंx_iएक्समैं¯एक्समैं¯\bar{x_i} प्रत्येक खंड C j के लिए एक शीर्ष जोड़ेंसीजेसीजेC_j हर के लिए किनारे से जोड़ने जोड़ी( …

14 np-complete  reductions  satisfiability  3-sat 

चूंकि Integer रैखिक प्रोग्रामिंग एनपी-पूर्ण है, इसलिए एनपी में किसी भी समस्या से एक कार्प कमी है। मैंने सोचा कि यह निहित है कि एनपी में किसी भी समस्या के लिए हमेशा एक बहुपद आकार का ILP सूत्रीकरण होता है। लेकिन मैंने विशिष्ट एनपी समस्याओं पर कागजात देखे हैं, जहां …

14 complexity-theory  np-complete  reductions  linear-programming 

हम जानते हैं कि रों टी - एन ओ एन - सी ओ एन एन ई सी टी मैं v मैं टी yst-non-connectivityst\text{-}non\text{-}connectivity में है एन एलNL\mathsf{NL} द्वारा Immerman-Szelepcsényi प्रमेय प्रमेय और के बाद से रों टी - सी ओ एन एन ई सी टी मैं वी मैं टी yst-connectivityst\text{-}connectivity …

14 complexity-theory  reductions  space-complexity 

इसलिए, जैसा कि ज्ञात है, ILP की 0-1 निर्णय समस्या NP- पूर्ण है। यह एनपी में दिखाना आसान है, और मूल कमी सैट से थी; तब से, कई अन्य एनपी-पूर्ण समस्याओं में ILP फॉर्मूलेशन (जो उन समस्याओं से ILP में कटौती के रूप में कार्य करता है) को दिखाया गया …

14 np-complete  reductions  satisfiability  integer-programming 

3-विभाजन समस्या पूछती है कि क्या पूर्णांकों के एक सेट को तीन पूर्णांकों के n समुच्चयों में विभाजित किया जा सकता है जैसे कि प्रत्येक सेट कुछ दिए गए पूर्णांक B पर निर्भर करता है । संतुलित विभाजन समस्या पूछती है कि क्या 2 एन पूर्णांक दो समान कार्डिनैलिटी सेटों …

13 complexity-theory  reductions  np-complete 

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

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

परिभाषा: कार्प रिडक्शन एक भाषा एक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 

Google हैश कोड 2015 टेस्ट राउंड ( समस्या कथन ) ने निम्नलिखित समस्या के बारे में पूछा: इनपुट: कुछ चिह्नित वर्गों के साथ एक ग्रिड , एक थ्रेशोल्ड , एक अधिकतम क्षेत्रटी ∈ एन ए ∈ एनMMMT∈NT∈NT \in \mathbb{N}A∈NA∈NA \in \mathbb{N} आउटपुट: पूर्णांक आयतों के समुच्चय का सबसे बड़ा संभव …

11 complexity-theory  reductions  np-hard