unique-solution पर टैग किए गए जवाब

जटिलता वर्ग में उन एन पी -प्रॉबल्म शामिल होते हैं जो एक बहुपद समय नोंडेटरमिनिस्टिक ट्यूरिंग मशीन द्वारा तय किए जा सकते हैं, जिसमें कम्प्यूटेशनल पथ को स्वीकार करने वाले अधिकांश व्यक्ति होते हैं। यही है, समाधान, यदि कोई हो, इस अर्थ में अद्वितीय है। यह अत्यधिक संभावना नहीं है …

37 cc.complexity-theory  ds.algorithms  graph-algorithms  complexity-classes  unique-solution 

बहादुर-Vazirani प्रमेय का कहना है कि अगर वहाँ एक सैट सूत्र ठीक एक संतोषजनक काम है, और एक unsatisfiable सूत्र के बीच भेद के लिए एक बहुपद समय एल्गोरिथ्म (नियतात्मक या यादृच्छिक) है - तो एनपी = आरपी । इस प्रमेय को यह दिखाते हुए साबित किया जाता है कि …

29 cc.complexity-theory  reductions  derandomization  unique-solution 

निम्नलिखित समस्या पर विचार करें: CNF सूत्र और असाइनमेंट दिया गया है जो इस सूत्र को संतुष्ट करता है, क्या इस सूत्र के लिए एक और संतोषजनक असाइनमेंट है? इस समस्या की जटिलता क्या है? (यह सबसे निश्चित रूप से एनपी में है, लेकिन क्या यह एनपी-हार्ड भी है?) क्या …

25 cc.complexity-theory  np-hardness  sat  unique-solution 

2011/02/08 पर EDIT: कुछ संदर्भ खोजने और पढ़ने के बाद, मैंने मूल प्रश्न को दो अलग-अलग लोगों में अलग करने का फैसला किया। सिंटैक्टिक और सिमेंटिक क्लास के लिए यूपी बनाम एनपी से संबंधित हिस्सा यहां दिया गया है, कृपया सिंटैक्टिक और सिमेंटिक कक्षाओं के लिए लाभ देखें । UPUP\mathsf{UP} …

19 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

जोश ग्रूचो के सुझाव के बाद, मैं अपनी टिप्पणी को पिछले प्रश्न से एक नए प्रश्न में परिवर्तित कर रहा हूं । हमारे पास लिए क्या साक्ष्य हैं ?यू पी ≠ एन पीUP≠NP\mathsf{UP} \neq \mathsf{NP} यहाँ यू पीUP\mathsf{UP} बहुपाषाण काल ​​के गैर-नियतात्मक ट्यूरिंग मशीनों द्वारा पहचानी जाने वाली भाषाओं की …

17 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

मैं यह पता लगाना चाहता हूं कि एनपी-पूर्ण समस्या का दूसरा समाधान खोजने की समस्या के एनपी-पूर्णता के बारे में कोई सामान्य परिणाम या उदाहरण हैं। अधिक सटीक रूप से, मुझे निम्नलिखित फ़ॉर्म की किसी भी समस्या में दिलचस्पी है: एक समाधान को देखते हुए एक उदाहरण के लिए मैं …

17 cc.complexity-theory  reference-request  np-hardness  unique-solution 

प्रस्तावना। जटिलता वर्ग एएम वे समस्याएं हैं जो एक "मर्लिन" और एक सत्यापनकर्ता "आर्थर" के बीच दो-गोल इंटरैक्टिव प्रूफ सिस्टम द्वारा हल की जा सकती हैं। एक समस्या - जो किसी वस्तु X की कुछ संपत्ति का परीक्षण करती है - AM में है यदि: के लिए हाँ उदाहरणों, एक …

15 cc.complexity-theory  interactive-proofs  unique-solution 

मैं हाल ही में से एक बहुत अच्छा पेपर पढ़ रहा था बहादुर और Vazirani जो दिखाता है कि अगर , फिर वहाँ नहीं सैट हल करने के लिए भी वादा है कि यह या तो unsatisfiable है या एक अद्वितीय समाधान है के तहत एक कुशल एल्गोरिथ्म हो सकता …

14 np-hardness  np-complete  unique-solution  promise-problems 

"दूसरा " समस्या समस्या के उदाहरण के लिए दिए गए कुछ समाधान से अलग दूसरे समाधान के अस्तित्व को तय करने की समस्या है।एक्सXX कुछ अपूर्ण समस्याओं के लिए, दूसरा समाधान संस्करण N P -complete (आंशिक लैटिन वर्ग पूर्णता समस्या के लिए किसी अन्य समाधान के अस्तित्व का निर्णय लेना) …

11 cc.complexity-theory  unique-solution