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

मैट्रिक्स को ऊपरी-त्रिकोणीय रूप में लाने के लिए आवश्यक प्राथमिक पंक्ति और स्तंभ संचालन की न्यूनतम संख्या होने के लिए n × n मैट्रिक्स की गाऊसी जटिलता को परिभाषित करें । यह 0 और n 2 (गॉसियन एलिमिनेशन के माध्यम से) के बीच की मात्रा है । धारणा किसी भी …

18 cc.complexity-theory  lower-bounds  matrices 

ब्लम का निचला बाउंड एक ज्ञात फ़ंक्शन के लिए पूर्ण आधार पर सबसे अच्छा ज्ञात सर्किट लोअर बाउंड है , cf. संबंधित परिणामों के लिए इस सवाल का जुकना जवाब ।f : { 0 , 1 } n → { 0 , 1 }3n−o(n)3n-ओ(n)3n-o(n)f:{0,1}n→{0,1}f:{0,1}n→{0,1}f : \{0,1\}^n \to \{0,1\} सबसे अच्छा …

17 circuit-complexity  lower-bounds 

AC0AC0AC^{0}pppAC0[q]AC0[q]AC^{0}[q]AC0[q]AC0[q]AC^0[q]qqqgcd(p,q)=1gcd(p,q)=1\gcd(p,q)=1। हालाँकि, पॉलीग्लिथेरमिक डेप्थ सर्किट पर ठोस निचले सीमा परिणाम प्राप्त करना इनपुट्स को सीमित करने और परिमित क्षेत्रों पर बहुपदों को सन्निकट करने जैसे शास्त्रीय तरीकों के उपयोग से पहुंच से बाहर लगता है। मैं एक STOC'96 पेपर को जानता हूं जो ज्यामितीय जटिलता सिद्धांत की ओर ले जाता …

17 cc.complexity-theory  circuit-complexity  lower-bounds  dc.parallel-comp  gct 

इस महीने के फिशर के पेपर ने मुझे याद दिलाया कि मैं सक्सेस डेटा संरचनाओं की कला के बारे में कितना कम जानता हूं और उनका उपयोग करने के लिए एल्गोरिदम। उन लोगों के लिए जो आत्मघाती डेटा संरचनाओं के बारे में नहीं जानते हैं: एक (एन) अलग विन्यास, और …

17 ds.data-structures  lower-bounds 

एक साथ इनपुट बिट्स की गणना करने के लिए आवश्यक बाइनरी गेट्स की न्यूनतम संख्या क्या है ? तुच्छ ऊपरी बंध । मेरा मानना ​​है कि यह इष्टतम है, लेकिन इसे कैसे साबित किया जाए? मानक गेट उन्मूलन तकनीक यहां काम नहीं करती है क्योंकि इनपुट वेरिएबल्स में से किसी …

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

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

15 cc.complexity-theory  circuit-complexity  lower-bounds  dynamic-programming 

हर एक मोनोटोन अंकगणित सर्किट , यानी एक -सर्किट, कुछ बहुभिन्नरूपी बहुपद गणना nonnegative पूर्णांक गुणांक के साथ करता है। एक बहुपद , सर्किट को देखते हुए F ( x 1 , … , x n ) f ( x 1 , … , x n ){+,×}{+,×}\{+,\times\}F(x1,…,xn)एफ(एक्स1,...,एक्सn)F(x_1,\ldots,x_n)f(x1,…,xn)च(एक्स1,...,एक्सn)f(x_1,\ldots,x_n) गणना करता अगर …

15 circuit-complexity  lower-bounds  arithmetic-circuits  cc-complexity-theory 

पृष्ठभूमि फाटकों के एक सेट पर एक बार पढ़ा जाने वाला सूत्र (जिसे एक आधार भी कहा जाता है) एक ऐसा सूत्र है जिसमें प्रत्येक इनपुट चर एक बार दिखाई देता है। डी-मॉर्गन आधार (जिसमें 2-बिट गेट्स और OR हैं, और 1-बिट गेट नहीं) और पूर्ण बाइनरी बेस (जिसमें सभी …

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

मैंने हाल ही में निर्णय ट्री मॉडल में एक समस्या की जटिलता पर बाध्य एक द्विघात कम की खोज की, और मुझे आश्चर्य है कि क्या यह परिणाम यादृच्छिक रूप से एक्सेस मशीन मॉडल में आंशिक रूप से सामान्यीकृत हो सकता है । द्वारा आंशिक रूप से , मैं एक …

15 cc.complexity-theory  lower-bounds 

यह इस प्रश्न का अनुसरण है , और शिव किनाली के इस प्रश्न से संबंधित है । ऐसा लगता है कि इन कागजों (में सबूत Allender , Caussinus-मैकेंजी-Therien-वोल्मर , Koiran-Perifel ) पदानुक्रम प्रमेयों का उपयोग करें। मैं जानना चाहता हूं कि क्या सबूत " शुद्ध " विकर्ण प्रमेय हैं, या …

15 cc.complexity-theory  lower-bounds  relativization  permanent 

किसी भाषा की (सामान्यीकृत) स्टार ऊँचाई क्लेनी सितारों की न्यूनतम घोंसले के शिकार है जो एक विस्तारित नियमित अभिव्यक्ति द्वारा भाषा का प्रतिनिधित्व करने के लिए आवश्यक है। याद रखें कि एक परिमित वर्णमाला के ऊपर एक विस्तारित नियमित अभिव्यक्ति को संतुष्ट करता है निम्नलिखित:AAA (1) और एक सब के …

15 fl.formal-languages  lower-bounds  regular-expressions 

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 

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

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

यह सर्वविदित है कि कोई भी निर्धारक दो-पक्ष प्रोटोकॉल इनपुट पर असमानता समस्या (डीआईजे) को हल नहीं कर सकता है, सबसे खराब स्थिति में n + 1 बिट्स भेजे बिना (देखें, उदाहरण के लिए, कुशलीवित्ज और निसान द्वारा पुस्तक)। के लिए घिरा त्रुटि प्रोटोकॉल बेतरतीब, एक कम के लिए बाध्य …

14 lower-bounds  communication-complexity 

दहनशील प्रतिनिधित्व सिद्धांत और बीजगणितीय ज्यामिति में कई समस्याएं हैं जिनके लिए कोई सकारात्मक सूत्र ज्ञात नहीं है। ऐसे कई उदाहरण हैं जिनके बारे में मैं सोच रहा हूं, लेकिन मुझे अपने उदाहरण के रूप में कंप्यूटिंग क्रोनएफ़िशिएंसी लेने दें । आमतौर पर, "सकारात्मक सूत्र" की धारणा को कॉम्बिनेटरिक्स में …

14 cc.complexity-theory  counting-complexity  lower-bounds