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

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

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

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

40 lower-bounds  circuit-complexity  circuit-families 

रेयान विलियम्स ने एसीसी पर अपनी निचली बाउंड को पोस्ट किया , उन समस्याओं का वर्ग जो निरंतर फैन-इन और गेट्स के साथ निरंतर गहराई वाले सर्किट हैं और सभी संभावित मी के लिए OR, NOT और MOD_m हैं। MOD_m फाटकों के बारे में क्या खास है? वे किसी भी …

39 cc.complexity-theory  circuit-complexity  big-picture  circuit-families 

आज्ञा देना निश्चित सकारात्मक पूर्णांक आकार बिट्स।AAAnnn इस पूर्णांक को पूर्व-संसाधित करने के लिए एक को उपयुक्त माना जाता है। आकार बिट्स के एक और सकारात्मक पूर्णांक को देखते हुए , गुणा की जटिलता क्या है ?BBBmmmABABAB ध्यान दें कि हमारे पास पहले से ही एल्गोरिदम है। यहाँ प्रश्न यह …

35 cc.complexity-theory  ds.algorithms  circuit-complexity  algebraic-complexity  arithmetic-circuits 

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

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

मुझे लगा कि मैं इस सवाल को साझा करूंगा क्योंकि यह यहां अन्य उपयोगकर्ताओं के लिए दिलचस्प हो सकता है। मान लें कि एक फ़ंक्शन जो एक समान वर्ग में है (जैसे कि ) एक छोटी गैर- समान श्रेणी में भी है (जैसे , यानी nonuniform ), इसका अर्थ यह …

31 cc.complexity-theory  circuit-complexity  uniformity 

चलो 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 

अपनी पुस्तक में, बूलियन फंक्शन कॉम्प्लेक्सिटी, स्टाइस जुकना का उल्लेख है (पृष्ठ 564) जिसमें कोलमोगोरोव का मानना ​​था कि पी में हर भाषा में रैखिक आकार के सर्किट हैं। किसी संदर्भ का उल्लेख नहीं है और मुझे ऑनलाइन कुछ भी नहीं मिला। क्या कोई इसके बारे में और कुछ जानता …

28 cc.complexity-theory  reference-request  circuit-complexity  ho.history-overview 

कम्प्यूटेशनल जटिलता में मोनोटोन और सामान्य संगणना के बीच एक महत्वपूर्ण अंतर है और रज़बोरोव द्वारा एक प्रसिद्ध प्रमेय का दावा है कि 3-SAT और यहां तक ​​कि MATCHING मोनोटोन बुलियन सर्किट मॉडल में बहुपद नहीं हैं। मेरा सवाल सरल है: क्या मोनोटोन सर्किट (या एक से अधिक) के लिए …

27 cc.complexity-theory  quantum-computing  circuit-complexity 

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

27 cc.complexity-theory  circuit-complexity  permutations 

हाल ही में, रयान विलम्स ने साबित किया कि जटिलता का एक पृथक्करण प्राप्त करने के लिए प्राकृतिक प्रूफ में निर्माण अपरिहार्य है: और । टी सी 0NEXPNEXP\mathsf{NEXP}TC0TC0\mathsf{TC}^{0} नेचुरल प्रूफ में कंस्ट्रक्टिविटी एक शर्त है कि सर्किट कॉम्प्लेक्सिटी में सभी कॉम्बीनेटरियल प्रूफ संतुष्ट हो जाते हैं और हम यह तय …

25 cc.complexity-theory  complexity-classes  circuit-complexity  gct  barriers 

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

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

एक सवाल पूछने के लिए माफी जो निश्चित रूप से बहुत सारे मानक संदर्भों में होनी चाहिए। मैं शीर्षक में बिल्कुल सवाल के बारे में उत्सुक हूं, विशेष रूप से मैं बूलियन सर्किट के बारे में सोच रहा हूं, कोई गहराई से बाध्य नहीं है। मैंने कई अलग-अलग वर्गों की …

25 cc.complexity-theory  circuit-complexity 

EDIT (v2): मैं समस्या के बारे में जो कुछ भी जानता हूं उसके अंत में एक खंड जोड़ा गया। EDIT (v3): अंत में थ्रेशोल्ड डिग्री पर जोड़ा गया चर्चा। सवाल यह प्रश्न मुख्य रूप से एक संदर्भ अनुरोध है। मैं समस्या के बारे में ज्यादा नहीं जानता। मैं जानना चाहता …

24 cc.complexity-theory  reference-request  circuit-complexity  polynomials 

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

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