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

नॉर्बर्ट ब्लम ने हाल ही में एक 38-पेज का सबूत पोस्ट किया है जो । क्या यह सही है?P≠NPP≠NPP \ne NP विषय पर भी: कहां (इंटरनेट पर) इसकी शुद्धता पर चर्चा की जा रही है? नोट: इस प्रश्न पाठ का ध्यान समय के साथ बदल गया है। विवरण के लिए …

232 cc.complexity-theory  np-hardness  complexity-classes 

फैक्टरिंग और ग्राफ समरूपता एनपी में समस्याएं हैं जो पी में नहीं जानी जाती हैं और न ही एनपी-पूर्ण होने के लिए। इस संपत्ति को साझा करने वाली कुछ अन्य (पर्याप्त रूप से अलग) प्राकृतिक समस्याएं क्या हैं? लडनेर के प्रमेय के प्रमाण से सीधे आने वाले कृत्रिम उदाहरणों की …

128 cc.complexity-theory  np-hardness  big-list  np-intermediate 

मैं वर्तमान में एक स्नातक छात्र हूं, इस वर्ष स्नातक होने के लिए बाध्य हूं। स्नातक होने के बाद, मैं एक टीसीएस मास्टर / पीएचडी की दिशा में काम करने पर विचार कर रहा हूं। मैंने यह सोचना शुरू कर दिया है कि गणित के किन क्षेत्रों को TCS के …

79 cc.complexity-theory  soft-question  advice-request 

गणितज्ञ कभी-कभी Axiom of Choice (AC) और Axiom of निर्धारक (AD) के बारे में चिंता करते हैं। पसंद की स्वयंसिद्ध : किसी भी संग्रह को देखते हुए सेट nonempty की, वहाँ एक समारोह है एक सेट दिया है कि, में , के एक सदस्य रिटर्न । एफ एस सी एससीC{\cal …

67 cc.complexity-theory  lo.logic  pl.programming-languages  big-picture  set-theory 

वर्तमान में, बड़े इनपुट के लिए सामान्य स्थिति में NPNPNP -complete समस्या या PSPACEPSPACEPSPACE -complete समस्या को हल करना संभव है। हालांकि, दोनों घातीय समय और बहुपद स्थान में विलेय हैं। चूँकि हम nondeterministic या 'lucky' कंप्यूटर बनाने में असमर्थ हैं, तो क्या इससे हमें कोई फ़र्क पड़ता है अगर …

66 cc.complexity-theory  np-hardness  big-picture 

मैं ऐसे बहुत से परिणामों से परिचित हूं जो PCP प्रमेय (मुख्य रूप से एल्गोरिदम का अनुमान ) का उपयोग करते हैं, लेकिन मुझे PCP प्रमेय (यानी, उस स्पष्ट विवरण नहीं आया है )।NP=PCP(O(log(n)),O(1))NP=PCP(O(log⁡(n)),O(1))\mathsf{NP} = \mathsf{PCP}(O(\log(n)),O(1)) उसके लिए पढ़ने के लिए अच्छे पेपर / किताबें क्या हैं?

64 cc.complexity-theory  reference-request  pcp 

यह सवाल पूछा गया है कि क्या निम्नलिखित प्रश्न निर्णायक है: समस्या एक पूर्णांक और ट्यूरिंग मशीन को P में दिए जाने का वादा करते हुए, इनपुट लंबाई संबंध में का रनटाइम है ?M M O ( n k ) nkkkMMMMMM O(nk)O(nk){O}(n^k)nnn "हां", "नहीं", या "खुला" का एक संकीर्ण उत्तर …

64 cc.complexity-theory  approximation-hardness 

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

63 cc.complexity-theory  counting-complexity  derandomization  relativization 

मैं समस्याओं के उदाहरणों की तलाश कर रहा हूं, जो संख्या , जहां समस्या की कठोरता में गैर-मोनोटोनिक है । अधिकांश समस्याओं (मेरे अनुभव में) का एकल चरण संक्रमण है, उदाहरण के लिए -SAT का (जहां समस्या P में है) से (जहां तक ) में एकल चरण संक्रमण है समस्या …

60 cc.complexity-theory  np-hardness  big-list  phase-transition 

यह सवाल कुछ ऐसा है जिसके बारे में मैंने कुछ समय के लिए सोचा है। जब लोग पी बनाम एनपी समस्या का वर्णन करते हैं, तो वे अक्सर कक्षा एनपी की रचनात्मकता से तुलना करते हैं। वे ध्यान दें कि मोजार्ट-क्वालिटी सिम्फनी (एनपी कार्य के अनुरूप) की रचना यह सत्यापित …

59 cc.complexity-theory  complexity-classes  soft-question 

एक नई समस्या के लिए एक एल्गोरिथ्म डिजाइन करते समय, अगर मुझे थोड़ी देर बाद एक बहुपद समय एल्गोरिथ्म नहीं मिल रहा है, तो मैं यह साबित करने की कोशिश कर सकता हूं कि इसके बजाय एनपी-हार्ड है। यदि मैं सफल होता हूं, तो मैंने समझाया है कि मैं बहुपद …

58 cc.complexity-theory  lower-bounds  conditional-results 

मैं बहुपद एल्गोरिथ्म में आया हूं जो 2SAT को हल करता है। मुझे पता चला है कि 2SAT P में है जहां SAT उदाहरणों के सभी (या कई अन्य) NP-Complete हैं। इस समस्या को क्या अलग बनाता है? क्या यह इतना आसान बनाता है (एनएल-पूर्ण - पी से भी आसान)?

55 cc.complexity-theory  np-hardness  big-picture  polynomial-time 

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

54 cc.complexity-theory  counting-complexity  big-picture 

में वर्णनात्मक जटिलता , Immerman है कोरोलरी 7.23। निम्नलिखित स्थितियां समतुल्य हैं: 1. पी = एनपी। 2. ओवरनाइट, ऑर्डर की गई संरचनाएं, एफओ (एलएफपी) = एसओ। इसे "जटिलता" पी = एनपी के रूप में माना जा सकता है कि यह एक बड़े पैमाने पर जटिलता वर्गों के बराबर बयान (संभवतः) …

54 cc.complexity-theory  reference-request  complexity-classes  conditional-results  polynomial-hierarchy 

यह इस साइट पर मेरा पहला सवाल है। मैं गणना के सिद्धांत पर एक मास्टर पाठ्यक्रम ले रहा हूं। आप 10 साल के बच्चे को पी = एनपी समस्या कैसे समझाएंगे और उस पर ऐसा मौद्रिक इनाम क्यों है? अपने ले? मैं सवाल को अपडेट करूंगा क्योंकि मेरा सिर इसके …

54 cc.complexity-theory  soft-question  teaching  p-vs-np