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

डी। बेरा, एफ। ग्रीन और एस। होमर (एसीएम सिगच न्यूज़ के पृष्ठ 36, जून 2007 वॉल्यूम 38, नंबर 2) द्वारा "स्मॉल डेप्थ क्वांटम सर्किट्स" के सर्वेक्षण में , मैंने निम्नलिखित वाक्य पढ़ा: का शास्त्रीय संस्करण (जिसमें ए एन डी और ओ आर गेट्स के पास सबसे अधिक निरंतर प्रशंसक हैं) …

23 cc.complexity-theory  circuit-complexity 

गहराई -3 परिणाम पर हालिया चैस के प्रकाश में (जो अन्य बातों के अलावा गहराई -3 अंकगणित सर्किट के लिए निर्धारक से अधिक के लिए ), मेरे पास निम्नलिखित प्रश्न हैं: ग्रिगोरिएव और करपिंस्की ने साबित किया, जो किसी भी गहराई -3 अंकगणितीय सर्किट के लिए कम बाध्य है, जो …

22 circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant 

सामान्य अंकगणित सर्किट के बारे में हमारे ज्ञान की स्थिति बूलियन सर्किट के बारे में हमारे ज्ञान की स्थिति के समान प्रतीत होती है, अर्थात हमारे पास कम निचले सीमा नहीं हैं। दूसरी ओर हमारे पास मोनोटोन बूलियन सर्किट के लिए घातीय आकार के निचले हिस्से हैं । हम मोनोटोन …

22 cc.complexity-theory  circuit-complexity  boolean-functions  monotone  arithmetic-circuits 

यह एक क्लासिक परिणाम है कि हर फैन-इन 2 और-और-नॉट सर्किट जो इनपुट चर से PARITY की गणना करता है, उसका आकार कम से कम और यह तेज है। (हम आकार को AND और OR गेटों की संख्या के रूप में परिभाषित करते हैं।) प्रमाण गेट-उन्मूलन द्वारा है और अगर …

21 cc.complexity-theory  circuit-complexity  parity 

जब 000 - 111 इनपुट तक सीमित है , तो हर { + , × }{+,×}\{+,\times\} -circuit F ( x 1 , … , x n )F(x1,…,xn)F(x_1,\ldots,x_n) कुछ फ़ंक्शन F : { 0 , 1 } n → N की गणना करता है F:{0,1}n→NF:\{0,1\}^n\to \mathbb{N}। बूलियन फ़ंक्शन प्राप्त करने के …

21 circuit-complexity  arithmetic-circuits  cc-complexity-theory 

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

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

निम्नलिखित तर्क पर विचार करें: चलो K(x)K(x)K(x) निरूपित Kolmogorov जटिलता की स्ट्रिंग । चैतीन का अधूरापन प्रमेय कहता हैxxx किसी भी सुसंगत और पर्याप्त मजबूत औपचारिक प्रणाली के लिए , वहाँ एक निरंतर मौजूद है (केवल औपचारिक प्रणाली और उसके भाषा के आधार पर) ऐसी है कि किसी भी तार …

21 cc.complexity-theory  reference-request  lo.logic  circuit-complexity  kolmogorov-complexity 

AND & OR गेट एक गेट है जिसे दो इनपुट दिए गए हैं और उनका AND और उनका OR लौटाता है। क्या सर्किट और एंड गेट के बाहर ही बने होते हैं, बिना धूमधाम के, मनमानी गणना करने में सक्षम होते हैं? अधिक सटीक रूप से, बहुपद समय गणना लॉगस्पेस …

21 cc.complexity-theory  circuit-complexity 

जैसा कि हम जानते हैं, -clique फ़ंक्शन पूर्ण -vertex ग्राफ एक ( फैले ) को , और आउटपुट iff में -clique होता है । इस मामले में चर किनारों के । यह पता है (रेज़बोरोव, अलोन-बोपाना) कि, , इस फ़ंक्शन को बारे में आकार के मोनोटोन सर्किट की आवश्यकता होती …

21 cc.complexity-theory  optimization  circuit-complexity 

वहाँ किसी भी प्रशंसनीय जटिलता / क्रिप्टो परिकल्पना है कि कि बहुपद आकार सर्किट (यानी subexponential आकार है संभावना को नियम है के साथ ε &lt; 1 ) घिरा गहराई ( घ = हे ( 1 ) ) सर्किट?2O(nϵ)2O(nϵ)2^{O(n^\epsilon)}ϵ&lt;1ϵ&lt;1\epsilon<1d=O(1)d=O(1)d = O(1) हम जानते हैं कि सर्किट द्वारा गणना किए जाने …

21 cc.complexity-theory  circuit-complexity  bounded-depth 

एन सीNC\mathsf{NC} कुशलता से समानांतर होने के विचार को पकड़ता है, और इसकी एक व्याख्या ऐसी समस्याएं हैं जो समांतर प्रोसेसर के लिए कुछ स्थिरांक , का उपयोग करके समय में हल करने योग्य हैं । मेरा सवाल यह है कि अगर एक अनुरूप जटिलता वर्ग है जहां समय और …

21 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  dc.parallel-comp 

प्रस्तावना इंटरएक्टिव सबूत प्रणालियों और आर्थर-मर्लिन प्रोटोकॉल द्वारा शुरू किए गए थे गोल्डवाशर मिकाली और Rackoff और बाबई 1985 सबसे पहले में वापस आ गया, यह सोचा गया कि पूर्व उत्तरार्द्ध से अधिक शक्तिशाली है, लेकिन गोल्डवाशर और Sipser से पता चला है कि वे एक ही शक्ति है कि …

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

हम (बहुपद आकार) स्थिर-गहराई सर्किट की सीमाओं के बारे में बहुत कुछ जानते हैं। चूँकि (बहुपद आकार) निरंतर-गहराई वाले सूत्र गणना का एक और भी अधिक प्रतिबंधित मॉडल हैं, एसी 0 में नहीं होने वाली सभी समस्याओं को भी निरंतर-गहराई वाले सूत्र द्वारा गणना योग्य नहीं किया जाता है। हालांकि, …

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

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

21 cc.complexity-theory  circuit-complexity  pr.probability 

Let सभी नियमित भाषाओं का वर्ग हो।REGREG\mathsf{REG} यह और \ mathsf {REG} \ not \ subset \ mathsf {AC} ^ 0 ज्ञात है । लेकिन क्या \ mathsf {AC} ^ 0 \ cap \ mathsf {REG} में भाषाओं के लिए कोई लक्षण वर्णन है ?AC0⊄REGAC0⊄REG\mathsf{AC}^0 \not\subset \mathsf{REG}REG⊄AC0REG⊄AC0\mathsf{REG} \not\subset \mathsf{AC}^0AC0∩REGAC0∩REG\mathsf{AC}^0 \cap …

20 circuit-complexity  regular-language