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

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

7
एनपीसी को परिभाषित करने के लिए कई-एक कटौती बनाम ट्यूरिंग कटौती
ज्यादातर लोग उदाहरण के लिए, ट्यूरिंग कटौती के बजाय एनपी-पूर्णता को परिभाषित करने के लिए कई-एक कटौती का उपयोग क्यों करना पसंद करते हैं?
2
वर्ग-मूल-कठिन समस्याओं का योग?
वर्ग जड़ों का योग समस्या, दो दृश्यों को देखते हुए पूछता है और बी 1 , बी 2 , ... , ख n , धनात्मक पूर्णांक के लिए कि क्या योग Σ मैं √a1,a2,…,ana1,a2,…,ana_1, a_2, \dots, a_nb1,b2,…,bnb1,b2,…,bnb_1, b_2, \dots, b_n कम से कम, के बराबर, या राशि से अधिकΣमैं√∑iai−−√∑iai\sum_i \sqrt{a_i} …
3
एल्गोरिदम की तुलना में यादृच्छिकता में कटौती का अधिक प्रभाव क्यों है?
यह अनुमान लगाया जाता है कि यादृच्छिकता बहुपद समय एल्गोरिदम की शक्ति का विस्तार नहीं करती है, अर्थात, धारण करने के लिए अनुमानित है। दूसरी ओर, यादृच्छिकता बहुपद समय में कटौती पर काफी अलग प्रभाव डालती है । बहादुर और Vazirani के प्रसिद्ध परिणाम करके, को कम कर देता है …
2
वैरिएंटाइजिंग वैलिएंट-वज़ीरानी?
बहादुर-Vazirani प्रमेय का कहना है कि अगर वहाँ एक सैट सूत्र ठीक एक संतोषजनक काम है, और एक unsatisfiable सूत्र के बीच भेद के लिए एक बहुपद समय एल्गोरिथ्म (नियतात्मक या यादृच्छिक) है - तो एनपी = आरपी । इस प्रमेय को यह दिखाते हुए साबित किया जाता है कि …
5
RSA से SAT तक फास्ट रिडक्शन
स्कॉट आरोनसन के ब्लॉग पोस्ट ने आज जटिलता में दिलचस्प खुली समस्याओं / कार्यों की एक सूची दी। विशेष रूप से मेरा ध्यान आकर्षित किया: 3SAT उदाहरणों की एक सार्वजनिक लाइब्रेरी बनाएं, जिसमें कुछ चर और खंड यथासंभव संभव हैं, जिनके हल किए जाने के उल्लेखनीय परिणाम होंगे। (उदाहरण के …
7
एनपी में निर्विवाद सदस्यता
क्या कोई ऐसी भाषा का उदाहरण है जो NPNPNP , लेकिन जहां हम इस तथ्य को सीधे-सीधे यह दिखा कर साबित नहीं कर सकते कि इस भाषा में सदस्यता के लिए एक बहुपद साक्षी मौजूद है? इसके बजाय, यह तथ्य कि भाषा में है, NPNPNPइसे में किसी अन्य भाषा में …
27 reductions  np 
1
क्या PLANAR SAT के लिए सब-प्रॉपेरेंशियल एल्गोरिदम ज्ञात हैं?
कुछ एनपी कठिन समस्याओं जो सामान्य रेखांकन पर घातीय हैं प्लानर रेखांकन पर subexponential रहे हैं, क्योंकि treewidth अधिक से अधिक है और वे treewidth में घातीय हैं।4.9 | वी( जी ) |------√4.9|V(G)|4.9 \sqrt{|V(G)|} मूल रूप से मुझे दिलचस्पी है अगर PLANAR SAT के लिए उपसंचाई एल्गोरिदम हैं जो NP-complete …
2
क्या स्थायी का उपयोग करके गैर-द्विदलीय परिपूर्ण मिलान की गणना करने के लिए एक प्रत्यक्ष / प्राकृतिक कमी है?
एक द्विदलीय ग्राफ में सही मिलान की संख्या की गणना करना, स्थायी की गणना करने के लिए तुरंत reducible है। चूंकि गैर-द्विपदीय ग्राफ में परिपूर्ण मिलान ढूंढना एनपी में है, इसलिए गैर-द्विदलीय ग्राफ से स्थायी में कुछ कमी मौजूद है , लेकिन इसमें कुक की सैट की कमी का उपयोग …
6
जटिलता कम सीमा निर्धारित करने के लिए उन्नत तकनीक
आप में से कुछ लोग इस प्रश्न का अनुसरण कर रहे होंगे , जो कि अनुसंधान स्तर नहीं होने के कारण बंद था। इसलिए, मैं उस प्रश्न का हिस्सा निकाल रहा हूं जो एक शोध स्तर पर है। "सरल" तकनीकों से परे, जैसे कि छँटाई को कम करने या एक …
2
प्राकृतिक रंग k- रंग में कमी के लिए
स्पष्ट रूप से CLIQUE से k-Color में कमी है क्योंकि वे दोनों NP- पूर्ण हैं। वास्तव में, मैं CLIQUE से 3-SAT में कमी करके 3-SAT से k- रंग में कमी करके एक का निर्माण कर सकता हूं। मैं सोच रहा हूँ कि क्या इन समस्याओं के बीच एक उचित प्रत्यक्ष …
5
कंप्यूटर-असिस्टेड एनपी-पूर्णता प्रमाणों के बारे में उत्सुक
थॉमस जे। शेफर द्वारा "द कम्प्लेन्ट ऑफ ऑफ ससिफियाबिलिटी प्रोब्लेम्स" पत्र में लेखक ने उल्लेख किया है कि This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of …
1
बाइनरी गुणन और समता का दृढ़ संकल्प
यह प्रश्न बाइनरी संख्याओं के सामान्य गुणन और बहुपद गुणन मॉड के बीच संबंध के बारे में है। प्रश्न को ठोस बनाने के लिए, मैं आदर्श रूप से जानना चाहूंगा कि क्या नूथ वॉल्यूम से प्रश्न का बेहतर समाधान है। पुस्तक में दिए गए 2, 3 संस्करण, पृष्ठ 420। "क्या …
9
पुस्तक से कटौती।
यह " पुस्तक से एल्गोरिदम " की तर्ज पर है । हालांकि कटौती एल्गोरिदम के रूप में अच्छी तरह से कर रहे हैं, मुझे लगा कि यह संदेह है कि एक पुस्तक से एल्गोरिदम के बारे में सवाल के जवाब में कमी के बारे में सोचना होगा। इसलिए एक अलग …
3
यादृच्छिक या पी / पाली कटौती के तहत एनपी-पूर्ण होने वाली समस्याएं।
में इस सवाल है, हम एक प्राकृतिक समस्या बेतरतीब कटौती के तहत एन पी-सम्पूर्ण, लेकिन नियतात्मक कटौती के तहत संभवतः नहीं है कि (हालांकि यह निर्भर करता है जिस पर संख्या सिद्धांत में अप्रमाणित मान्यताओं सत्य हैं) की पहचान की है दिखाई देते हैं। क्या ऐसी कोई अन्य समस्या ज्ञात …
1
यह कैसे साबित करें कि USTCONN को लघुगणक स्थान की आवश्यकता है?
USTCONN वह समस्या है जिसके लिए यह निर्णय लेने की आवश्यकता होती है कि क्या स्रोत तक का रास्ता ग्राफ में sssलक्ष्य वर्टेक्स से है , जहाँ ये सभी इनपुट के भाग के रूप में दिए गए हैं।जीtttGGG ओमर रेनॉल्ड ने दिखाया कि USTCONN L (doi: 10.1145 / 1391289.1391291 ) …
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.