space-bounded पर टैग किए गए जवाब

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

18 ds.algorithms  space-bounded  data-streams 

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

17 quantum-computing  space-bounded 

यह देखना आसान है कि कोई भी समस्या जो नियतात्मक लॉगस्पेस ( ) में निर्णायक है वह बहुपद समय ( पी ) पर चलती है । कई ज्ञात लॉगस्पेस एल्गोरिदम (उदाहरण के लिए: अप्रत्यक्ष सेंट-कनेक्टिविटी, प्लानर ग्राफ आइसोमोर्फिज्म) ओ ( एन के ) में चलते हैं जहां के इन्सान बड़े …

17 cc.complexity-theory  space-bounded  space-time-tradeoff 

एक वितरण को -fool a function कहा जाता है। यदि । और यह कहा जाता है कि यदि यह उस कक्षा में प्रत्येक फ़ंक्शन को मूर्ख बनाता है, तो यह फ़ंक्शन के एक वर्ग को बेवकूफ बनाने के लिए है। यह ज्ञात है कि -biased रिक्त स्थान उप-वर्ग में समता …

17 cc.complexity-theory  derandomization  space-bounded  pseudorandomness 

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 

कुरोदा के एक क्लासिक परिणाम के द्वारा, जटिलता वर्ग NSPACE [ ]nnn (जिसे NLIN-SPACE के रूप में भी जाना जाता है) वास्तव में संदर्भ-संवेदनशील भाषाओं का वर्ग CSL है । संतुष्टि की समस्या SAT NSPACE [ ] में है, क्योंकि समाधान के लिए रैखिक-आकार के अनुमान को पुस्तक-रखने के लिए …

16 cc.complexity-theory  fl.formal-languages  sat  space-bounded 

निसान ने "स्पेस-बाउंडेड कम्प्यूटेशन के लिए प्यूसेडेरोमेने जनरेटर्स" में साबित किया, कि एक छद्म यादृच्छिक जनरेटर मौजूद है जो अंतरिक्ष-बद्ध कंप्यूटर्स को "मूर्ख" बनाता है। क्या यह निर्माण प्रत्येक ऑरेकल (कम से कम गैर-अनुकूली प्रश्नों के लिए) के लिए है?

16 cc.complexity-theory  space-bounded  derandomization 

मैं संदर्भ-संवेदनशील भाषाओं (CSL) और पूर्णता से संबंधित दो प्रश्नों में दिलचस्पी लेता हूं : क्या CSL के लिए पूर्णता की धारणा है, और कौन सी भाषाएं पूरी हैं? क्या प्राकृतिक CSL हैं जो NP- पूर्ण हैं? 2 के लिए, मैं निश्चित रूप से प्राकृतिक एनपी-पूर्ण भाषाओं के बारे में …

16 np-hardness  fl.formal-languages  space-bounded 

Savitch ने O ( log 2 n ) स्पेस का उपयोग करते हुए का उपयोग करते हुए सेंट-कनेक्टिविटी को हल करने के लिए एक नियतात्मक एल्गोरिथम दिया । सैविच का एल्गोरिथ्म समय में चलता है । यह एक बड़ी खुली समस्या है कि क्या st- कनेक्टिविटी को एक नियतात्मक एल्गोरिथ्म …

15 cc.complexity-theory  space-bounded 

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

15 cc.complexity-theory  complexity-classes  quantum-computing  space-bounded 

, O के परिवार ( लॉग i n ) के सर्किट द्वारा अनबाउंड-फैनिन या बाउंड-फैनिन और गेट्स वालेपरिवार की समस्याओं का हल है। नकारात्मक को केवल इनपुट स्तर पर अनुमति दी जाती है। यह ज्ञात है कि एस ए सी मैं के लिए मैं ≥ 1 पूरक और के तहत …

14 cc.complexity-theory  circuit-complexity  space-bounded  arithmetic-circuits 

यह Immerman और Szelepcsényi के लिए धन्यवाद ज्ञात है कि यदि f = Imm ( log ) (यहां तक ​​कि गैर-अंतरिक्ष रचनात्मक कार्यों के लिए भी)।एन एस पी ए सी ई (एफ) = c o N S P A C E ( f))NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)च= Ω ( लॉग )f=Ω(log)f=\Omega(\log) एक …

13 cc.complexity-theory  reference-request  space-bounded  alternating-hierarchy 

समय पदानुक्रम प्रमेय में कहा गया है कि ट्यूरिंग मशीन अधिक समस्याओं को हल कर सकती हैं यदि उनके पास (पर्याप्त) अधिक समय है। यदि अंतरिक्ष asymptotically सीमित है तो क्या यह किसी तरह से पकड़ में आता है? कैसे करता है DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) से संबंधित DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) अगर fgfg\frac{f}{g} …

12 cc.complexity-theory  complexity-classes  turing-machines  space-bounded  time-hierarchy 

एक पर विचार करें nnn आयामी वेक्टर vvv जहां vi∈{0,1}vi∈{0,1}v_i \in \{0,1\} । प्रत्येक iii हम जानते हैं कि pi=P(vi=1)pi=P(vi=1)p_i = P(v_i = 1) और हमें मान लें viviv_i स्वतंत्र हैं। इन संभावनाओं का उपयोग करना, वहाँ द्विआधारी पर पुनरावृति करने के लिए एक कारगर तरीका है nnn आयामी वैक्टर …

12 ds.algorithms  space-bounded 

एक एमपीए (मल्टीएबल ऑटोमेटोन) एक 2DFA (दो-तरफा नियतात्मक परिमित ऑटोमोटन) है जो किसी दिए गए इनपुट w पर कंकड़ की वास्तव में संख्या का उपयोग कर सकता है (वास्तव में कंकड़ - इनपुट दो छोर के बीच टेप पर लिखा गया है। -मार्कर्स # w # के रूप में )। …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded