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

यह सर्वविदित है कि निम्नलिखित समस्या PSPACE- पूर्ण है: नियमित अभिव्यक्ति को देखते हुए , करता है एल ( β ) = Σ * ?ββ\betaL(β)=Σ∗L(β)=Σ∗L(\beta) = \Sigma^* अन्य (निश्चित) नियमित अभिव्यक्तियों लिए समानता का निर्धारण करने के बारे में क्या ?αα\alpha नियमित अभिव्यक्ति को देखते हुए , L ( β …

21 cc.complexity-theory  automata-theory  regular-expressions  pspace 

यह एक क्लासिक परिणाम है कि हर फैन-इन 2 और-और-नॉट सर्किट जो इनपुट चर से PARITY की गणना करता है, उसका आकार कम से कम और यह तेज है। (हम आकार को AND और OR गेटों की संख्या के रूप में परिभाषित करते हैं।) प्रमाण गेट-उन्मूलन द्वारा है और अगर …

21 cc.complexity-theory  circuit-complexity  parity 

शोर ने कहा, इस सवाल के गुमनाम मौन के जवाब में अपनी टिप्पणी में क्या आप बहुपद समय में दो क्रमपरिवर्तन की राशि की पहचान कर सकते हैं? , कि यह दो क्रमपरिवर्तन के अंतर की पहचान करने के लिए -complete है। दुर्भाग्य से, मैं क्रमचय समस्या से एक सीधी …

21 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

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 

सबसे अच्छा ऊपरी गुणा के समय जटिलता पर जाना जाता है बाध्य मार्टिन Fürer के लिए बाध्य है है, जो इसके अलावा के रैखिक समय जटिलता से अधिक है। क्या हमारे पास इस बात का प्रमाण है कि जोड़ गुणा से अधिक आसान है?nlogn2O(log∗n)nlog⁡n2O(log∗⁡n)n\log n2^{O(\log^* n)}

21 cc.complexity-theory  time-complexity 

कम्प्यूटेशनल जटिलता सिद्धांत, और विशेष रूप "संरचनात्मक" जटिलता सिद्धांत में में कई महत्वपूर्ण परिणाम, दिलचस्प संपत्ति है कि वे मूल रूप से निम्नलिखित के रूप में समझा जा सकता है है से (मैं इसे देख के रूप में ...) एल्गोरिथम एक कुशल एल्गोरिथ्म या कुछ के लिए संचार प्रोटोकॉल देने …

21 cc.complexity-theory  structural-complexity 

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

21 cc.complexity-theory  complexity-classes  randomness 

कैरी लुक का उपयोग करते हुए आगे एल्गोरिथ्म हम एक बहुपद आकार 5 (या 4?) सर्किट परिवार का उपयोग करके जोड़ सकते हैं । क्या गहराई कम करना संभव है? क्या हम एक बहुपद आकार सर्किट परिवार का उपयोग करके दो द्विआधारी संख्याओं के जोड़ की गणना कर सकते हैं …

21 cc.complexity-theory  circuit-complexity  lower-bounds  upper-bounds 

निम्नलिखित तर्क पर विचार करें: चलो K(x)K(x)K(x) निरूपित Kolmogorov जटिलता की स्ट्रिंग । चैतीन का अधूरापन प्रमेय कहता हैxxx किसी भी सुसंगत और पर्याप्त मजबूत औपचारिक प्रणाली के लिए , वहाँ एक निरंतर मौजूद है (केवल औपचारिक प्रणाली और उसके भाषा के आधार पर) ऐसी है कि किसी भी तार …

21 cc.complexity-theory  reference-request  lo.logic  circuit-complexity  kolmogorov-complexity 

AND & OR गेट एक गेट है जिसे दो इनपुट दिए गए हैं और उनका AND और उनका OR लौटाता है। क्या सर्किट और एंड गेट के बाहर ही बने होते हैं, बिना धूमधाम के, मनमानी गणना करने में सक्षम होते हैं? अधिक सटीक रूप से, बहुपद समय गणना लॉगस्पेस …

21 cc.complexity-theory  circuit-complexity 

जैसा कि हम जानते हैं, -clique फ़ंक्शन पूर्ण -vertex ग्राफ एक ( फैले ) को , और आउटपुट iff में -clique होता है । इस मामले में चर किनारों के । यह पता है (रेज़बोरोव, अलोन-बोपाना) कि, , इस फ़ंक्शन को बारे में आकार के मोनोटोन सर्किट की आवश्यकता होती …

21 cc.complexity-theory  optimization  circuit-complexity 

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

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

वहाँ किसी भी प्रशंसनीय जटिलता / क्रिप्टो परिकल्पना है कि कि बहुपद आकार सर्किट (यानी subexponential आकार है संभावना को नियम है के साथ ε &lt; 1 ) घिरा गहराई ( घ = हे ( 1 ) ) सर्किट?2O(nϵ)2O(nϵ)2^{O(n^\epsilon)}ϵ&lt;1ϵ&lt;1\epsilon<1d=O(1)d=O(1)d = O(1) हम जानते हैं कि सर्किट द्वारा गणना किए जाने …

21 cc.complexity-theory  circuit-complexity  bounded-depth 

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

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