np-hardness पर टैग किए गए जवाब

निम्नलिखित समस्या की जटिलता क्या है? इनपुट : एचHH में एक हैमिल्टन मार्गकnKnK_n आर ⊆ [ एन ]2R⊆[n]2R \subseteq [n]^2 के जोड़े का एक उपसमूह एक धनात्मक पूर्णांककkk क्वेरी : वहाँ एक है मिलान ऐसी है कि हर एक के लिए , ? (जहां )( वी , यू ) ∈ …

14 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  np-complete 

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

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

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

14 graph-algorithms  np-hardness  treewidth  parameterized-complexity  fixed-parameter-tractable 

लेम्मा: एटा-समतुल्यता मानकर हमने ऐसा किया है (\x -> ⊥) = ⊥ :: A -> B। प्रमाण: ⊥ = (\x -> ⊥ x)एटा-समतुल्यता (\x -> ⊥ x) = (\x -> ⊥)द्वारा , और लंबोदर के तहत कमी द्वारा। हास्केल 2010 की रिपोर्ट, खंड 6.2 seqफ़ंक्शन को दो समीकरणों द्वारा निर्दिष्ट …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

जैसा कि सभी जानते हैं, SAT wrt बहुपद-समय-कई-एक कटौती के लिए पूर्ण है। यह अभी भी पूरा है wrt कई-एक कटौती।NPNP\mathsf{NP}AC0AC0\mathsf{AC^0} मेरा सवाल यह है कि कटौती के लिए न्यूनतम आवश्यक गहराई क्या है? अधिक औपचारिक रूप से, कम से कम क्या है ऐसी है कि सैट है -हार्ड wrt …

14 cc.complexity-theory  reference-request  np-hardness  circuit-complexity  reductions 

सबसे लंबे समय तक मैंने सोचा है कि एक समस्या एनपी-पूर्ण थी यदि यह एनपी-हार्ड (एनपी) दोनों है और (2) एनपी में है। हालांकि, प्रसिद्ध पेपर "द एलीपोसिड विधि और इसके परिणाम में कॉम्बीनेटरियल ऑप्टिमाइज़ेशन" , लेखकों का दावा है कि आंशिक रंगीन संख्या समस्या एनपी से संबंधित है और …

14 cc.complexity-theory  np-hardness  complexity-classes  terminology 

क्या सबसेट सम या संख्या विभाजन समस्या का एक उदाहरण सांकेतिक शब्दों में बदलना है ताकि पूर्णांक संबंध का एक छोटा (छोटा) समाधान एक उत्तर देता है? यदि निश्चित रूप से नहीं, तो कुछ संभाव्य अर्थों में? मुझे पता है कि LLL (और शायद PSLQ) का उपयोग 'कम-घनत्व' क्षेत्र में …

14 cc.complexity-theory  np-hardness  approximation-algorithms  reductions  subset-sum 

यह एक नाम है जिसे मैंने इस समस्या के लिए बनाया है। मैंने पहले कहीं भी इसका वर्णन नहीं देखा है। मैं अभी तक इस समस्या के लिए न तो एनपी-पूर्णता और न ही एक बहुपद समय एल्गोरिथ्म का प्रमाण नहीं पा सका हूं। यह एक होमवर्क समस्या नहीं है …

14 cc.complexity-theory  np-hardness 

को देखते हुए एक परिमित एक automaton और एक सीमा (नियतात्मक या गैर नियतात्मक, मैं इस बहुत महत्व है नहीं लगता है) n , एक एक शब्द ज्यादा से ज्यादा युक्त स्वीकार करता है n अलग पत्र? (तक कश्मीर विभिन्न पत्र मेरा मतलब है कि aabaa दो अलग-अलग पत्र, है …

13 cc.complexity-theory  np-hardness  automata-theory 

ट्रेविथ एक महत्वपूर्ण ग्राफ पैरामीटर है जो इंगित करता है कि एक ग्राफ एक पेड़ होने से कितना करीब है (हालांकि सख्त टोपोलॉजिकल अर्थ में नहीं)। यह सर्वविदित है कि ट्रेविद की गणना एनपी-हार्ड है। क्या रेखांकन की कोई प्राकृतिक कक्षाएं हैं जहां ट्रेविद की गणना मुश्किल है? इसी तरह: …

13 graph-theory  np-hardness  polynomial-time  treewidth 

रैखिक समीकरणों की एक प्रणाली के लिए सबसे मुश्किल समाधान खोजना कितना कठिन है? अधिक औपचारिक रूप से, निम्नलिखित निर्णय समस्या पर विचार करें: उदाहरण: पूर्णांक गुणांक और संख्या साथ रैखिक समीकरणों की एक प्रणाली ccc। प्रश्न: क्या शून्य के लिए कम से कम ccc चर के साथ प्रणाली का …

13 np-hardness  linear-algebra  linear-programming  matrices  sparse-matrix 

उस समस्या पर विचार करें, जहां हमें इनपुट एसाइक्लिक ग्राफ G=(V,E)G=(V,E)G = (V, E) , V से एक लेबलिंग फ़ंक्शन λλ\lambda है जो कुल ऑर्डर < L (उदाहरण के लिए, पूर्णांक) के साथ कुछ सेट L पर है , और जहां हमें पूछा जाता है λ के संदर्भ में लेक्सिकोग्राफिक …

13 cc.complexity-theory  np-hardness  sorting  directed-acyclic-graph  order-theory 

वीडियोगेम निबलर और स्नेक की जटिलता पर एक छोटी सी पोस्ट लिखते समय ; मैंने पाया कि वे दोनों प्लानर रेखांकन पर पुनर्संरचना समस्याओं के रूप में तैयार किए जा सकते हैं; और ऐसा लगता है कि गति नियोजन क्षेत्र में ऐसी समस्याओं का अच्छी तरह से अध्ययन नहीं किया …

13 cc.complexity-theory  reference-request  np-hardness  planar-graphs 

विस्तारशीलता की समस्या में, हमें समाधान का हिस्सा दिया जाता है और हम यह तय करना चाहते हैं कि क्या हम इसे पूर्ण समाधान तक बढ़ा सकते हैं। कुछ एक्सपेंडेबिलिटी समस्याएं कुशलता से हल करने योग्य हैं, जबकि अन्य एक्सपेंडेबिलिटी समस्याएं एक आसान समस्या को कठिन में बदल देती हैं। …

13 cc.complexity-theory  reference-request  graph-theory  np-hardness 

कुछ समय पहले, मैंने ग्राफ़ की समस्याओं के लिए एक संदर्भ अनुरोध पोस्ट किया था, जहां हम किनारों के 2-विभाजन को ढूंढना चाहते हैं, जहां दोनों सेट एक संपत्ति को पूरा करते हैं जो उनकी कार्डिनैलिटी से संबंधित नहीं है। मैं यह साबित करने की कोशिश कर रहा था कि …

13 np-hardness  reductions