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

चलो एक अनिर्दिष्ट ग्राफ हो। को असंबद्ध में अपघटन को को का हैमिल्टन अपघटन कहा जाता है, यदि प्रत्येक सेट से प्रेरित सबग्राफ या तो हैमिल्टन ग्राफ है या जिसमें ।G=(V,E)G=(V,E)G=(V,E)VVVViViV_iGGGViViV_i|Vi|=2|Vi|=2|V_i|=2 उदाहरण : पूरा द्विदलीय ग्राफ पास हैमिल्टन अपघटन है और यदि केवल ।Km,nKm,nK_{m,n}m=nm=nm=n मैं एक एल्गोरिथ्म की तलाश कर …

10 cc.complexity-theory  ds.algorithms  graph-theory  np-hardness  hamiltonian-paths 

सेट S={e1,⋯,en}S={e1,⋯,en}S=\{e_1,\cdots,e_n\} दिया गया है। प्रत्येक तत्व eieie_i , हमारा वजन wi>0wi>0w_i>0 और लागत ci>0ci>0c_i>0 । लक्ष्य सबसेट रही है MMM आकार का kkk है जो निम्न उद्देश्य समारोह को अधिकतम: ∑ei∈Mwi+∑ei∉Mwici∑ei∉Mci∑ei∈Mwi+∑ei∉Mwici∑ei∉Mci\sum_{e_i\in M} w_i + \frac{\sum_{e_i\notin M} w_i c_i}{\sum_{e_i\notin M} c_i} । क्या समस्या एनपी-कठिन है? चूंकि उद्देश्य फ़ंक्शन अजीब …

10 np-hardness  optimization 

एक भाषा कक्षा में है डी पी iff वहाँ दो भाषाएं हैं एल 1 ∈ एन पी और एल 2 ∈ सी ओ एन पी ऐसी है कि एल = एल 1 ∩ एल 2LLLDPDPDPL1∈NPL1∈NPL1 \in NPL2∈coNPL2∈coNPL2 \in coNPL=L1∩L2L=L1∩L2L = L1 \cap L2 एक विहित अपूर्ण समस्या SAT-UNSAT है: दो …

10 cc.complexity-theory  np-hardness  complexity-classes  sat 

Hiroimono एक लोकप्रिय अपूर्ण पहेली है। मुझे संबंधित पहेली की कम्प्यूटेशनल जटिलता में दिलचस्पी है।एनपीNPNP यह समस्या है: इनपुट : x वर्ग ग्रिड और पूर्णांक पर बिंदुओं के एक सेट को देखते हुएn केnnnnnnकkk प्रश्न : क्या एक आयताकार बहुभुज ( या -axis के समानांतर इसके किनारे ) हैं जैसे …

10 cc.complexity-theory  np-hardness  puzzles  integer-lattice 

मान लेंP≠NPP≠NPP \neq NP टेट्रेशन के लिए निम्नलिखित संकेतन उपयोग करें (यानी। )।iaia{}^iaia=aa⋅⋅⋅ai timesia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | X | उदाहरण x का आकार है। L को एक भाषा होने दो,L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|_{f(i)\leq |x| < g(i)} := \{ x \in L \mbox{ | } …

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

एक स्टार सिस्टम एक परिवार है एन-तत्वों सेट की n सबसेट । यदि कोई ग्राफ ऐसा है तो एक तारा प्रणाली ग्राफिकल है जैसे कि में शीर्ष पड़ोस का परिवार है । यह तय करने के लिए अधूरा है कि क्या एक दिया गया तारा प्रणाली चित्रमय है।एफएफFएसएसSजी ( वी, …

10 cc.complexity-theory  np-hardness 

निर्विवाद सेटों के बंधे हुए NPNPNP अपूर्ण संस्करण के उदाहरण : बाउंड हॉल्टिंग समस्या = { | NTM मशीन रुका रहता है और को चरणों में स्वीकार करता है }एम एक्स टी( एम, x , १टी)(M,x,1t)(M, x, 1^t)मMMएक्सxxटीtt बँधी हुई टाइलिंग = { | } से टाइल द्वारा क्षेत्र के …

10 cc.complexity-theory  np-hardness 

समस्या का विवरण : चलो एक (संभावित गैर नियतात्मक) पुशडाउन automaton हो सकता है और जाने होना अपने इनपुट वर्णमाला। क्या कोई शब्द st कि द्वारा स्वीकार किया जाता है ?MMMAA\cal Aw∈A∗w∈A∗w \in \cal A^*|w|≤k|w|≤k|w| \leq kMMM क्या यह समस्या एनपी-पूर्ण है? क्या इसका अध्ययन किया गया है? क्या कोई …

10 cc.complexity-theory  np-hardness  fl.formal-languages  automata-theory 

संभाव्य रूप से जाँच योग्य साक्ष्यों के आकार पर सबसे अधिक ज्ञात असममित ऊपरी सीमाएं क्या हैं? आदर्श रूप से, मैं इस व्यापक प्रश्न पर एक समकालीन सर्वेक्षण की तलाश कर रहा हूं, लेकिन अगर कोई नहीं है, तो मुझे विशेष रूप से 3-SAT की अनुचितता में दिलचस्पी है। 7/8 …

9 cc.complexity-theory  reference-request  np-hardness  pcp 

1991 से एक अच्छा पेपर है जिसमें विभिन्न ग्राफक्लास-परिवारों के बारे में तीन आरेख हैं, जो दिखाते हैं कि उनके लिए रंगीन सूचकांक का निर्धारण करने की कठोरता के बारे में क्या जाना जाता है। क्या तब से इन पर कोई खबर है? मुझे सबसे अधिक दिलचस्पी है कि एक …

9 graph-theory  np-hardness  graph-colouring 

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

9 reference-request  graph-theory  np-hardness  csp  homomorphism 

मानक समस्या 1-इन -3 सैट (या एक्ससैट या एक्स 3 एसएटी ) है: उदाहरण : प्रत्येक 3 खंडों वाले प्रत्येक खंड के साथ एक सीएनएफ फॉर्मूला प्रश्न : क्या एक संतोषजनक असाइनमेंट सेटिंग प्रति 1 खंड प्रति सत्य सही है? समस्या एनपी-पूर्ण है और कोई भी चर नहीं होने पर …

9 cc.complexity-theory  np-hardness  sat 

मुझे आश्चर्य है कि अगर निम्न समस्या एनपी-हार्ड है। इनपुट: एक सरल ग्राफ, और एक रंग किनारों की ( च किसी भी विशिष्ट प्रॉपर्टी को सत्यापित नहीं है)।G=(V,E)G=(V,E)G = (V,E)f:E→{1,2,3}f:E→{1,2,3}f : E \to \{1,2,3\}fff प्रश्न: क्या यह संभव है कि EEE को E |E|/3|E|/3|E|/3 त्रिभुज में विभाजित किया जाए , …

9 graph-theory  np-hardness 

मुझे एक ग्राफ में अधिकतम वजन मिलान के एक संस्करण में दिलचस्पी है, जिसे मैं "अधिकतम मेला मिलान" कहता हूं। मान लें कि ग्राफ भरा हुआ है (यानी ), कोने का भी नंबर है, और है कि वजन एक लाभ समारोह द्वारा दिया जाता है पी: {वी \ चुनें 2} …

9 ds.algorithms  graph-algorithms  np-hardness  matching  bipartite-graphs 

मान लें मेरे पास है कि से लिया तत्वों के साथ सेट संभव वाले। प्रत्येक सेट आकार ( ) का है, जहां सेट ओवरलैप हो सकते हैं। मैं यह निर्धारित करना चाहता हूं कि निम्नलिखित दो समस्याएं एनपी-पूर्ण हैं या नहीं:PPPrrrnnnn&lt;rn&lt;rn<r समस्या ए वहाँ ( ) अलग भीतर सेट सेट …

9 graph-theory  np-hardness