complexity-classes पर टैग किए गए जवाब

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

24 cc.complexity-theory  complexity-classes  np-hardness  approximation-hardness 

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

23 cc.complexity-theory  reference-request  complexity-classes  fine-grained 

विश्वास करने के लिए मजबूर कारण क्या हैं L≠PL≠PL\neq P ? एल लॉग-स्पेस एल्गोरिदम का वर्ग है जो इनपुट के लिए संकेत देता है। पल के लिए एल = पी मान लीजिए। पी-पूर्ण समस्या के लिए लॉग-स्पेस एल्गोरिथ्म अपने सामान्य रूपरेखा में कैसा दिखेगा?

23 cc.complexity-theory  complexity-classes 

निम्नलिखित फ़ॉर्म की अनुकूलन समस्याओं पर विचार करें। आज्ञा देना एक बहुपद-समय कम्प्यूटेशनल फ़ंक्शन है जो एक स्ट्रिंग को तर्कसंगत संख्या में मैप करता है । अनुकूलन समस्या यह है: -bit स्ट्रिंग्स पर का अधिकतम मान क्या है ?f(x)f(x)f(x)f ( x ) n xxxxf(x)f(x)f(x)nnnxxx हम कहते हैं कि इस तरह …

23 cc.complexity-theory  graph-algorithms  complexity-classes  optimization  linear-programming 

में इस सूत्र , Norbet ब्लम का प्रयास सबूत संक्षेप टिप्पण Tardos समारोह प्रमेय 6 की एक प्रति है कि ने खारिज कर रहा है।P≠NPP≠NPP \neq NP प्रमेय 6 : Let किसी भी एक लय बूलियन समारोह हो। मान लें कि एक CNF-DNF-सन्निकट A है जिसका उपयोग C m ( …

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

यह एक खुले हुए सवाल की तरह है - जिसके लिए मैं पहले से माफी मांगता हूं। ऐसे बयानों के उदाहरण हैं जो (प्रतीत होते हैं) का जटिलता या ट्यूरिंग मशीनों से कोई लेना-देना नहीं है, लेकिन इसका उत्तर किस तरह से ?P≠NPP≠NP\mathbf{P}\neq \mathbf{NP}

22 cc.complexity-theory  complexity-classes  p-vs-np 

एक पढ़ते समय पीटर शोर से जवाब और एक पहले एडम Crume द्वारा प्रश्न मुझे एहसास हुआ कि मैं क्या यह होने का क्या मतलब के बारे में कुछ गलतफहमी है कि PP\mathsf{P} -हार्ड। एक समस्या अगर में कोई समस्या है, तो यह (या यदि आप ) को पसंद करते …

22 cc.complexity-theory  complexity-classes 

मुझे आश्चर्य है कि अगर ऐसा मानने का कोई औचित्य है कि या विश्वास करना कि ?NL=LNL=LNL=LNL≠LNL≠LNL\neq L यह ज्ञात है कि । व्युत्पन्न पर साहित्य बहुत आश्वस्त है कि । क्या किसी को कुछ लेखों या विचारों के बारे में पता है जो कि ?NL⊂L2NL⊂L2NL \subset L^2RLRLRLRL=LRL=LRL=LNL≠LNL≠LNL\neq L

22 cc.complexity-theory  reference-request  complexity-classes  space-bounded 

f(n)f(n)f(n) ग >limn→∞nc/f(n)=0limn→∞nc/f(n)=0\lim_{n\rightarrow\infty} n^c/f(n)=0c>0c>0c>0 यह स्पष्ट है कि किसी भी भाषा L∈PL∈PL\in {\mathsf P} यह L∈DTIME(f(n))L∈DTIME(f(n))L\in {\mathsf {DTIME}}(f(n)) में प्रत्येक सुपरपोलीनोमियल टाइम बाउंड f(n)f(n)f(n) । मुझे आश्चर्य है, इस कथन का उलटा अर्थ भी सही है? यही कारण है, अगर हम जानते हैं कि L∈DTIME(f(n))L∈DTIME(f(n))L\in {\mathsf {DTIME}}(f(n)) के लिए हर …

21 cc.complexity-theory  ds.algorithms  complexity-classes 

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

21 cc.complexity-theory  complexity-classes  lambda-calculus  typed-lambda-calculus 

क्या बीपीपी में होने वाली प्राकृतिक समस्या का एक उदाहरण है लेकिन यह आरपी या सह-आरपी में नहीं है?

21 cc.complexity-theory  complexity-classes  randomness 

प्रश्न से प्रेरित फैक्टरिंग को पी-हार्ड के रूप में जाना जाता है , मुझे आश्चर्य है कि ज्ञान की वर्तमान समान स्थिति ग्राफ आइसोमॉर्फिज़्म की कठोरता के बारे में क्या है। मुझे यकीन है कि वर्तमान में यह ज्ञात नहीं है कि जीआई पी में है, लेकिन: वर्तमान में ज्ञात …

21 cc.complexity-theory  complexity-classes  graph-isomorphism 

एन सीNC\mathsf{NC} कुशलता से समानांतर होने के विचार को पकड़ता है, और इसकी एक व्याख्या ऐसी समस्याएं हैं जो समांतर प्रोसेसर के लिए कुछ स्थिरांक , का उपयोग करके समय में हल करने योग्य हैं । मेरा सवाल यह है कि अगर एक अनुरूप जटिलता वर्ग है जहां समय और …

21 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  dc.parallel-comp 

क्या बीक्यूपी बीपीपी के बराबर है जो एक एबेलियन छिपे हुए उपसमूह ओरेकल तक पहुंच के साथ है?

21 complexity-classes  quantum-computing 

पी। में एल्गोरिदम को समानांतर करने के बारे में जो कुछ ज्ञात है उसके बारे में मैं एक व्यापक अर्थ में उत्सुक हूं। मुझे इस विषय के बारे में निम्नलिखित विकिपीडिया लेख मिला: http://en.wikipedia.org/wiki/NC_%28complexity%29 लेख में निम्नलिखित वाक्य शामिल हैं: यह अज्ञात है कि नेकां = पी, लेकिन अधिकांश शोधकर्ताओं …

21 cc.complexity-theory  complexity-classes  big-picture