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

एक बूलियन सर्किट के ट्रेविडेथ की बात कर सकता है , इसे तारों (कोने) पर "नैतिक" ग्राफ के ट्रेविद के रूप में परिभाषित करता है जो निम्नानुसार प्राप्त होता है: तारों को aaa और bbb कनेक्ट करें जब भी bbbaaa इनपुट के रूप में गेट के आउटपुट (या) विपरीतता से); …

14 circuit-complexity  pr.probability  treewidth  arithmetic-circuits 

क्या यह ज्ञात है कि सर्किट मूल्यांकन समस्या in ? कैसे के बारे में (वर्दी )? एन सी 1 ए एल ओ जी जी टी आई एम ई एन सी 1 1एन सी1NC1\mathsf{NC^1}एन सी1NC1\mathsf{NC^1}A L o g T T i m eALogTime\mathsf{ALogTime}एन सी1NC1\mathsf{NC^1} हम जानते हैं कि गहराई के सर्किट …

14 cc.complexity-theory  reference-request  circuit-complexity 

Adleman 1978 में पता चला है कि : एक बूलियन समारोह अगर की चर आकार के एक संभाव्य बूलियन सर्किट से गणना की जा सकती , तो भी एक नियतात्मक द्वारा गणना की जा सकती और में आकार बहुपद का बूलियन सर्किट ; वास्तव में, आकार । BPP⊆P/polyBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly}fffnnnMMMfffMMMnnnO(nM)O(nM)O(nM) सामान्य …

13 cc.complexity-theory  circuit-complexity  randomized-algorithms  derandomization  arithmetic-circuits 

यह ज्ञात है कि अगर तो बहुपद पदानुक्रम यह संक्षिप्त हो Σ पी 2 और एम ए = ए एम ।NP⊆P/PolyNP⊆P/PolyNP\subseteq P/PolyΣP2Σ2P\Sigma_2^{P}MA=AMMA=AMMA = AM क्या सबसे मजबूत करता है, तो होना ही जाना जाता गिर रहे हैं ?NEXP⊆P/PolyNEXP⊆P/PolyNEXP\subseteq P/Poly

13 circuit-complexity  complexity 

P / Poly बहुपद-आकार बूलियन सर्किट के एक परिवार द्वारा हल की जाने वाली निर्णय समस्याओं का वर्ग है। यह वैकल्पिक रूप से एक बहुपद-समय ट्यूरिंग मशीन के रूप में परिभाषित किया जा सकता है जो एक सलाह स्ट्रिंग प्राप्त करता है जो n में बहुपद है और यह केवल …

13 cc.complexity-theory  complexity-classes  circuit-complexity  polynomial-time  monotone 

एक एल्गोरिथ्म समय में चल रहा यह देखते हुए , हम अधिक से अधिक आकार की एक ही समस्या के लिए एक "तुच्छ" वर्दी सर्किट परिवार में रूपांतरित कर सकते ≈ टी ( एन ) लॉग टी ( एन ) ।t ( n )t(n)t(n)≈ t ( n ) लॉगt ( …

13 cc.complexity-theory  circuit-complexity  uniformity 

चलो बहुमत समारोह, यानी होना च ( एक्स ) = 1 यदि और केवल यदि Σ n मैं = 1 एक्स मैं > n / 2 । मैं सोच रहा था कि क्या निम्न तथ्य का एक सरल प्रमाण था ("सरल" से मेरा मतलब है कि संभावनाशील विधि पर निर्भर …

13 cc.complexity-theory  circuit-complexity  boolean-functions  circuit-families  circuit-depth 

चलो की एक बूलियन समारोह होना n बूलियन चर। चलो जी ( x ) = टी ε ( च ) ( एक्स ) की उम्मीद मूल्य होना च ( y ) जब y से प्राप्त होता है एक्स प्रत्येक संभावना के साथ समन्वय स्थापित flipping द्वारा ε / 2 ।fffnnng(x)=Tϵ(f)(x)g(x)=Tϵ(f)(x)g(x)=T_\epsilon …

13 cc.complexity-theory  circuit-complexity  boolean-functions 

यादृच्छिक प्रतिबंधों और स्विचिंग लेम्मा के आधार पर कई प्रसिद्ध सर्किट आकार कम-बाउंड परिणाम हैं ।A सी0AC0\mathsf{AC^0} क्या हम सर्किट के लिए निम्न आकार-बाउंड को सिद्ध करने के लिए एक स्विचिंग लेम्मा परिणाम विकसित कर सकते हैं ( लिए निम्न-बद्ध प्रमाण के समान )? A C 0टी सी0TC0\mathsf{TC^0}A सी0AC0\mathsf{AC^0} या …

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

और एन एल ओ जी टी मैं हूँ ई छोटी से छोटी जटिलता वर्गों हमारे पास से दो हैं। (ध्यान दें कि लॉगरिदमिक समय पदानुक्रम L H A C 0 के बराबर हैऔर ये L H के पहले दो स्तर हैं)।DLogTimeDLogTime\mathsf{DLogTime}NLogTimeNLogTime\mathsf{NLogTime}LHLH\mathsf{LH}AC0AC0\mathsf{AC}^0LHLH\mathsf{LH} इस पढ़ने के बाद सवाल है, मैं अगर इन …

13 cc.complexity-theory  circuit-complexity 

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

13 cc.complexity-theory  complexity-classes  circuit-complexity 

मान लीजिए कि हमारे पास k निविष्टियाँ और एक आउटपुट के साथ एकल-परत फ़ीड फॉरवर्ड न्यूरल नेटवर्क है। यह से एक फ़ंक्शन की गणना करता है , यह देखने के लिए काफी आसान है कि इसमें रूप में कम से कम एक ही कम्प्यूटेशनल शक्ति है । बस मज़े के …

13 cc.complexity-theory  circuit-complexity  machine-learning  ne.neural-evol 

आधार के आधार पर आकार के आकार के निविष्टियों के साथ एक बूलियन सर्किट द्वारा गणना की गई फ़ंक्शन पर विचार करें। ( 2 के लिए द्वार)।C n s ( n ) = p o l y ( n ) { X O R , A N D , N …

12 circuit-complexity  circuits 

मैं सभी संतोषजनक प्रस्तावक तर्क सूत्रों की भाषा पर विचार कर रहा हूँ, SAT (यह सुनिश्चित करने के लिए कि यह एक परिमित वर्णमाला है, हम कुछ उपयुक्त तरीके से प्रस्ताव पत्र सांकेतिक शब्दों में बदलना होगा [संपादित करें: उत्तरों ने कहा कि प्रश्न के उत्तर के तहत मजबूत नहीं …

12 cc.complexity-theory  circuit-complexity  sat  context-free 

Let एक दिए गए मल्टीलाइनर बहुपद -मोनोटोन) अंकगणित के न्यूनतम आकार को निरूपित करते हैं। और एक (गैर-मोनोटोन) बूलियन के न्यूनतम आकार को निरूपित करते हैं बूलियन संस्करण की गणना करते हुए सर्किट के द्वारा परिभाषित किया गया: A(f)A(f)A(f)(+,×,−)(+,×,−)(+,\times,-)f(x1,…,xn)=∑e∈Ece∏i=1nxeii,f(x1,…,xn)=∑e∈Ece∏i=1nxiei, f(x_1,\ldots,x_n)=\sum_{e\in E}c_e\prod_{i=1}^n x_i^{e_i}\,, B(f)B(f)B(f)(∨,∧,¬)(∨,∧,¬)(\lor,\land,\neg) fbfbf_bffffb(x1,…,xn)=⋁e∈E ⋀i:ei≠0xi.fb(x1,…,xn)=⋁e∈E ⋀i:ei≠0xi. f_b(x_1,\ldots,x_n)=\bigvee_{e\in E}\ \bigwedge_{i\colon e_i\neq …

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