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

क्या इस पर कोई काम किया गया है कि # 2-SAT के यादृच्छिक उदाहरणों की जटिलता खंड घनत्व के साथ कैसे भिन्न होती है? यह है: 2-सैट के बेतरतीब ढंग से उत्पन्न उदाहरण के लिए संतोषजनक समाधान गिनने की कठिनाई कैसे होती है, क्योंकि क्लॉज का घनत्व अलग - अलग …

18 cc.complexity-theory  counting-complexity  random-k-sat 

बता दें कि वेरिएबल और क्लॉस के साथ एक संतोषजनक CNF फॉर्मूला है । चलो का समाधान स्थान होना ।F1F1F_1nnnmmmSF1SF1S_{F_1}F1F1F_1 निर्धारित करने की समस्या को देखते हुए विचार करें , एक और CNF फॉर्मूला के रूप में चर के एक ही सेट के साथ , साथ (के रूप में ही …

18 cc.complexity-theory  co.combinatorics  sat  formulas 

सबसे छोटी सुपरस्ट्रिंग समस्या की सटीक जटिलता के बारे में क्या जाना जाता है? क्या इसे से तेज हल किया जा सकता है ? क्या ऐसे ज्ञात एल्गोरिदम हैं जो TSP को कम किए बिना सबसे छोटे सुपरस्ट्रिंग को हल करते हैं?O∗(2n)O∗(2n)O^*(2^n) युपीडी: दबा बहुपद कारकों।O∗(⋅)O∗(⋅)O^*(\cdot) सबसे छोटी सुपरस्ट्रिंग समस्या …

18 cc.complexity-theory  ds.algorithms  graph-theory  tsp  exp-time-algorithms 

मुझे लगता है कि यह एक अच्छा विचार होगा कि ऐसे प्रमेयों की एक सूची बनाई जाए, जिसमें कहा गया हो कि P, NP से समान नहीं है और यदि केवल ऐसे और इस तरह से बाहर निकलता है, तो कुछ जटिलता वर्ग एक और जटिलता वर्ग और इसी तरह …

18 cc.complexity-theory  big-list  p-vs-np 

XORification हर चर की जगह एक बूलियन फ़ंक्शन या फ़ॉर्मूला कठिन बनाने के लिए तकनीक है के XOR द्वारा कश्मीर ≥ 2 अलग चर । xxxk≥2k≥2k\geq 2x1⊕…⊕xkx1⊕…⊕xkx_1 \oplus \ldots \oplus x_k मैं मुख्य रूप से रिज़ॉल्यूशन-आधारित प्रूफ सिस्टम के लिए स्पेस लोअर सीमाएँ प्राप्त करने के लिए प्रूफ जटिलता में …

18 cc.complexity-theory  reference-request  boolean-functions  proof-complexity 

EDIT (22 अगस्त, 2011): मैं प्रश्न को और सरल कर रहा हूं और प्रश्न पर एक इनाम डाल रहा हूं। शायद इस सरल प्रश्न का एक आसान जवाब होगा। मैं मूल प्रश्न के उन सभी हिस्सों को भी समाप्त करने जा रहा हूँ जो अब प्रासंगिक नहीं हैं। (मूल सवाल …

18 cc.complexity-theory  lower-bounds  circuit-complexity 

समय जटिलता या सर्किट कम सीमा के साथ सीधे काम करना डरावना है। इसलिए, हम निचले सीमा पर एक हैंडल प्राप्त करने के लिए क्वेरी जटिलता (या निर्णय-वृक्ष जटिलता) जैसे उपकरण विकसित करते हैं। चूंकि प्रत्येक क्वेरी में कम से कम एक इकाई चरण होता है, और प्रश्नों के बीच …

18 cc.complexity-theory  reference-request  time-complexity  query-complexity 

(n+1)(n+1)(n + 1) अंक को विशिष्ट रूप से डिग्रीबहुपद निर्धारित करने के लिए आवश्यक है; उदाहरण के लिए, एक विमान में दो बिंदु बिल्कुल एक रेखा निर्धारित करते हैं।nnn एक निर्धारित फ़ंक्शन को विशिष्ट रूप से निर्धारित करने के लिए कितने बिंदुओं की आवश्यकता होती है f:N→Nf:N→Nf : N \rightarrow …

18 cc.complexity-theory  computability 

यहाँ लक्ष्य बहुसंख्यक वर्गों और चर की सबसे कम संख्या का उपयोग करके बहुपद समय में 3-सैट के लिए एक मनमाने ढंग से सैट समस्या को कम करना है। मेरा प्रश्न जिज्ञासा से प्रेरित है। औपचारिक रूप से, मैं जानना चाहता हूं: "SAT से 3-SAT में 'सबसे प्राकृतिक' कमी क्या …

18 cc.complexity-theory  sat  reductions 

यह सर्वविदित है कि अगर तो बहुपद पदानुक्रम ढह जाता है और ।P=NPP=NP\mathbf{P}=\mathbf{NP}P=PHP=PH\mathbf{P}=\mathbf{PH} यह आसानी से oracle मशीनों का उपयोग करके आसानी से समझा जा सकता है। प्रश्न है - हम वैकल्पिक प्रक्रिया को वैकल्पिक स्तर से आगे क्यों नहीं और उर्फ साबित कर सकते हैं। )?A P = P …

18 cc.complexity-theory  polynomial-hierarchy  intuition 

मुझे लगता है कि सर्किट जटिलता के लिए एक आकार पदानुक्रम प्रमेय क्षेत्र में एक बड़ी सफलता हो सकती है। क्या यह वर्ग अलगाव के लिए एक दिलचस्प दृष्टिकोण है? प्रश्न के लिए प्रेरणा हमें कहना है कुछ फ़ंक्शन है जो आकार सर्किट द्वारा गणना नहीं की जा सकती है …

18 cc.complexity-theory  circuit-complexity  lower-bounds  natural-proofs  hierarchy-theorems 

क्या यह सच है कि समय (O(nk)O(nk)O(n^k) बहुपद पदानुक्रम के कुछ स्तर में एक वैकल्पिक ट्यूरिंग मशीन द्वारा ) में बहुपद पदानुक्रम में समस्याएँ हैं जो किसी भी स्तर में O(nk−1)O(nk−1)O(n^{k-1}) में हल करने योग्य नहीं हैं । बहुपद पदानुक्रम? दूसरे शब्दों में - क्या बहुपद पदानुक्रम के लिए एक …

18 cc.complexity-theory  reference-request  polynomial-hierarchy  time-hierarchy 

क्या मैं यह समझने में सही हूं कि एक समस्या एनपी पूर्ण साबित करना एक शोध सफलता है? यदि हां तो क्यों?

18 cc.complexity-theory  np-hardness  big-picture 

जटिलता सिद्धांत ब्रह्मांड की संरचना के बारे में कुछ मौलिक पर कब्जा करने के लिए लगता है, इसमें यह सहज धारणा को औपचारिक करता है कि कुछ समस्याएं दूसरों की तुलना में कठिन हैं। स्कॉट आरोनसन ने भविष्यवाणी की , "एनपी कठोरता असेंबल को अंततः ऊष्मप्रवैगिकी के दूसरे कानून के …

18 cc.complexity-theory  soft-question  big-picture 

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

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