circuit-complexity पर टैग किए गए जवाब

रज़बोरोव-रूडीच के प्राकृतिक सबूत के पेपर, पृष्ठ 6 में, भाग में वे चर्चा करते हैं कि " मोनोटोन सर्किट मॉडल के खिलाफ मजबूत लोअरबाउंड सबूत हैं" और वे चित्र में कैसे फिट होते हैं, निम्नलिखित वाक्य हैं: यहाँ यह मुद्दा रचनात्मक नहीं है - इन साक्ष्यों में प्रयुक्त गुण सभी …

15 cc.complexity-theory  circuit-complexity  randomness  natural-proofs  boolean-functions 

यह प्रश्न या तो बूलियन सर्किट के सर्किट जटिलता के ढांचे में, या बीजीय जटिलता सिद्धांत के ढांचे में, या शायद अन्य सेटिंग्स में बहुत से पूछा जा सकता है। तर्कों की गिनती करके यह दिखाना आसान है, कि एन इनपुट पर बुलियन फ़ंक्शन मौजूद हैं जिनके लिए बहुत अधिक …

15 cc.complexity-theory  circuit-complexity  algebraic-complexity 

प्राकृतिक सबूत बूलियन फ़ंक्शंस की सर्किट जटिलता पर कम सीमा साबित करने की दिशा में एक बाधा है। वे सीधे तौर पर सर्किट जटिलता पर कम सीमा साबित करने में ऐसी किसी भी बाधा का अर्थ नहीं लगाते हैं। क्या इस तरह की बाधाओं की पहचान करने की दिशा में …

15 cc.complexity-theory  circuit-complexity  barriers  natural-proofs 

यदि कोई लॉगस्पेस ट्यूरिंग मशीन मौजूद है जो भाषा में सलाह की बहुपद राशि के साथ भाषा तय करती है तो एक भाषा ।L/polyL/polyL/poly अधिक जानकारी के लिए यहां देखें: https://en.wikipedia.org/wiki/L/poly सवाल के परिणाम क्या हैं ?P⊆L/polyP⊆L/polyP \subseteq L/poly

14 cc.complexity-theory  circuit-complexity  polynomial-time  advice-and-nonuniformity  logspace 

चलो समारोह जो नक्शे एक होना है -gate सर्किट सी पर n बिट और एक n -बिट स्ट्रिंग एक्स के लिए सी ( एक्स ) । मान लें कि सर्किट असाइनमेंट k : = g ( i , j ) जहां i , j , k वायर लेबल हैं , …

14 cc.complexity-theory  circuit-complexity  circuit-families 

निम्नलिखित सरल मोनोटोन सर्किट मॉडल पर विचार करें: प्रत्येक गेट बस एक बाइनरी या है। किसी फ़ंक्शन की जटिलता क्या है जहां 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 

BPPBPP\mathbf{BPP}PP\mathbf{P}polypoly\mathrm{poly} (max,+)(max,+)(\max,+)(min,+)(min,+)(\min,+) को एक सेमिनार होने दें । में बहुपद के अनुक्रम का एक शून्य प्रतिमान एक उप- , जिसके लिए मौजूद है और ऐसा है कि सभी के लिए , iff । यही है, साथ बिल्कुल उन बहुपद के ग्राफ को में बिंदु को हिट करना होगा । ("शून्य-पैटर्न" …

14 co.combinatorics  circuit-complexity  algebraic-complexity  arithmetic-circuits  vc-dimension 

kkk वें प्राथमिक सममित बहुपद Snk(x1,…,xn)Skn(x1,…,xn)S_k^n(x_1,\ldots,x_n) सभी का योग है के उत्पादों अलग चर। मुझे इस बहुपद के मोनोटोन अंकगणित सर्किट जटिलता में दिलचस्पी है । एक साधारण गतिशील प्रोग्रामिंग एल्गोरिथ्म (साथ ही नीचे छवि 1) फाटकों के साथ एक सर्किट देता है ।(nk)(nk)\binom{n}{k}kkk(+,×)(+,×)(+,\times)(+,×)(+,×)(+,\times)O(kn)O(kn)O(kn) प्रश्न: क्या की निचली सीमा ज्ञात …

14 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits  dynamic-programming 

Reg⊆NC1Reg⊆NC1\mathsf{Reg} \subseteq \mathsf{NC^1}RegReg\mathsf{Reg}आर ई जी ⊆ टी सी 0 एन सी 1 ⊈ टी सी 0 आर ई जी ⊈ टी सी 0TC0⊈RegTC0⊈Reg\mathsf{TC^0} \not\subseteq \mathsf{Reg}Reg⊆TC0Reg⊆TC0\mathsf{Reg} \subseteq \mathsf{TC^0}NC1⊈TC0NC1⊈TC0\mathsf{NC^1}\not\subseteq\mathsf{TC^0}Reg⊈TC0Reg⊈TC0\mathsf{Reg} \not\subseteq \mathsf{TC^0} क्या में एक समस्या के लिए कोई उम्मीदवार है जो ?टी सी ०RegReg\mathsf{Reg}TC0TC0\mathsf{TC^0} क्या कोई सशर्त परिणाम है कि , उदाहरण …

14 cc.complexity-theory  fl.formal-languages  automata-theory  circuit-complexity  regular-language 

रेज़बोरोव ने साबित किया कि मोनोटोन फ़ंक्शन मिलान mP में नहीं है । लेकिन क्या हम कुछ नकारात्मक के साथ बहुपद आकार सर्किट का उपयोग करके मिलान की गणना कर सकते हैं? क्या नकारात्मक के साथ एक पी / पॉली सर्किट है जो मिलान की गणना करता है? मिलान के …

14 cc.complexity-theory  circuit-complexity  lower-bounds  matching  monotone 

हम एक स्रोत नोड sss और एक लक्ष्य नोड साथ डीएजी (निर्देशित एसाइक्लिक ग्राफ) पर विचार करते हैं ttt; समान किनारों की जोड़ियों में शामिल होने वाले समानांतर किनारों की अनुमति है। एक kkk - कट किनारों का एक समूह है, जिसके हटाने से k की तुलना में सभी sss …

14 cc.complexity-theory  graph-theory  circuit-complexity  directed-acyclic-graph 

मैं अरोड़ा और बराक की कम्प्यूटेशनल जटिलता पुस्तक में एनईएक्सपी के लिए एसीसी निचले सीमा के बारे में परिशिष्ट पढ़ रहा हूं । http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf कुंजी lemmas में से एक से एक परिवर्तन है समतुल्य रूप polylogarithmic डिग्री और quasipolynomial गुणांक, या के साथ पूर्णांकों से अधिक multilinear बहुआयामी पद के …

14 cc.complexity-theory  co.combinatorics  complexity-classes  circuit-complexity  boolean-functions 

जैसा कि सभी जानते हैं, SAT wrt बहुपद-समय-कई-एक कटौती के लिए पूर्ण है। यह अभी भी पूरा है wrt कई-एक कटौती।NPNP\mathsf{NP}AC0AC0\mathsf{AC^0} मेरा सवाल यह है कि कटौती के लिए न्यूनतम आवश्यक गहराई क्या है? अधिक औपचारिक रूप से, कम से कम क्या है ऐसी है कि सैट है -हार्ड wrt …

14 cc.complexity-theory  reference-request  np-hardness  circuit-complexity  reductions 

परिणाम 1: लिनिअल-मंसूर-निसान प्रमेय का कहना है कि सर्किट द्वारा गणना किए गए कार्यों का फूरियर वजन उच्च संभावना वाले छोटे आकार के सबसेट पर केंद्रित है।A सी0AC0\mathsf{AC}^0 परिणाम 2: का फूरियर भार, डिग्री n के सह-कुशल पर केंद्रित है ।P A R I T YPARITY\mathsf{PARITY}nnn प्रश्न: क्या 1 और …

14 cc.complexity-theory  circuit-complexity  boolean-functions  fourier-analysis 

, O के परिवार ( लॉग i n ) के सर्किट द्वारा अनबाउंड-फैनिन या बाउंड-फैनिन और गेट्स वालेपरिवार की समस्याओं का हल है। नकारात्मक को केवल इनपुट स्तर पर अनुमति दी जाती है। यह ज्ञात है कि एस ए सी मैं के लिए मैं ≥ 1 पूरक और के तहत …

14 cc.complexity-theory  circuit-complexity  space-bounded  arithmetic-circuits