logspace पर टैग किए गए जवाब

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

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

शिव Kintali सिर्फ एक (शांत!) घोषणा की है कि परिणाम चौड़ाई की घिरे treewidth रेखांकन के लिए ग्राफ समाकृतिकता है -हार्ड≥4≥4\geq 4⊕L⊕L\oplus L । अनौपचारिक रूप से, मेरा सवाल है, "यह कितना कठिन है?" हम जानते हैं कि गैर-समान रूप से , इस प्रश्न के उत्तर देखते हैं । हम …

26 cc.complexity-theory  complexity-classes  logspace 

यदि , तो एक लॉगस्पेस एल्गोरिथ्म है जो 2-सैट के निर्णय संस्करण को हल करता है ।L=NLL=NL\mathsf{L = NL} क्या का अर्थ यह है कि संतोषजनक असाइनमेंट प्राप्त करने के लिए एक लॉगस्पेस एल्गोरिथ्म है , जब इनपुट के रूप में संतोषजनक 2-SAT उदाहरण दिया जाता है?L=NLL=NL\mathsf{L = NL} यदि …

15 sat  search-problem  logspace 

क्या होता है अगर हम को परिभाषित करते हैं, जैसे कि पॉलीटाइम ट्यूरिंग-मशीन / पॉलीसीज़ सर्किट के बजाय, एक लॉगस्पेस ट्यूरिंग-मशीन या सर्किट समस्या को एन्कोड करता है?PPADPPAD{\bf PPAD}AC0AC0{\bf AC^0} के लिए तेजी से एल्गोरिदम हाल देने सर्किट satisfiability छोटे सर्किटों के लिए निकला , महत्वपूर्ण होने के लिए तो …

15 cc.complexity-theory  circuit-complexity  logspace  ppad  ac0 

1-मंद Weisfeiler-लीमैन एल्गोरिथ्म (WL) आमतौर पर विहित लेबलिंग या रंग शोधन एल्गोरिथ्म के रूप में जाना जाता है। यह निम्नानुसार काम करता है: प्रारंभिक रंग एक समान है, लिए सभी कोने ।C0C0C_0C0(v)=1C0(v)=1C_0(v) = 1v∈V(G)∪V(H)v∈V(G)∪V(H)v \in V (G) \cup V (H) में सेंट दौर, रंग पूर्ववर्ती रंग से मिलकर एक जोड़ी …

15 cc.complexity-theory  graph-theory  graph-isomorphism  logspace 

यदि कोई लॉगस्पेस ट्यूरिंग मशीन मौजूद है जो भाषा में सलाह की बहुपद राशि के साथ भाषा तय करती है तो एक भाषा ।L/polyL/polyL/poly अधिक जानकारी के लिए यहां देखें: https://en.wikipedia.org/wiki/L/poly सवाल के परिणाम क्या हैं ?P⊆L/polyP⊆L/polyP \subseteq L/poly

14 cc.complexity-theory  circuit-complexity  polynomial-time  advice-and-nonuniformity  logspace 

सवाल। उनके पेपर में स्टेबलाइजर सर्किट के बेहतर सिमुलेशन , आरोनसन और गोट्समैन का दावा है कि CNOT सर्किट का अनुकरण pleteL -complete (लॉगस्पेस रिडक्शन के तहत) है। यह स्पष्ट है कि यह isL में निहित है ; कठोरता कैसे पकड़ती है? समान रूप से: क्या पुनरावृत्त मैट्रिक्स उत्पादों मॉडुलो …

14 cc.complexity-theory  counting-complexity  linear-algebra  logspace 

ओमेर राइंगोल्ड के सबूत है कि USTCON के लिए एक एल्गोरिथ्म देता है (एक में यू विशेष कोने के साथ ग्राफ ndirected और , वे कर रहे हैं कोन nected?) केवल logspace का उपयोग कर। मूल विचार मूल ग्राफ से एक विस्तारक ग्राफ बनाना है, और फिर विस्तारक ग्राफ में …

13 graph-algorithms  nondeterminism  expanders  logspace 

PSPACE पर विकिपीडिया पेज में उल्लेख किया गया है कि शामिल किए जाने वाले को सख्त नहीं जाना जाता है (दुर्भाग्य से संदर्भ के बिना)।NL⊂PHNL⊂PHNL\subset PH Q1: और L \ subset P ^ {\ # P} के बारे में क्या - ये सख्त होने के लिए जाने जाते हैं?L⊂PHL⊂PHL\subset PHL⊂P# …

12 cc.complexity-theory  complexity-classes  logspace 

Mahaney की प्रमेय हमें बताता है एक विरल होती है कि अगर बहुपद समय में कई-एक में कटौती के तहत -Complete सेट है, तो पी = एन पी । (" एनपी के लिए विरल पूर्ण सेट देखें : बर्मन और हार्टमैनिस के एक अनुमान का समाधान "एनपीNPNPP=NPP=NPP = NP क्या …

10 cc.complexity-theory  complexity-classes  reductions  polynomial-time  logspace