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

जोश ग्रूचो के सुझाव के बाद, मैं अपनी टिप्पणी को पिछले प्रश्न से एक नए प्रश्न में परिवर्तित कर रहा हूं । हमारे पास लिए क्या साक्ष्य हैं ?यू पी ≠ एन पीUP≠NP\mathsf{UP} \neq \mathsf{NP} यहाँ यू पीUP\mathsf{UP} बहुपाषाण काल ​​के गैर-नियतात्मक ट्यूरिंग मशीनों द्वारा पहचानी जाने वाली भाषाओं की …

17 cc.complexity-theory  complexity-classes  conditional-results  unique-solution 

ग्राफ़ क्लासेस और उनके निष्कर्षों पर सूचना प्रणाली की खोज करते समय , मैंने कई ग्राफ़ क्लास पाए, जिसके लिए हैमिल्टनियन साइकिल समस्या एनपी-पूर्ण है, जबकि हैमिल्टनियन पथ की समस्याओं की जटिलता ज्ञात नहीं है। उन वर्गों में से कुछ द्विदलीय अधिकतम डिग्री 3 ग्राफ, अधिकतम डिग्री 3 ग्रिड ग्राफ, …

17 cc.complexity-theory  graph-theory 

इल्या डीरन, एरिक डी। डेमन, मिहाई पतरास्कु द्वारा पेपर "सबकुड्रैटिक एल्गोरिदम 3SUM" के लिए, निम्नलिखित जटिलताएं हैं 3SUM समस्या: एक सूची दी LLL के पूर्णांकों अगर देखते हैं ऐसी है किएक्स , वाई , जेड ∈ एल एक्स + y = z ।nnnx,y,z∈Lx,y,z∈Lx,y,z \in Lx+y=z.x+y=z.x+y=z. वे कहते हैं, " बिट …

17 cc.complexity-theory  ds.algorithms 

मान लीजिए मैं बीपीपी के निम्नलिखित प्रकार पर विचार करता हूं, जिसे हम ई (एक्सएक्ट) बीपीपी कहते हैं: ईबीपीपी में एक भाषा होती है यदि कोई बहुपद समय यादृच्छिक रूप से टीजी है जो भाषा के प्रत्येक शब्द को बिल्कुल 3/4 प्रायिकता के साथ स्वीकार करता है और हर शब्द …

17 cc.complexity-theory  complexity-classes  randomized-algorithms 

मैं ग्राफ समतावाद समस्या पर कुछ साहित्य समीक्षा कर रहा हूं। ज्यादातर कागज जो मैं पढ़ रहा हूं, वह ईएम लुक्स और लेज़्लो बाबई द्वारा लिखे गए हैं। ये पेपर समूह सिद्धांत और जटिलता सिद्धांत के उच्च स्तर के ज्ञान का उपयोग करते हैं। जैसा कि मैं इस क्षेत्र में …

17 cc.complexity-theory  graph-isomorphism 

पर विचार करें निम्नलिखित समस्या QQQ : हम एक पूर्णांक दिया जाता है , और कश्मीर के अंतराल [ एल मैं , r मैं ] के साथ 1 ≤ एल मैं ≤ r मैं ≤ 2 n । हम यह भी दिया जाता है 2 n पूर्णांक d 1 , …

17 cc.complexity-theory  np-hardness 

एक बात जो क्वांटम कंप्यूटर कर सकते हैं (संभवतः सिर्फ BPP + लॉग-डेप्थ क्वांटम सर्किट के साथ भी) पी में एक बूलियन प्रचलित फ़ंक्शन के फूरियर रूपांतरण को अनुमानित-नमूना करना है।± १±1\pm 1 यहाँ और जब मैं नमूना फूरियर को बदलने मैं के अनुसार एक्स चुनने मतलब के बारे में …

17 cc.complexity-theory  quantum-computing  pr.probability  randomized-algorithms  sample-complexity 

जब प्रिंट में जटिलता सिद्धांत की प्रासंगिकता के अर्थशास्त्रियों को समझाने की कोशिश की जाती है, तो क्या यह हवाला देने के लिए एक मानक संदर्भ है? मैं नोआम निसान के ब्लॉग पोस्ट , टिम रफगार्डन के सर्वेक्षण और स्कॉट आरोनसन के निबंध के अध्याय 11 से परिचित हूं । …

17 cc.complexity-theory  reference-request  application-of-theory  ho.history-overview  ce.computational-finance 

हाल ही में, मैंने एज कलरिंग के निम्न प्रकार का सामना किया है। एक जुड़े हुए अप्रत्यक्ष ग्राफ को देखते हुए, किनारों की एक रंगाई का पता लगाएं, जो अधिकतम संख्या में रंगों का उपयोग करता है, जबकि बाधा को भी संतुष्ट करता है कि, प्रत्येक वर्टेक्स , किनारों की …

17 cc.complexity-theory  np-hardness  complexity-classes  graph-colouring 

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

17 cc.complexity-theory  reference-request  lo.logic  proof-complexity  constructive-mathematics 

AC0AC0AC^{0}pppAC0[q]AC0[q]AC^{0}[q]AC0[q]AC0[q]AC^0[q]qqqgcd(p,q)=1gcd(p,q)=1\gcd(p,q)=1। हालाँकि, पॉलीग्लिथेरमिक डेप्थ सर्किट पर ठोस निचले सीमा परिणाम प्राप्त करना इनपुट्स को सीमित करने और परिमित क्षेत्रों पर बहुपदों को सन्निकट करने जैसे शास्त्रीय तरीकों के उपयोग से पहुंच से बाहर लगता है। मैं एक STOC'96 पेपर को जानता हूं जो ज्यामितीय जटिलता सिद्धांत की ओर ले जाता …

17 cc.complexity-theory  circuit-complexity  lower-bounds  dc.parallel-comp  gct 

मैंने आज निचले हिस्से को पढ़ाया , और छात्रों में से एक ने A C नाम के कारण के बारे में पूछा । आधिकारिक स्पष्टीकरण यह है कि "ए" का अर्थ "अल्टरनेशन" है।AC0AC0AC^0ACACAC मुझे याद है कि कई साल पहले बताया जा रहा था कि निक पिप्पेंजर स्टीव कुक ने …

17 cc.complexity-theory  reference-request  ho.history-overview 

लघु संस्करण। मूल प्रमाण है कि # 2-सैट है #P -Complete शो, वास्तव में, कि # 2-सैट के उन लोगों के उदाहरण हैं जिनमें दोनों कर रहे हैं एक लय और (किसी भी चर के negations को शामिल नहीं) द्विपक्षीय (ग्राफ से अधिक खंड द्वारा गठित चर एक द्विदलीय ग्राफ …

17 cc.complexity-theory  sat  counting-complexity 

प्लेनार ग्राफ में जीनस शून्य होता है। एक टोरस पर एम्बेड किए गए रेखांकन में जीनस सबसे अधिक होता है। 1. मेरा प्रश्न सरल है: क्या कोई समस्या है जो कि प्लानेर ग्राफ पर बहुपत्नी रूप से हल करने योग्य है लेकिन जीनस के ग्राफ पर एनपी-हार्ड है? अधिक आम …

17 cc.complexity-theory  ds.algorithms  graph-theory  planar-graphs 

नकारात्मक विरोधी विधि ( ) एक एसडीपी कि क्वांटम क्वेरी जटिलता की विशेषता है। यह व्यापक रूप से उपयोग की जाने वाली प्रतिकूल विधि ( A D V ) का सामान्यीकरण है , और दो बाधाओं को पार करता है जो प्रतिकूल विधि में बाधा डालती हैं:ADV±ADV±ADV^\pmADVADVADV संपत्ति परीक्षण बाधा: …

17 cc.complexity-theory  reference-request  quantum-computing  query-complexity  property-testing