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

क्या अनुकूलन समस्याओं के ऑनलाइन समकक्षों से युक्त कोई जटिलता वर्ग ज्ञात है? यदि नहीं, तो ऐसे वर्ग को कैसे परिभाषित किया जा सकता है? हम जानते हैं कि कई समस्याओं का अपना ऑनलाइन संस्करण है: उदाहरण के लिए बिन पैकिंग समस्या का ऑनलाइन संस्करण। ऑनलाइन समस्याएं कठिन हैं क्योंकि …

10 cc.complexity-theory  complexity-classes 

मुझे यह जानकर आश्चर्य होता है कि एनपीआई में विपरित भाषा (यहाँ तक कि विलंबित डायगनोलाइज़ेशन द्वारा निर्मित) भी हैं, इस धारणा के तहत कि ।पी≠ एनपीP≠NPP \neq NP

10 cc.complexity-theory  complexity-classes 

अयोग्य जनरेटर को निम्नानुसार परिभाषित किया गया है: आज्ञा देना एक NP संबंध है, और M एक मशीन है जो L ( R ) को स्वीकार करता है । अनौपचारिक रूप से, एक कार्यक्रम एक है अभेद्य जनरेटर है, पर इनपुट 1 एन , यह उदाहरण के गवाह जोड़े का …

10 cc.complexity-theory  cr.crypto-security  oracles  relativization  kolmogorov-complexity 

मान लें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 

मुझे एनपी-पूर्ण समस्याओं के "कठिन" व्यक्तिगत उदाहरणों में दिलचस्पी है। रेयान विलियम्स ने रिचर्ड लिप्टन के ब्लॉग पर SAT0 समस्या पर चर्चा की । SAT0 पूछता है कि क्या किसी SAT उदाहरण में विशिष्ट समाधान है जिसमें सभी 0 हैं। यह मुझे ऐसे SAT उदाहरणों के निर्माण के बारे में …

10 cc.complexity-theory  sat  hard-instances 

क्या हमारे पास औसत वर्गीय जटिलता के संबंध में जटिलता वर्ग हैं? उदाहरण के लिए, क्या समस्याओं के लिए (नामित) जटिलता वर्ग है जो तय करने के लिए अपेक्षित बहुपद समय लेता है? एक और सवाल सबसे अच्छा मामला जटिलता पर विचार करता है, नीचे दिया गया है: क्या (प्राकृतिक) …

10 cc.complexity-theory  complexity-classes 

एक फ़ंक्शन दिखाएं जो अंतरिक्ष-निर्माण योग्य है लेकिन समय-कब्जीय नहीं है।च( एन )f(n)f(n) क्या यह समस्या जटिलता वर्गों DTIME (f (n)) और SPACE (f (n)) के बीच संभावित अलगाव से संबंधित है?

10 cc.complexity-theory  space-bounded  separation 

एक स्टार सिस्टम एक परिवार है एन-तत्वों सेट की 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 

BPP / रैखिक द्वारा मैं रैखिक सलाह के साथ BPP मशीनों को संदर्भित करता हूं, जो "सही" सलाह दिए जाने पर वादा पूरा करता है, और व्युत्पन्नता हमें, एक पी / रैखिक या (SUBEXP / रैखिक) एल्गोरिथ्म कहना चाहिए। यदि हम गैर-समान धारणाओं का उपयोग करते हैं, तो मुझे लगता …

10 cc.complexity-theory  derandomization  advice-and-nonuniformity 

क्या सबूत नहीं है कि ?सी ओ आर पी≠ एनपीसीओआरपी≠एनपीcoRP \neq NP भाषाओं का वह वर्ग है जिसके लिए एक संभाव्य ट्यूरिंग मशीन मौजूद होती है जो बहुपद समय में चलती है और हमेशा भाषा से संबंधित इनपुट पर हां का जवाब देती है और जवाब देती है कि संभाव्यता …

10 cc.complexity-theory  complexity-classes 

क्या यह संभव है (स्लैश आप एक उदाहरण प्रदान कर सकते हैं) एक समानांतर एल्गोरिथ्म का उपयोग करके किसी समस्या की कम्प्यूटेशनल जटिलता को कम करने के लिए जो इनपुट आकार के सापेक्ष कई प्रोसेसर की आवश्यकता नहीं है?

10 cc.complexity-theory  dc.parallel-comp 

यह 70 के दशक की शुरुआत से ही जाना जाता है एन पीNP{\bf NP} तथा ई =डीटीमैंमइ(2ओ ( एन ))E=DTIME(2O(n)){\bf E}=DTIME(2^{O(n)}) बराबर नहीं हैं (क्योंकि इE{\bf E} इसके विपरीत बहुपद-काल-एक-एक में कमी नहीं है एन पीNP{\bf NP})। जहां तक ​​मुझे पता है, हालांकि, यह अभी भी खुला है कि क्या …

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

यह अज्ञात है कि या , जहाँपी⊆ सीएसएलपी⊆सीएसएलP\subseteq CSLपी⊈ सीएसएलपी⊈सीएसएलP\not\subseteq CSL पीपीP एक नियतात्मक ट्यूरिंग मशीन पर बहुपद समय में सभी भाषाओं का एक सेट है, और सीएसएलसीएसएलCSL प्रसंग-संवेदी भाषाओं का वर्ग है, जिसे NSPACE (O (n)) के समतुल्य माना जाता है एनएसपीA सीइ( ओ ) ( एन )एनएसपीएसीइ(हे(n))NSPACE(O(n)), भाषाएं …

10 cc.complexity-theory  fl.formal-languages  polynomial-time 

चलो एचअ लटीnएचएएलटीnHALT_n लंबाई की स्ट्रिंग को निरूपित करें 2n2n2^n लंबाई के इनपुट के लिए पड़ाव समस्या की सत्य तालिका के अनुरूप nnn। यदि कोलमोगोरोव जटिलताओं का क्रम क( एचअ लटीn)क(एचएएलटीn)K(HALT_n) थे ओ ( 1 )हे(1)O(1), तो सलाह तार में से एक का उपयोग अक्सर असीम रूप से किया जाएगा, …

10 cc.complexity-theory  reference-request  computability  lower-bounds