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

हम जानते हैं कि (, अब के बारे में 40 वर्षों के लिए Adleman, बेनेट और गिल धन्यवाद) है कि शामिल किए जाने के बीपीपी ⊆⊆\subseteq पी / पाली, और एक और भी मजबूत बीपीपी / पाली पी / पाली पकड़। "/ पॉली" का अर्थ है कि हम गैर-समान रूप …

16 cc.complexity-theory  circuit-complexity  machine-learning  derandomization 

Savitch की प्रमेय से पता चलता है कि सभी बड़ा पर्याप्त कार्यों के लिए चNSPACE(f(n))⊆DSPACE(f(n)2)NSPACE(f(n))⊆DSPACE(f(n)2)\mathrm{NSPACE}(f(n)) \subseteq \mathrm{DSPACE}(f(n)^2)fff , और साबित करना है कि इस तंग दशकों के लिए एक खुला समस्या रही है है । मान लीजिए हम दूसरे छोर से समस्या का सामना कर रहे हैं। सादगी के लिए, …

16 cc.complexity-theory  automata-theory  space-bounded  space-complexity 

मेरा एक छात्र हाल ही में निम्नलिखित प्रश्न पूछता है: मान लेंवहाँ एक h (n) मौजूद होना चाहिए जैसे कि DTIME (f (n)) \ subsetneq DTIME (h (n)) \ subsetneq DTIME (g (n))?DTIME(f(n))⊊DTIME(g(n)).DTIME(f(n))⊊DTIME(g(n)).DTIME(f(n)) \subsetneq DTIME(g(n)).h(n)h(n)h(n)DTIME(f(n))⊊DTIME(h(n))⊊DTIME(g(n))?DTIME(f(n))⊊DTIME(h(n))⊊DTIME(g(n))?DTIME(f(n)) \subsetneq DTIME(h(n)) \subsetneq DTIME(g(n))? यह संभवत: एच (एन) का निर्माण करके सच दिखाया जा सकता …

16 cc.complexity-theory 

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

16 cc.complexity-theory  turing-machines  ct.category-theory 

जटिलता वर्ग और के जोड़े के कुछ उदाहरण क्या हैं जैसे किAAABBB हम नहीं जानते कि क्या , औरA=BA=BA=B हम विरोधाभासी सापेक्षताओं को नहीं जानते (या तो, हम और नहीं जानते हैं कि और )?PPPQQQAP=BPAP=BPA^P = B^PAQ≠BQAQ≠BQA^Q \ne B^Q प्रश्न को दूसरे तरीके से वाक्यांश करने के लिए, हेयुरिस्टिक के …

16 cc.complexity-theory  complexity-classes  relativization 

मैंने पढ़ा है कि पूर्णांक प्रोग्रामिंग रैखिक polynominal समय में व्याख्या करने योग्य है अगर संख्या चर का तय हो गई है, यानी एन ∈ हे ( 1 ) । चर की संख्या लघुगणकीय बढ़ता है, यानी एन ∈ हे ( लॉग ऑन 2 ( एन ) ) आकार के …

16 cc.complexity-theory  np  open-problem 

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

16 cc.complexity-theory  reference-request  cr.crypto-security  lg.learning  boolean-functions 

क्या में NP ?DTIME(npolylogn)DTIME(npolylog⁡n)DTIME(n^{poly\log n})

16 cc.complexity-theory  complexity-classes 

पदानुक्रम प्रमेय मूलभूत उपकरण हैं। उनमें से एक अच्छी संख्या पहले के प्रश्न में एकत्र की गई थी (देखें कि पदानुक्रम और / या पदानुक्रम प्रमेय क्या आप जानते हैं? )। कुछ जटिलता वर्ग अलगाव सीधे पदानुक्रम प्रमेयों से आते हैं। ऐसे प्रसिद्ध अलगाव के उदाहरण: ,L≠PSPACEL≠PSPACEL\neq PSPACEP≠EXPP≠EXPP\neq EXP , …

16 cc.complexity-theory  complexity-classes  hierarchy-theorems 

अस्पष्ट परिमित ऑटोमेटन (UFA) विशेष प्रकार के गैर-नियतात्मक परिमित ऑटोमेटन (NFA) हैं। एक NFA कहा जाता है स्पष्ट करता है, तो हर शब्द अधिकतम एक बार स्वीकार कर मार्ग होता है।डब्ल्यू ∈ Σ*w∈Σ*w\in \Sigma^* इसका मतलब यह है ।डी एफA ⊂ यूएफA ⊂ एनएफएडीएफए⊂यूएफए⊂एनएफएDFA\subset UFA\subset NFA ज्ञात संबंधित ऑटोमेटन परिणाम: …

16 cc.complexity-theory  fl.formal-languages  automata-theory  regular-language 

मैं उन समस्याओं की तलाश कर रहा हूं, जिन्हें निर्देशित ग्राफ़ के लिए एनपीसी जाना जाता है, लेकिन अप्रत्यक्ष ग्राफ़ के लिए एक बहुपद एल्गोरिथ्म है। मैंने यहाँ "डाइरेक्टेड" समस्याओं के बारे में अन्य तरीकों के बारे में प्रश्न देखा है जो उनके "अप्रत्यक्ष" संस्करण की तुलना में आसान हैं …

16 cc.complexity-theory  ds.algorithms  graph-theory  graph-algorithms  np-hardness 

गोवर्स ने हाल ही में एक समस्या को रेखांकित किया है, जिसे वे "विवेकीकृत बोरेल निर्धारकता" कहते हैं, जिसका समाधान सर्किट कम सीमा साबित करने से संबंधित है। क्या आप उस दृष्टिकोण का सारांश प्रदान कर सकते हैं जो जटिलता सिद्धांतकारों के दर्शकों के अनुरूप है? कुछ भी साबित करने …

16 cc.complexity-theory  p-vs-np 

गैर-ऋणात्मक पूर्णांकों में रैखिक डायोफैंटीन समीकरण को हल करने की एनपी-पूर्ण समस्या पर केवल बहुत कम जानकारी मुझे मिल सकती है। यह कहना है, क्या गैर-नकारात्मक में एक समाधान है । । । , X n समीकरण को एक 1 एक्स 1 + एक 2 x 2 + । । …

16 cc.complexity-theory  reference-request  np-hardness  counting-complexity 

असतत लघुगणक के लिए अर्ध-बहुपद एल्गोरिथ्म का दावा करते हुए एक नया पेपर सामने आया। http://arxiv.org/abs/1306.4244 यदि सही है, तो क्या इसका मतलब है कि अब हमारे पास असतत लघुगणक समस्या के लिए एक शास्त्रीय एल्गोरिथ्म की जटिलता और इसके क्वांटम संस्करण में एक घातीय पृथक्करण नहीं है? क्या इसका …

16 cc.complexity-theory 

n × nn×nn\times nलॉग2( एन )लॉग2⁡(n)\log^2(n)1111 / पाली∥ एक ∥ ≤ 1‖ए‖≤1\left\|A\right\|\leq 11 / पाली1/पाली1/\text{poly} इस संबंध में, "सही" अनुमान लगाने के लिए क्या होगा - गुणात्मक या योगात्मक? (नीचे दिए गए उत्तरों में से एक देखें)।

16 determinant  cc.complexity-theory