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

यह ज्ञात है कि यह परीक्षण करने के लिए एनपी-पूर्ण है कि क्या एक हैमिल्टनियन चक्र 3-नियमित ग्राफ में मौजूद है, भले ही वह प्लेनर (गैरी, जॉनसन, और टारजन, सियाम जे। कंपट 1976) हो या द्विदलीय (अकीयामा, निसीज़की)। और सैटो, जे। इंफो। प्रोक। 1980) या यह परखने के लिए कि …

24 graph-theory  np-hardness  hamiltonian-paths 

क्या कोई एनपी-पूर्ण समस्याएं हैं जिनके लिए एक एल्गोरिथ्म ज्ञात है कि अपेक्षित चलने का समय बहुपद है (उदाहरणों पर कुछ समझदार वितरण के लिए)? यदि नहीं, तो क्या ऐसी समस्याएं हैं जिनके लिए इस तरह के एक एल्गोरिथ्म का अस्तित्व स्थापित किया गया है? या इस तरह के एक …

24 cc.complexity-theory  np-hardness 

एक निरंतर के लिए , एक रेखीय समय में निर्धारित कर सकते हैं, एक इनपुट ग्राफ को देखते हुए क्या उसके, treewidth है । हालांकि, जब और दोनों को इनपुट के रूप में दिया जाता है, तो समस्या एनपी-हार्ड है। ( स्रोत ) जीk∈Nk∈Nk \in \mathbb{N}GGGकश्मीर जी≤k≤k\leq kkkkGGG हालांकि, जब …

23 reference-request  graph-theory  np-hardness  open-problem  treewidth 

स्पष्ट रूप से CLIQUE से k-Color में कमी है क्योंकि वे दोनों NP- पूर्ण हैं। वास्तव में, मैं CLIQUE से 3-SAT में कमी करके 3-SAT से k- रंग में कमी करके एक का निर्माण कर सकता हूं। मैं सोच रहा हूँ कि क्या इन समस्याओं के बीच एक उचित प्रत्यक्ष …

23 cc.complexity-theory  graph-theory  np-hardness  reductions 

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

23 cc.complexity-theory  np-hardness  planar-graphs  hamiltonian-paths 

यह प्रश्न एक उत्तर से संबंधित है जिसे मैंने दूसरे प्रश्न के उत्तर में पोस्ट किया है। 3-विभाजन समस्या निम्न समस्या है: उदाहरण : सकारात्मक पूर्णांक 1 , ..., n , जहां n = 3m और n पूर्णांकों का योग mB के बराबर है, जैसे कि प्रत्येक i , B …

23 cc.complexity-theory  np-hardness 

मुझे ओवरलैप के बिना उत्तल (2 आयामी) बहुभुज में (2 आयामी) आयतों की समान प्रतियों को पैक करने की समस्या में दिलचस्पी है। मेरी समस्या में आपको आयतों को घुमाने की अनुमति नहीं है और यह मान सकते हैं कि वे कुल्हाड़ियों के साथ समानांतर रूप से उन्मुख हैं। आपको …

23 reference-request  np-hardness  cg.comp-geom  optimization  packing 

मैं एक वर्णमाला पर एक नियमित भाषा को ठीक करता हूं , और मैं निम्नलिखित समस्या पर विचार करता हूं जिसे मैं लिए समयबद्धन पत्र कहता हूं । अनौपचारिक रूप से, इनपुट मुझे अक्षर और प्रत्येक अक्षर के लिए एक अंतराल (यानी, एक न्यूनतम और अधिकतम स्थिति) देता है, और …

23 cc.complexity-theory  np-hardness  automata-theory  regular-language  scheduling 

नहीं सभी समान -SAT समस्या (NAE -SAT), एक सेट दिया एक सेट से अधिक खंड की बूलियन चर की ऐसी है कि प्रत्येक खंड पर नहीं है शाब्दिक, पूछता है ऐसी है कि चर का एक सच काम वहाँ मौजूद है या नहीं प्रत्येक क्लॉज में कम से कम एक …

23 cc.complexity-theory  reference-request  np-hardness  polynomial-time 

चर होने दें । दो चरों के बीच की दूरी को रूप में परिभाषित किया गया है । दो शाब्दिक के बीच की दूरी संगत दो चर के बीच की दूरी है।x1,x2,x3...xnx1,x2,x3...xnx_1 , x_2 , x_3 ... x_nd(xa,xb)=|a−b|d(xa,xb)=|a−b|d(x_a , x_b) = |a-b| मान लीजिए कि मेरे पास 3-सैट का उदाहरण …

22 np-hardness  sat 

में इस सूत्र , Norbet ब्लम का प्रयास सबूत संक्षेप टिप्पण Tardos समारोह प्रमेय 6 की एक प्रति है कि ने खारिज कर रहा है।P≠NPP≠NPP \neq NP प्रमेय 6 : Let किसी भी एक लय बूलियन समारोह हो। मान लें कि एक CNF-DNF-सन्निकट A है जिसका उपयोग C m ( …

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

कई एल्गोरिदमिक ग्राफ़ समस्याओं को बहुपत्नी समय में अनलोड और वेटेड ग्राफ़ दोनों पर हल किया जा सकता है। कुछ उदाहरण सबसे छोटे पथ, न्यूनतम फैले हुए वृक्ष, सबसे लंबे पथ (निर्देशित चक्रीय रेखाचित्रों में), अधिकतम प्रवाह, न्यूनतम कट, अधिकतम मिलान, इष्टतम arborescence, कुछ घनीभूत सबग्राफ समस्याएं, अधिकतम असंतुष्ट निर्देशित …

22 cc.complexity-theory  graph-algorithms  np-hardness 

क्यूबिक ग्राफ़ वे ग्राफ़ होते हैं जहाँ हर वर्टेक्स की डिग्री होती है। 3. उनका बड़े पैमाने पर अध्ययन किया गया है और मुझे पता है कि कई एनपी-हार्ड समस्याएँ एनपी-हार्ड बनी रहती हैं, यहाँ तक कि क्यूबिक ग्राफ़ के उपवर्गों तक भी सीमित हैं, लेकिन कुछ अन्य लोगों को …

22 graph-theory  graph-algorithms  np-hardness 

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

22 cc.complexity-theory  graph-theory  np-hardness 

यदि कोई समस्या एनपी-हार्ड (बहुपद समय में कटौती का उपयोग करके) है, तो क्या इसका मतलब यह है कि यह पी-हार्ड (लॉग स्पेस या एनसी कटौती का उपयोग करके) है? यह सहज लगता है कि अगर यह एनपी में किसी भी समस्या के रूप में उतना ही कठिन है कि …

22 cc.complexity-theory  np-hardness