सैद्धांतिक कंप्यूटर विज्ञान

सबसे अच्छा ऊपरी गुणा के समय जटिलता पर जाना जाता है बाध्य मार्टिन Fürer के लिए बाध्य है है, जो इसके अलावा के रैखिक समय जटिलता से अधिक है। क्या हमारे पास इस बात का प्रमाण है कि जोड़ गुणा से अधिक आसान है?nlogn2O(log∗n)nlog⁡n2O(log∗⁡n)n\log n2^{O(\log^* n)}

21 cc.complexity-theory  time-complexity 

मैं अगले सेमेस्टर में भाषाओं और ऑटोमेटा पर एक मानक स्नातक कक्षा पढ़ा रहा हूँ, और एक वैध मुक्त या कम लागत वाले पाठ का उपयोग करना पसंद करूँगा। कोई सुझाव? मुझे Sipser पाठ बहुत पसंद है लेकिन नवीनतम संस्करण की कीमत $ 196 है, जो कि मुफ्त पाठ्यक्रमों के …

21 soft-question  teaching  books 

कम्प्यूटेशनल जटिलता सिद्धांत, और विशेष रूप "संरचनात्मक" जटिलता सिद्धांत में में कई महत्वपूर्ण परिणाम, दिलचस्प संपत्ति है कि वे मूल रूप से निम्नलिखित के रूप में समझा जा सकता है है से (मैं इसे देख के रूप में ...) एल्गोरिथम एक कुशल एल्गोरिथ्म या कुछ के लिए संचार प्रोटोकॉल देने …

21 cc.complexity-theory  structural-complexity 

हम सभी जानते हैं कि तुलना आधारित मॉडल में तत्व भिन्नता समय में नहीं की जा सकती है । हालांकि, शब्द-रैम पर, कोई संभवतः बेहतर हासिल कर सकता है।o(nlogn)o(nlog⁡n)o(n\log n) बेशक, अगर कोई एक सही हैश फ़ंक्शन के अस्तित्व को मानता है जिसे रेखीय समय में गणना की जा सकती …

21 ds.algorithms 

पर थोड़ा तर्क जबकि इस सवाल है, मैं सभी विभिन्न कारणों से एक ग्राफ की पहचान करने की कोशिश की है G=(VG,EG)G=(VG,EG)G = (V_G,E_G) होने के लिए विफल हो सकता है kkk संभाव्य। ये केवल 2 कारण हैं जो मैं अब तक पहचान पा रहा था: GGG में आकार का …

21 graph-theory  co.combinatorics  graph-colouring  clique 

मैं एक स्नातक हूं, और हाल ही में इस तथ्य के साथ आया हूं कि मेरे पास सैद्धांतिक कंप्यूटर विज्ञान में अनुसंधान करने की बुद्धि नहीं हो सकती है, या पीएचडी कार्यक्रम में प्रवेश करने और पूरा करने में सक्षम हो सकता है। हालाँकि, मैं अभी भी सैद्धांतिक कंप्यूटर विज्ञान …

21 soft-question  career 

क्या बीपीपी में होने वाली प्राकृतिक समस्या का एक उदाहरण है लेकिन यह आरपी या सह-आरपी में नहीं है?

21 cc.complexity-theory  complexity-classes  randomness 

O(nlogn)O(n\log n)1+O(n−c)1+O(n^{-c})ccO(n)O(n)( अधिकतम - न्यूनतम ) n - ( c + 1 )(max−min)n−(c+1)(\max-\min)n^{-(c+1)}इसके मूल मूल्य का, और उसके बाद मूलांक का उपयोग करें। लेकिन गोलाई वाले मॉडल में समस्याग्रस्त जटिलता सिद्धांत होता है और इससे मुझे आश्चर्य होता है कि गणना के कमजोर मॉडल के बारे में क्या? तो, एक …

21 ds.algorithms  approximation-algorithms  sorting  tsp 

कैरी लुक का उपयोग करते हुए आगे एल्गोरिथ्म हम एक बहुपद आकार 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 

मैं वर्णमाला के ऊपर है कि नियमित भाषाओं देखा स्वाभाविक रूप से एक poset के रूप में सोचा जा सकता है एक जाली, और वास्तव में। इसके अलावा, खाली भाषा के साथ संयोजन एक साथ ε इस श्रेणी है कि वितरण से अधिक मिलती है (मैं नहीं कर रहा हूँ …

21 fl.formal-languages  regular-language  ct.category-theory 

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

21 cc.complexity-theory  optimization  circuit-complexity 

हो सकता है कि किसी के बीच का अंतर समझाने में सक्षम हो: बीजगणितीय डेटाटिप्स (जो मैं काफी परिचित हूं) सामान्यीकृत बीजगणितीय डेटाटिप्स (उन्हें सामान्यीकृत क्या बनाता है?) आगमनात्मक प्रकार (जैसे Coq) (विशेष रूप से आगमनात्मक प्रकार।) धन्यवाद।

21 lo.logic  pl.programming-languages  type-theory  dependent-type 

प्रश्न से प्रेरित फैक्टरिंग को पी-हार्ड के रूप में जाना जाता है , मुझे आश्चर्य है कि ज्ञान की वर्तमान समान स्थिति ग्राफ आइसोमॉर्फिज़्म की कठोरता के बारे में क्या है। मुझे यकीन है कि वर्तमान में यह ज्ञात नहीं है कि जीआई पी में है, लेकिन: वर्तमान में ज्ञात …

21 cc.complexity-theory  complexity-classes  graph-isomorphism