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

यह एक ठोस जवाब के साथ एक के बजाय एक व्यक्तिपरक प्रश्न हो सकता है, लेकिन वैसे भी। जटिलता सिद्धांत में हम कुशल संगणना की धारणा का अध्ययन करते हैं। जैसे वर्ग बहुपद समय के लिए होते हैं , और L का मतलब लॉग स्पेस होता है । उन दोनों …

49 cc.complexity-theory  space-bounded  big-picture 

LOGLOG को उन भाषाओं के वर्ग के रूप में परिभाषित करें जिन्हें एक नियतात्मक ट्यूरिंग मशीन (इनपुट के लिए दो-तरफ़ा एक्सेस के साथ) में अंतरिक्ष O (loglog n) में गणना की जा सकती है। इसी तरह एनएलओजीएलओजी को उन भाषाओं के वर्ग के रूप में परिभाषित किया जाता है जिनकी …

32 cc.complexity-theory  reference-request  space-bounded 

ST-कनेक्टिविटी का निर्धारण करने के बीच दो प्रतिष्ठित कोने एक निर्देशित पथ वहाँ मौजूद है या नहीं की समस्या है और एक निर्देशित ग्राफ में । क्या यह समस्या लॉगस्पेस में हल की जा सकती है, एक लंबे समय से खुली समस्या है। इसे बनाम समस्या कहा जाता है।ssstttG(V,E)G(V,E)G(V,E)NLNLNLLLL एसटी-कनेक्टिविटी …

31 cc.complexity-theory  graph-theory  space-bounded  treewidth  logspace 

सबसे पहले, मैं किसी भी मूर्खता के लिए अग्रिम में माफी मांगता हूं। मैं किसी भी तरह से जटिलता सिद्धांत पर विशेषज्ञ नहीं हूँ (इससे बहुत दूर! मैं एक स्नातक हूँ जो जटिलता सिद्धांत में अपनी पहली कक्षा ले रहा है) यहाँ एक सवाल है। अब Savitch की प्रमेय कहा …

28 cc.complexity-theory  space-bounded 

यह अच्छी तरह से ज्ञात है कि निर्देशित सेंट-कनेक्टिविटी है -Complete। Reingold की सफलता परिणाम से पता चला कि अनिर्दिष्ट सेंट-कनेक्टिविटी में है एल । प्लानर निर्देशित एस-कनेक्टिविटी को यू एल ∩ सी ओ यू एल में जाना जाता है । चो और ह्योन ने एक पैरामीरीज़ेड नैकपैक समस्या को …

26 cc.complexity-theory  space-bounded 

यह स्पष्ट है कि कोई भी समस्या जो नियतात्मक लॉगस्पेस ( ) में निर्णायक है, बहुपद के समय ( ) पर चलती है । और बीच जटिलता वर्गों का खजाना है । उदाहरणों में , , , , , । यह व्यापक रूप से माना जाता है कि ।एल पी …

24 cc.complexity-theory  lower-bounds  space-bounded 

पेड़ की चौड़ाई मापती है कि एक पेड़ के लिए ग्राफ कितना करीब है। पेड़ की चौड़ाई की गणना करना एनपी-कठिन है। सर्वश्रेष्ठ ज्ञात सन्निकटन एल्गोरिथ्म कारक प्राप्त करता है।ओ ( लॉग एन----√)हे(लॉगn)O(\sqrt{{\log}n}) कौरसल की प्रमेय में कहा गया है कि मोनैडिक सेकंड-ऑर्डर लॉजिक (MSO2) में निश्चित रूप से रेखांकन …

23 cc.complexity-theory  ds.algorithms  graph-theory  space-bounded  treewidth 

एक से इसे जारी रखते हुए पिछले प्रश्न , सैट के लिए सबसे अच्छा वर्तमान स्थान कम सीमा क्या है? एक बाउंड लोअर बाउंड के साथ मेरा मतलब है कि ट्यूरिंग मशीन द्वारा उपयोग की जाने वाली वर्कटैप कोशिकाओं की संख्या जो बाइनरी वर्कटैप वर्णमाला का उपयोग करती है। एक …

22 cc.complexity-theory  sat  lower-bounds  space-bounded  space-complexity 

मुझे आश्चर्य है कि अगर ऐसा मानने का कोई औचित्य है कि या विश्वास करना कि ?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 

पर विचार करें भाषा ।EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} यह ज्ञात है कि को किसी भी सबलोगैरिथिक-स्पेस अल्टरनेटिंग ट्यूरिंग मशीन (ATM) (Szepietowski, 1994) द्वारा मान्यता नहीं दी जा सकती है । (सदस्यों के लिए सबलोगेरथमिक स्पेस का उपयोग करने वाला एक एटीएम है, लेकिन सभी …

21 space-bounded  polynomial-time 

इम्मेरमैन और सेज़ले पीसीसेनी ने स्वतंत्र रूप से साबित कर दिया कि । आगमनात्मक गिनती की अपनी तकनीक का उपयोग करते हुए, बोरोडिन एट अल ने साबित किया कि एस ए सी मैं पूरक के तहत बंद है, i > 0 के लिए । रींगोल्ड के प्रमेय ( एस एल …

20 cc.complexity-theory  space-bounded 

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

20 cc.complexity-theory  space-bounded  oracles 

USTCONN वह समस्या है जिसके लिए यह निर्णय लेने की आवश्यकता होती है कि क्या स्रोत तक का रास्ता ग्राफ में sssलक्ष्य वर्टेक्स से है , जहाँ ये सभी इनपुट के भाग के रूप में दिए गए हैं।जीtttGGG ओमर रेनॉल्ड ने दिखाया कि USTCONN L (doi: 10.1145 / 1391289.1391291 ) …

19 cc.complexity-theory  lower-bounds  reductions  space-bounded 

एल्गोरिदम की एक भीड़ है जो समय में एक संदर्भ-मुक्त व्याकरण को पार्स कर सकती है । मैट्रिक्स गुणा का उपयोग करते हुए, कोई भी असमान रूप से तेजी से जा सकता है।ओ ( एन)3)हे(n3)O(n^3) हालांकि, मनमाने ढंग से CFGs पार्स करने के लिए सभी एल्गोरिदम मुझे पता है की …

18 ds.algorithms  fl.formal-languages  space-bounded  parsing  context-free 

हाल ही में, Watrous et al ने साबित किया कि QIP (3) = PSPACE एक उल्लेखनीय परिणाम है। यह अपने आप में कम से कम कहने के लिए एक आश्चर्यजनक परिणाम था और इसने मुझे सोचने से रोक दिया ... मुझे आश्चर्य है कि क्या होगा अगर क्वांटम कंप्यूटरों को …

18 cc.complexity-theory  quantum-computing  space-bounded  conditional-results  interactive-proofs