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

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

23 cc.complexity-theory  complexity-classes 

मुझे पता है कि वेरिएबल्स OR फ़ंक्शन को बहुपद द्वारा बिल्कुल दर्शाया जा सकता है जैसे: p (x_1, \ ldots, x_n) = 1- \ prod_ { i = 1} ^ n \ left (1-x_i \ right) , जो डिग्री n का है ।एन nnएक्स 1 , … , एक्स एनx1,…,xnx_1,\ldots, …

23 cc.complexity-theory  co.combinatorics  lower-bounds  polynomials 

आप में से कुछ लोग इस प्रश्न का अनुसरण कर रहे होंगे , जो कि अनुसंधान स्तर नहीं होने के कारण बंद था। इसलिए, मैं उस प्रश्न का हिस्सा निकाल रहा हूं जो एक शोध स्तर पर है। "सरल" तकनीकों से परे, जैसे कि छँटाई को कम करने या एक …

23 cc.complexity-theory  reference-request  fl.formal-languages  time-complexity  reductions 

निम्नलिखित फ़ॉर्म की अनुकूलन समस्याओं पर विचार करें। आज्ञा देना एक बहुपद-समय कम्प्यूटेशनल फ़ंक्शन है जो एक स्ट्रिंग को तर्कसंगत संख्या में मैप करता है । अनुकूलन समस्या यह है: -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 

हाल ही में मैंने arxiv पर कई लेख देखे हैं जो सम-वर्ग नामक एक प्रमाण प्रणाली का उल्लेख करते हैं। क्या कोई समझा सकता है कि एक राशि-वर्ग प्रमाण क्या है और इस तरह के प्रमाण महत्वपूर्ण / दिलचस्प क्यों हैं? वे अन्य बीजीय प्रूफ सिस्टम से कैसे संबंधित हैं? …

23 cc.complexity-theory  lo.logic  algebraic-complexity  proof-complexity  sum-of-squares 

स्पष्ट रूप से CLIQUE से k-Color में कमी है क्योंकि वे दोनों NP- पूर्ण हैं। वास्तव में, मैं CLIQUE से 3-SAT में कमी करके 3-SAT से k- रंग में कमी करके एक का निर्माण कर सकता हूं। मैं सोच रहा हूँ कि क्या इन समस्याओं के बीच एक उचित प्रत्यक्ष …

23 cc.complexity-theory  graph-theory  np-hardness  reductions 

यह ज्ञात है कि हैमिल्टनियन (हैम फॉर शॉर्ट) साइकिल एनपी-पूर्ण है और प्लेनर हैम साइकिल एनपी-पूर्ण है। प्लेनर हैम साइकिल का प्रमाण हैम साइकिल से नहीं है। क्या कोई अच्छा गैजेट है, जिसे ग्राफ G दिया गया है, सभी क्रॉसिंग को कुछ प्लानर गैजेट से बदल दें ताकि आपके पास …

23 cc.complexity-theory  np-hardness  planar-graphs  hamiltonian-paths 

क्या कोई भी समस्याओं और / या समस्याओं की गिनती के बारे में एक अच्छा और हालिया सर्वेक्षण सुझा सकता है जो #P हैं।

23 cc.complexity-theory  reference-request  counting-complexity 

डी। बेरा, एफ। ग्रीन और एस। होमर (एसीएम सिगच न्यूज़ के पृष्ठ 36, जून 2007 वॉल्यूम 38, नंबर 2) द्वारा "स्मॉल डेप्थ क्वांटम सर्किट्स" के सर्वेक्षण में , मैंने निम्नलिखित वाक्य पढ़ा: का शास्त्रीय संस्करण (जिसमें ए एन डी और ओ आर गेट्स के पास सबसे अधिक निरंतर प्रशंसक हैं) …

23 cc.complexity-theory  circuit-complexity 

यह प्रश्न एक उत्तर से संबंधित है जिसे मैंने दूसरे प्रश्न के उत्तर में पोस्ट किया है। 3-विभाजन समस्या निम्न समस्या है: उदाहरण : सकारात्मक पूर्णांक 1 , ..., n , जहां n = 3m और n पूर्णांकों का योग mB के बराबर है, जैसे कि प्रत्येक i , B …

23 cc.complexity-theory  np-hardness 

न्यूनतम सर्किट को खोजने की जटिलता के बारे में क्या जाना जाता है जो सैट की लंबाई तक गणना करता है ? nnn औपचारिक रूप से: एक फ़ंक्शन की जटिलता क्या है, जिसे इनपुट के रूप में दिया गया है, न्यूनतम सर्किट सी को ऐसे किसी भी सूत्र के लिए …

23 cc.complexity-theory  sat 

मैं ग्राफ आइसोमॉर्फिज्म और छिपे हुए उपसमूह समस्या के बीच संबंधों को समझने की कोशिश कर रहा हूं। क्या इसके लिए कोई अच्छा संदर्भ है?

23 cc.complexity-theory  reference-request  quantum-computing  graph-isomorphism 

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

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

जनवरी 2017 के बाद से एक साल से अधिक समय हो गया है। खबर है? यदि यह लंबे समय तक वैधता के लिए सामान्य नहीं है? मुझे उम्मीद है कि इसे बहुत ध्यान मिलेगा। नोट के किसी भी व्यक्ति ने अर्ध-बहुपद परिणाम का समर्थन / संदेह करने के लिए बोला …

23 cc.complexity-theory  graph-isomorphism  proofs 

मैं एक वर्णमाला पर एक नियमित भाषा को ठीक करता हूं , और मैं निम्नलिखित समस्या पर विचार करता हूं जिसे मैं लिए समयबद्धन पत्र कहता हूं । अनौपचारिक रूप से, इनपुट मुझे अक्षर और प्रत्येक अक्षर के लिए एक अंतराल (यानी, एक न्यूनतम और अधिकतम स्थिति) देता है, और …

23 cc.complexity-theory  np-hardness  automata-theory  regular-language  scheduling