polynomial-time पर टैग किए गए जवाब

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

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

मैं निरंतर अनुकूलन साहित्य और टीसीएस साहित्य से उलझन में हूं कि किस प्रकार के (निरंतर) गणितीय कार्यक्रमों (एमपी) को कुशलता से हल किया जा सकता है, और जो नहीं कर सकते। निरंतर अनुकूलन समुदाय का दावा है कि सभी उत्तल कार्यक्रमों को कुशलता से हल किया जा सकता है, …

31 ds.algorithms  optimization  linear-programming  semidefinite-programming  polynomial-time 

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

30 cc.complexity-theory  linear-algebra  linear-programming  semidefinite-programming  polynomial-time 

निम्नलिखित समस्या के लिए एक नियतात्मक बहुपद-समय एल्गोरिथ्म ज्ञात है: इनपुट: एक प्राकृतिक संख्या (बाइनरी एन्कोडिंग में)nnn आउटपुट: एक अभाज्य संख्या ।p>np>np > n (लियोनार्ड एडलमैन द्वारा खुली समस्याओं की एक सूची के अनुसार, समस्या 1995 में खुली थी।)

25 cc.complexity-theory  open-problem  nt.number-theory  polynomial-time  primes 

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

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

क्या पी में कोई प्राकृतिक समस्या है जिसके लिए सबसे अच्छा ज्ञात समय बाउंड फॉर्म , जहां α एक अपरिमेय स्थिरांक है?O(nα)O(nα)O(n^\alpha)αα\alpha

21 cc.complexity-theory  time-complexity  polynomial-time 

पर विचार करें भाषा ।EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} यह ज्ञात है कि को किसी भी सबलोगैरिथिक-स्पेस अल्टरनेटिंग ट्यूरिंग मशीन (ATM) (Szepietowski, 1994) द्वारा मान्यता नहीं दी जा सकती है । (सदस्यों के लिए सबलोगेरथमिक स्पेस का उपयोग करने वाला एक एटीएम है, लेकिन सभी …

21 space-bounded  polynomial-time 

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

21 ds.algorithms  reference-request  linear-programming  integer-programming  polynomial-time 

लेज़्ज़्लो बाबई ने हाल ही में साबित किया कि ग्राफ़ आइसोमोर्फिज्म समस्या क्वासिपोलिनोमियल समय में है । भी अपने देखें बात शिकागो विश्वविद्यालय में, जेरेमी कुन द्वारा वार्ता से टिप्पणी GLL पोस्ट 1 , GLL पद 2 , GLL पोस्ट 3 । Ladner की प्रमेय के मुताबिक, अगर P≠NPP≠NPP \neq …

21 cc.complexity-theory  complexity-classes  np-complete  polynomial-time  np-intermediate 

मैं एक विशेष समस्या को हल करने की कोशिश कर रहा हूं, और मैंने सोचा कि मैं इसे ऑटोमेटा सिद्धांत का उपयोग करके हल करने में सक्षम हो सकता हूं। मैं सोच रहा हूँ, बहुपद समय में ऑटोमेटा के कौन से मॉडल निर्णायक हैं? यानी अगर आप मशीन है आप …

18 fl.formal-languages  automata-theory  time-complexity  polynomial-time  decidability 

चक्र समस्या इस प्रकार है:kkk उदाहरण: अप्रत्यक्ष ग्राफ़ , कोने के साथ और n \ n 2 किनारों तक।GGGnnn(n2)(n2)n \choose 2 प्रश्न: क्या जी में एक (उचित) kkk चक्र मौजूद है ?GGG पृष्ठभूमि: किसी भी निश्चित kkk , हम 2k2k2k -cycle को O(n2)O(n2)O(n^2) समय में हल कर सकते हैं । …

15 graph-theory  graph-algorithms  clique  polynomial-time  fixed-parameter-tractable 

यदि कोई लॉगस्पेस ट्यूरिंग मशीन मौजूद है जो भाषा में सलाह की बहुपद राशि के साथ भाषा तय करती है तो एक भाषा ।L/polyL/polyL/poly अधिक जानकारी के लिए यहां देखें: https://en.wikipedia.org/wiki/L/poly सवाल के परिणाम क्या हैं ?P⊆L/polyP⊆L/polyP \subseteq L/poly

14 cc.complexity-theory  circuit-complexity  polynomial-time  advice-and-nonuniformity  logspace 

लेम्मा: एटा-समतुल्यता मानकर हमने ऐसा किया है (\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 

उत्तर: ज्ञात नहीं है। पूछे जाने वाले प्रश्न स्वाभाविक, खुले और स्पष्ट रूप से कठिन हैं; सवाल अब एक सामुदायिक विकि है। अवलोकन प्रश्न जटिलता वर्ग से संबंधित भाषाओं को विभाजित करने का प्रयास करता है - साथ में निर्णय के साथ ट्यूरिंग मशीन (TMs) जो इन भाषाओं को स्वीकार …

14 cc.complexity-theory  polynomial-time  undecidability  independence 

हम किसी दिए गए सामान्य बूलियन फॉर्मूला (CNF-SAT), एक दिए गए DNF फॉर्मूला, या यहां तक ​​कि दिए गए 2SAT फॉर्मूला में एक # पी-पूर्ण समस्या है , संतोषजनक संख्या की गणना की समस्या को जानते हैं । अब, CNF-SAT पर कोई नकारात्मक शाब्दिक (no negative , हमेशा ) के …

13 sat  counting-complexity  polynomial-time  monotone