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

f,gf,gf,gf(n)logf(n)=o(g(n))f(n)log⁡f(n)=o(g(n))f(n) \log f(n) = o(g(n))DTIME(f(n))⊊DTIME(g(n))DTIME(f(n))⊊DTIME(g(n)) DTIME(f(n)) \subsetneq DTIME(g(n))f,gf,gf,gf(n+1)=o(g(n))f(n+1)=o(g(n))f(n+1)=o(g(n))यह बहुत सारे (पुराने और वर्तमान) परिणाम हैं जो निम्न सीमा सिद्ध करने के लिए समय पदानुक्रम प्रमेयों का उपयोग करते हैं। यहाँ मेरे सवाल हैं:NTIME(f(n))⊊NTIME(g(n)).NTIME(f(n))⊊NTIME(g(n)). NTIME(f(n)) \subsetneq NTIME(g(n)). क्या होता है अगर हम निर्धारक या नॉनडेर्मिनिस्टिक मामले के लिए बेहतर परिणाम साबित …

10 cc.complexity-theory  lower-bounds  big-picture  time-complexity  time-hierarchy 

मैं बहुत ही रोचक और अभी भी खुले प्रश्न " सिंगल-टेप ट्यूरिंग मशीन की वर्णमाला " (इमानुएल वायोला द्वारा) के साथ खेल रहा था और निम्नलिखित भाषा के साथ आया: L = { x ∈ { 0 , 1 }n सेंट | x | = एन = २म और सी …

10 cc.complexity-theory  turing-machines  time-complexity 

क्या कोई ऐसा तरीका है जो एक कहावत को सत्यापित कर सकता है कि कुछ HORN-SAT अभिव्यक्ति संतोषजनक है? बेशक यह मूर्खतापूर्ण लग सकता है, क्योंकि HORN-SAT के लिए रैखिक समय एल्गोरिदम हैं। दूसरी ओर, HORN-SAT P- पूर्ण है, जिसका अर्थ है कि इसमें लॉग-स्पेस एल्गोरिदम नहीं है जब तक …

10 cc.complexity-theory  interactive-proofs  zero-knowledge 

वेरिएबल्स पर एक बूलियन सर्किट (जो नॉट, एंड और गेट्स का उपयोग करता है) को देखते हुए , सर्किट द्वारा प्रस्तुत बूलियन फॉर्मूला निकालने का सबसे कुशल तरीका क्या है? क्या इस समस्या के लिए एक पॉलीटाइम एल्गोरिथ्म है?CCCnnn

10 cc.complexity-theory  time-complexity  boolean-functions 

में इस सवाल है, यह उल्लेख किया गया था चावल की प्रमेय के वर्णनात्मक जटिलता संस्करणों रहे हैं। मुझे निम्नलिखित प्रमेय का प्रमाण मिला: एक जटिलता वर्ग को देखते हुए सी , में भाषाओं के nontrivial गुण सी में नहीं की जा सकती सी मैंने पहले पाया गया सबूत पोस्ट …

10 cc.complexity-theory  complexity-classes  descriptive-complexity  separation 

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

10 cc.complexity-theory  big-picture 

संकल्प CNFs की असंतोषजनकता साबित करने के लिए एक योजना है। रिज़ॉल्यूशन में एक प्रमाण CNF के प्रारंभिक क्लॉज के लिए खाली क्लॉज की तार्किक कटौती है। विशेष रूप से किसी भी प्रारंभिक खंड निष्कर्ष निकाला जा सकता है, और दो खंड से और बी ∨ ¬ एक्स खंड एक …

10 cc.complexity-theory  lo.logic  proof-complexity  proof-search 

पृष्ठभूमि सर्किट जटिलता (यानी दृश्यों सर्किट के, प्रत्येक इनपुट आकार के लिए एक) के सर्किट परिवारों के सेट के रूप में परिभाषित किया गया है घिरे गहराई और बहुपद आकार बनाया का उपयोग कर असीम प्रशंसक में और, या, और नहीं।A सी0एसी0AC^0 -bit इनपुट के साथ समता फलन बिट्स के …

10 cc.complexity-theory  circuit-complexity  physics  bounded-depth 

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

10 cc.complexity-theory  computability 

चलो एक क्रमचय हो। ध्यान दें कि जब inf एक अनंत डोमेन पर कार्य करता है, तो इसका विवरण परिमित हो सकता है। द्वारा वर्णन , मैं एक प्रोग्राम है जो वर्णन करता है मतलब π की कार्यक्षमता। (कोलमोगोरोव जटिलता के रूप में।) नीचे स्पष्टीकरण देखें।π:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^*ππ\piππ\pi …

10 cc.complexity-theory  co.combinatorics  cr.crypto-security  descriptive-complexity  one-way-function 

Hiroimono एक लोकप्रिय अपूर्ण पहेली है। मुझे संबंधित पहेली की कम्प्यूटेशनल जटिलता में दिलचस्पी है।एनपीNPNP यह समस्या है: इनपुट : x वर्ग ग्रिड और पूर्णांक पर बिंदुओं के एक सेट को देखते हुएn केnnnnnnकkk प्रश्न : क्या एक आयताकार बहुभुज ( या -axis के समानांतर इसके किनारे ) हैं जैसे …

10 cc.complexity-theory  np-hardness  puzzles  integer-lattice 

ग्राफ ऑटोमोर्फिज्म ग्राफ नोड्स का एक क्रमांकन है जो किनारे सेट पर एक आक्षेप को प्रेरित करता है । औपचारिक रूप से, यह नोड्स का एक क्रमांकन है जैसे iffच ( यू , वी ) ∈ ई ( च ( यू ) , च ( v ) ) ∈ ईEEEfff(u,v)∈E(u,v)∈E(u,v)\in …

10 cc.complexity-theory  graph-theory  automorphism  symmetry 

एंड्रोस सलामोन और कॉलिन मैकक्लिअन के मेरे पिछले प्रश्न मोनोटोन -2 सीएनएफ फॉर्मूला के समाधानों को गिनने के योगदान को पढ़ने के बाद मेरे दिमाग में यह सवाल उठ गया है । EDIT 30 वें मार्च 2011 जोड़ा गया प्रश्न n ° 2. EDIT 29 वें अक्टूबर 2010 प्रश्न एक …

10 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

सोडा 2006 में, मार्टिन ग्रोह और डी n n मार्क्स के पेपर "फ्रैक्शनल एज कवर के माध्यम से कसना हल करना" ( ACM प्रशस्ति पत्र ) से पता चला कि हाइपरग्राफ H के वर्ग के लिए बंधी फ्रैक्चर हाइपरट्री चौड़ाई, CSP ( H ) \ _ में है। PTIME ।a´a´\acute{\rm …

10 cc.complexity-theory  graph-theory  hypergraphs  treewidth  csp 

मैं यादृच्छिक के-सैट के लिए चरण संक्रमण की वर्तमान स्थिति जानना चाहूंगा, एन वेरिएबल्स और एम क्लॉज़ दिए गए हैं, जो ऊपरी और निचले सीमा के लिए सबसे अच्छा ज्ञात सी = एम / एन है।

10 cc.complexity-theory  sat  lower-bounds  upper-bounds  phase-transition