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

में एक और धागा , जो Fitzsimons के बारे में पूछा "3SAT पर सबसे अच्छा वर्तमान कम सीमा।" मैं दूसरे रास्ते पर जाना चाहता हूं: 3SAT पर सबसे अच्छा वर्तमान ऊपरी सीमा क्या है? दूसरे शब्दों में, सबसे कुशल एसएटी सॉल्वर की समय जटिलता क्या है? विशेष रूप से, क्या …

43 cc.complexity-theory  ds.algorithms  sat  upper-bounds 

यह सर्किट जटिलता के बारे में एक सवाल है। (परिभाषाएँ सबसे नीचे हैं।) याओ और Beigel-Tarui से पता चला है कि हर कि आकार के सर्किट परिवार आकार के एक बराबर सर्किट परिवार है गहराई के दो , जहां उत्पादन गेट एक सममित समारोह है और दूसरे स्तर होते हैं …

40 cc.complexity-theory  circuit-complexity  upper-bounds 

कैरी लुक का उपयोग करते हुए आगे एल्गोरिथ्म हम एक बहुपद आकार 5 (या 4?) सर्किट परिवार का उपयोग करके जोड़ सकते हैं । क्या गहराई कम करना संभव है? क्या हम एक बहुपद आकार सर्किट परिवार का उपयोग करके दो द्विआधारी संख्याओं के जोड़ की गणना कर सकते हैं …

21 cc.complexity-theory  circuit-complexity  lower-bounds  upper-bounds 

मैं समझता हूं कि ट्यूरिंग पूर्णता के लिए अनबाउंड मेमोरी और अनबाउंड समय की आवश्यकता होती है। हालाँकि, इस सेवा में परमाणुओं की एक सीमित मात्रा होती है, जिससे स्मृति सीमित हो जाती है। उदाहरण के लिए, भले ही तर्कहीन हो, एक निश्चित संख्या से अधिक अंकों को संग्रहीत करने …

17 computability  upper-bounds 

निम्नलिखित सरल मोनोटोन सर्किट मॉडल पर विचार करें: प्रत्येक गेट बस एक बाइनरी या है। किसी फ़ंक्शन की जटिलता क्या है जहां A एक बूलियन n × n मैट्रिक्स है जिसमें O ( n ) 0 है? क्या यह रैखिक आकार OR-परिपथों द्वारा गणना की जा सकती है?f(x)=Axf(x)=Axf(x)=AxAAAn×nn×nn \times nO(n)O(n)O(n) …

14 ds.algorithms  circuit-complexity  upper-bounds 

G को 2n कोने पर एक पेड़ होने दें। G, treewidth of G, tw (G) = 1. अब मान लीजिए कि हम एक ग्राफ H प्राप्त करने के लिए G में n किनारों को जोड़ते हैं। Tw (H) पर एक आसान ऊपरी सीमा n + 1. क्या यह अनिवार्य रूप …

14 upper-bounds  treewidth 

क्या CNF SAT समस्या एनपी कठिन है जब कुल संख्या (लेकिन चौड़ाई नहीं) 3 या अधिक अवधि के क्लॉज एक निरंतरता से ऊपर बंधी है? क्या विशेष रूप से के बारे में जब वहाँ केवल एक ही खंड है?

10 np-hardness  sat  upper-bounds 

मान लें कि हम 3-SAT को वेरिएबल और c क्लॉज़ के साथ मानते हैं। मैं एक ऐसी विधि पर शोध कर रहा हूं जो किसी भी SAT समस्या को हल करने के लिए O ( v 2 + log c ) समय / स्थान लेने के लिए प्रकट होती है …

10 ds.algorithms  sat  upper-bounds 

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

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

चलो xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} के लिये i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\}, इस वादे के साथ x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (जहां योग समाप्त हो गया है ZZ\mathbb{Z})। फिर अगर निर्धारित करने की जटिलता क्या हैx=1x=1x = 1? ध्यान दें कि तुच्छ समस्या में निहित है ∩m≥2AC0[m]∩m≥2AC0[m]\cap_{m \geq 2}{\mathsf{AC}^0[m]} चूंकि x≡1modmx≡1modmx \equiv 1\bmod{m}iff …

9 reference-request  complexity-classes  circuit-complexity  upper-bounds