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

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

14 cc.complexity-theory  np-hardness 

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

14 cc.complexity-theory  reference-request  soft-question  big-picture 

क्या कोई प्रमुख परिणाम होगा यदि सैट में अधिकांश उपसंचाई-संबंधी असंगत साक्ष्य थे या उससे भी अधिक दृढ़ता से, सैट के पास सब-प्रोनोटेंशियल-टाइम एल्गोरिदम थे?

14 cc.complexity-theory  sat  proof-complexity 

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

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

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

13 cc.complexity-theory  lo.logic 

Adleman 1978 में पता चला है कि : एक बूलियन समारोह अगर की चर आकार के एक संभाव्य बूलियन सर्किट से गणना की जा सकती , तो भी एक नियतात्मक द्वारा गणना की जा सकती और में आकार बहुपद का बूलियन सर्किट ; वास्तव में, आकार । BPP⊆P/polyBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly}fffnnnMMMfffMMMnnnO(nM)O(nM)O(nM) सामान्य …

13 cc.complexity-theory  circuit-complexity  randomized-algorithms  derandomization  arithmetic-circuits 

लांस फोर्टेन ने हाल ही में दावा किया है कि एल! = एनपी पी साबित करने से आसान होना चाहिए! = एनपी : लॉगरिदमिक स्पेस से एनपी को अलग करें। मैंने 2001 के पूर्व- सर्वेक्षण में विकर्णीकरण (धारा 3) पर चार दृष्टिकोण दिए थे, हालांकि किसी ने भी बाहर नहीं …

13 cc.complexity-theory  reductions  relativization 

मैं खोज रहा हूँ: माइकल ओ। राबिन, "एक समारोह की गणना की कठिनाई की डिग्री, और पुनरावर्ती सेटों का आंशिक आदेश", हिब्रू विश्वविद्यालय, यरूशलेम, 1960 सारांश: “हम किसी दिए गए कम्प्यूटेबल (पुनरावर्ती) फ़ंक्शन की गणना के कार्य में निहित कार्य की मात्रा को मापने का प्रयास करते हैं। कंप्यूटिंग की …

13 cc.complexity-theory  reference-request  ho.history-overview 

हम साबित होता है कि एक चाहते हैं है एन पी -Complete, तो मानक दृष्टिकोण एक ज्ञात का एक बहुपद समय गणना कर सका कई-एक कमी प्रदर्शन करने के लिए है एन पी के -Complete समस्या एल । इस संदर्भ में हमें कमी के चल रहे समय पर कड़े बंधन …

13 cc.complexity-theory  reductions  np-complete 

उस समस्या पर विचार करें, जहां हमें इनपुट एसाइक्लिक ग्राफ 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 

P / Poly बहुपद-आकार बूलियन सर्किट के एक परिवार द्वारा हल की जाने वाली निर्णय समस्याओं का वर्ग है। यह वैकल्पिक रूप से एक बहुपद-समय ट्यूरिंग मशीन के रूप में परिभाषित किया जा सकता है जो एक सलाह स्ट्रिंग प्राप्त करता है जो n में बहुपद है और यह केवल …

13 cc.complexity-theory  complexity-classes  circuit-complexity  polynomial-time  monotone 

क्या एक प्रवाह नेटवर्क में दूसरे सबसे छोटे - t -cut के बारे में कुछ भी ज्ञात है ? या, अधिक सामान्य, इस समस्या के बारे में:रोंssटीtt इनपुट: एक नेटवर्क और एक नंबर k , सभी बाइनरी में। आउटपुट: एक k वें सबसे छोटा s - t कट।एनNNकkkकkkरोंssटीtt एक वें …

13 cc.complexity-theory  optimization  max-flow-min-cut  flow-problems 

एक समूह को देखते हुए जीGG पर क्रमपरिवर्तन की [ n ] = { १ , ⋯ , n }[n]={1,⋯,n}[n]=\{1, \cdots, n\} , और दो वैक्टर यू , वी ∈ गामाnu,v∈Γnu,v\in \Gamma^n जहां ΓΓ\Gamma एक परिमित वर्णमाला जो यहां काफी प्रासंगिक नहीं है, सवाल कुछ वहाँ मौजूद है या नहीं …

13 cc.complexity-theory  graph-isomorphism  permutations 

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

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

-hierarchy जटिलता वर्गों के एक पदानुक्रम है डब्ल्यू [ टी ] पैरामिट्रीकृत जटिलता में, देखने के जटिलता चिड़ियाघर परिभाषा के लिए। एक वैकल्पिक परिभाषा परिभाषित करता है डब्ल्यू [ टी ] के लिए फेगिन definability भारित का उपयोग Π टी प्रथम क्रम तर्क के -formulas, देख Flum और Grohe द्वारा …

13 cc.complexity-theory  parameterized-complexity