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

एक कमी एक समस्या को दूसरी समस्या में बदलना है। एक कमी का उपयोग करने का एक उदाहरण यह दिखाना होगा कि यदि कोई समस्या P अनिर्दिष्ट है। यह एक निर्णय समस्या को कम करने या बदलने के द्वारा प्राप्त किया जाएगाPएक असंदिग्ध समस्या में। यदि यह प्राप्त किया जा सकता है तो हमने दिखाया है कि यह समस्या P अनिर्दिष्ट है।

4
डायरेक्ट सैट से 3-सैट की कमी
यहाँ लक्ष्य बहुसंख्यक वर्गों और चर की सबसे कम संख्या का उपयोग करके बहुपद समय में 3-सैट के लिए एक मनमाने ढंग से सैट समस्या को कम करना है। मेरा प्रश्न जिज्ञासा से प्रेरित है। औपचारिक रूप से, मैं जानना चाहता हूं: "SAT से 3-SAT में 'सबसे प्राकृतिक' कमी क्या …
2
क्या मजबूत एनपी-कठोरता वास्तव में सादे पॉलीटाइम कटौती का उपयोग करके दिखाया जा सकता है?
मैंने हाल ही में एक सबूत पढ़ा, जो यह दिखाने के लिए था कि एक समस्या एनपी-हार्ड थी, बस एक एनपी-हार्ड समस्या से इसे (बहुपद समय में) कम करके। इससे मुझे कोई मतलब नहीं था। मैंने सोचा होगा कि आपको यह दिखाना होगा कि कमी में इस्तेमाल की गई कोई …
2
के चौराहे है
यह ज्ञात है कि तीन सामान्य मैट्रोइड्स का प्रतिच्छेदन एनपी-हार्ड ( स्रोत ) है, जो हैमिल्टन चक्र से कमी के माध्यम से किया जाता है। कमी एक ग्राफिक मैट्रोइड और दो कनेक्टिविटी मैट्रोइड का उपयोग करती है। एक समस्या का एक विशेष मामला जिस पर मैं काम कर रहा हूं …
1
एक बहुपद समय में कमी में घातांक की वैधता
मैंने यह सवाल 10 दिन पहले यहां cs.stackexchange पर पूछा था, लेकिन मेरे पास इसका कोई जवाब नहीं था। एक बहुत प्रसिद्ध पत्र (नेटवर्किंग समुदाय में), वैंग एंड क्राउक्रॉफ्ट ने कई additive / गुणात्मक बाधाओं के तहत पथ संगणना के कुछ -completeness परिणाम प्रस्तुत किए। पहली समस्या निम्नलिखित है:NPNP\mathsf{NP} एक …
3
सबसेट राशि बनाम सबसेट उत्पाद (मजबूत बनाम कमजोर एनपी कठोरता)
मैं उम्मीद कर रहा था कि कोई मुझे समझाने में सक्षम हो सकता है कि क्यों सबसेट उत्पाद समस्या दृढ़ता से एनपी-हार्ड है जबकि सबसेट समस्या एनपी-हार्ड कमजोर है। सबसेट सम: X={x1,...,xn}X={x1,...,xn}X = \{x_1,...,x_n\} और , करता है वहाँ मौजूद एक सबसेट ऐसा है कि ।TTTX′X′X'∑i∈X′xi=T∑i∈X′xi=T\sum_{i\in X'}x_i = T सबसेट …
3
एफपीटी कटौती में तकनीकों के लिए कोई संदर्भ?
जैसा कि सभी जानते हैं, गैरी और जॉनसन की प्रसिद्ध पुस्तक (और कई अन्य) शास्त्रीय सेटिंग में कमी तकनीक के लिए एक उत्कृष्ट संदर्भ प्रदान करती है। क्या पैरामीटर एल्गोरिथम में कमी तकनीक के विषय पर कोई सर्वेक्षण या किताबें हैं, जो एफटीपी में कमी कहती हैं?
1
एक समान रूप से यादृच्छिक संतोषजनक असाइनमेंट का नमूना लेना
समस्या: को देखते हुए , बूलियन सर्किट द्वारा दर्शाया गया, समान रूप से यादृच्छिक उत्पन्न करें जैसे कि (या आउटपुट यदि ऐसा कोई मौजूद नहीं है)। एक्स ∈ { 0 , 1 } n φ ( एक्स ) = 1 ⊥ एक्सϕ:{0,1}n→{0,1}ϕ:{0,1}n→{0,1}\phi : \{0,1\}^n \to \{0,1\}एक्स ∈ { 0 , …
1
सैट की एनपी-कठोरता के लिए कटौती की न्यूनतम आवश्यक गहराई क्या है?
जैसा कि सभी जानते हैं, SAT wrt बहुपद-समय-कई-एक कटौती के लिए पूर्ण है। यह अभी भी पूरा है wrt कई-एक कटौती।NPNP\mathsf{NP}AC0AC0\mathsf{AC^0} मेरा सवाल यह है कि कटौती के लिए न्यूनतम आवश्यक गहराई क्या है? अधिक औपचारिक रूप से, कम से कम क्या है ऐसी है कि सैट है -हार्ड wrt …
1
सबसेट सम या एनपीपी के लिए गहन संबंध का पता लगाना?
क्या सबसेट सम या संख्या विभाजन समस्या का एक उदाहरण सांकेतिक शब्दों में बदलना है ताकि पूर्णांक संबंध का एक छोटा (छोटा) समाधान एक उत्तर देता है? यदि निश्चित रूप से नहीं, तो कुछ संभाव्य अर्थों में? मुझे पता है कि LLL (और शायद PSLQ) का उपयोग 'कम-घनत्व' क्षेत्र में …
5
क्या किसी समस्या के समाधान के लिए कटौती को हमें कम या ज्यादा आशावादी बनाना चाहिए?
यह मुझे लगता है कि अधिकांश जटिलता सिद्धांतकार आमतौर पर निम्नलिखित दार्शनिक नियम को मानते हैं: यदि हम समस्या लिए एक कुशल एल्गोरिथ्म का पता नहीं लगा सकते हैं , और हम समस्या को समस्या तक कम कर सकते हैं , तो शायद समस्या लिए एक कुशल एल्गोरिदम नहीं है …
2
क्या ALogTime! = PH (और अज्ञात) साबित करने के लिए कठिन है?
लांस फोर्टेन ने हाल ही में दावा किया है कि एल! = एनपी पी साबित करने से आसान होना चाहिए! = एनपी : लॉगरिदमिक स्पेस से एनपी को अलग करें। मैंने 2001 के पूर्व- सर्वेक्षण में विकर्णीकरण (धारा 3) पर चार दृष्टिकोण दिए थे, हालांकि किसी ने भी बाहर नहीं …
1
सबसे कम कई-एक कमी?
हम साबित होता है कि एक चाहते हैं है एन पी -Complete, तो मानक दृष्टिकोण एक ज्ञात का एक बहुपद समय गणना कर सका कई-एक कमी प्रदर्शन करने के लिए है एन पी के -Complete समस्या एल । इस संदर्भ में हमें कमी के चल रहे समय पर कड़े बंधन …
3
क्या कठिन भाषाओं की सीमा आसान हो सकती है?
निम्नलिखित सभी एक साथ पकड़ कर सकते हैं? सभी धनात्मक पूर्णांक s के लिए L s + 1 में समाहित है।एलरोंLsL_sएलs + 1Ls+1L_{s+1}रोंss भर में परिमित शब्द की भाषा है { 0 , 1 } ।ल = ⋃रोंएलरोंL=⋃sLsL = \bigcup_s L_s{ 0 , 1 }{0,1}\{0,1\} कुछ जटिलता वर्ग और C …
3
सकर्मक प्रतिक्रिया चाप सेट (TFAS): NP- पूर्ण?
कुछ समय पहले, मैंने ग्राफ़ की समस्याओं के लिए एक संदर्भ अनुरोध पोस्ट किया था, जहां हम किनारों के 2-विभाजन को ढूंढना चाहते हैं, जहां दोनों सेट एक संपत्ति को पूरा करते हैं जो उनकी कार्डिनैलिटी से संबंधित नहीं है। मैं यह साबित करने की कोशिश कर रहा था कि …
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.