lower-bounds पर टैग किए गए जवाब

सैद्धांतिक कंप्यूटर विज्ञान ने "अमूर्त की कीमत" के कुछ उदाहरण प्रदान किए हैं। गॉसियन उन्मूलन और छंटाई के लिए दो सबसे प्रमुख हैं। अर्थात्: यह ज्ञात है कि गाऊसी उन्मूलन के लिए इष्टतम है, कहते हैं, यदि आप एक पूरे [1] के रूप में पंक्तियों और स्तंभों के संचालन को …

112 ds.algorithms  reference-request  big-list  lower-bounds 

एक नई समस्या के लिए एक एल्गोरिथ्म डिजाइन करते समय, अगर मुझे थोड़ी देर बाद एक बहुपद समय एल्गोरिथ्म नहीं मिल रहा है, तो मैं यह साबित करने की कोशिश कर सकता हूं कि इसके बजाय एनपी-हार्ड है। यदि मैं सफल होता हूं, तो मैंने समझाया है कि मैं बहुपद …

58 cc.complexity-theory  lower-bounds  conditional-results 

3SAT के लिए समय और सर्किट की गहराई के लिए सबसे अच्छे वर्तमान निचले सीमा क्या हैं?

46 cc.complexity-theory  lower-bounds  sat 

1980 के दशक में, रज़बोरोव ने प्रसिद्ध रूप से दिखाया कि स्पष्ट मोनोटोन बूलियन फ़ंक्शन (जैसे कि क्लीक्वे फ़ंक्शन) हैं जिनकी गणना करने के लिए घातीय रूप से कई और या गेट्स की आवश्यकता होती है। हालाँकि, बूलियन डोमेन {0,1} पर {AND, OR} का आधार एक दिलचस्प गेट सेट का …

40 lower-bounds  circuit-complexity  circuit-families 

बता दें कि PRIMES (उर्फ primality टेस्टिंग ) समस्या है: एक प्राकृतिक संख्या को देखते हुए , एक अभाज्य संख्या है?nnnnnn चलो फैक्टरिंग समस्या हो: प्राकृतिक संख्या को देखते हुए , के साथ , करता एक कारक है के साथ ?nnnmmm1≤m≤n1≤m≤n1 \leq m \leq nnnnddd1&lt;d&lt;m1&lt;d&lt;m1 < d < m क्या …

39 cc.complexity-theory  lower-bounds  factoring  primes  p-hardness 

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

38 cc.complexity-theory  lower-bounds  approximation-algorithms  greedy-algorithms  approximation-hardness 

कुछ साल पहले, जोएल फ्रीडमैन द्वारा लोथ सर्किट गोष्ठी से संबंधित कुछ काम ग्रोथेंडिक कोहोमोलॉजी द्वारा किए गए थे (देखें कागजात: http://arxiv.org/abs/cs/0512008 , http://arxiv.org/abs/cs/60402424 )। क्या विचार की यह रेखा बूलियन जटिलता में कोई नई अंतर्दृष्टि लाती है, या क्या यह एक गणितीय जिज्ञासा है?

33 cc.complexity-theory  lower-bounds  circuit-complexity  boolean-functions 

चलो fff एक बूलियन समारोह हो सकता है और के से एक समारोह के रूप च बारे में सोचते हैं {−1,1}n{−1,1}n\{-1,1\}^n करने के लिए {−1,1}{−1,1}\{ -1,1 \} । इस भाषा में f का फूरियर विस्तार केवल वर्ग मुक्त मोनोमियल के संदर्भ में f का विस्तार है। (ये 2n2n2^n मोनोमियल {−1,1}n{−1,1}n\{-1,1\}^n …

29 cc.complexity-theory  lower-bounds  circuit-complexity  boolean-functions  fourier-analysis 

रेयान विलियम्स की हालिया सफलता सर्किट जटिलता कम-बाउंड परिणाम एक प्रमाण तकनीक प्रदान करती है जो जटिलता को कम करने के लिए ऊपरी-बाउंड परिणाम का उपयोग करती है। सुरेश वेंकट इस सवाल के जवाब में, क्या सैद्धांतिक कंप्यूटर विज्ञान में कोई प्रति-सहज परिणाम हैं? , ऊपरी सीमाओं को साबित करके …

29 cc.complexity-theory  lower-bounds 

मुझे चल रहे माध्य की गणना करने की आवश्यकता है: इनपुट: , k , वेक्टर ( x 1 , x 2 , … , x n ) ।nnnkkk(x1,x2,…,xn)(x1,x2,…,xn)(x_1, x_2, \dotsc, x_n) आउटपुट: वेक्टर , जहां y i का माध्य है ( x i , x i + 1 , …

25 ds.algorithms  ds.data-structures  lower-bounds 

सवाल: एसी 0 में स्पष्ट कार्य के लिए सबसे अच्छा ज्ञात सूत्र आकार निम्न है ? वहाँ एक स्पष्ट समारोह के साथ एक कम बाध्य है?Ω ( एन2)Ω(n2)\Omega(n^2) पृष्ठभूमि: अधिकांश निचली सीमाओं की तरह, सूत्र आकार की निचली सीमाएँ मुश्किल से आती हैं। मुझे मानक यूनिवर्सल गेट सेट {AND, OR, …

25 cc.complexity-theory  lower-bounds  circuit-complexity  formulas 

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

24 cc.complexity-theory  lower-bounds  space-bounded 

एक बहुपद एक है एक लय प्रक्षेपण एक बहुपद के ग्राम ( y 1 , ... , y मीटर ) यदि मीटर = पाली ( एन ) , और वहाँ एक काम है π : { y 1 , ... , y m } → { x 1 , …

23 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits 

मुझे पता है कि वेरिएबल्स 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 

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

22 cc.complexity-theory  sat  lower-bounds  space-bounded  space-complexity