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

विश्वास करने के लिए मजबूर कारण क्या हैं L≠PL≠PL\neq P ? एल लॉग-स्पेस एल्गोरिदम का वर्ग है जो इनपुट के लिए संकेत देता है। पल के लिए एल = पी मान लीजिए। पी-पूर्ण समस्या के लिए लॉग-स्पेस एल्गोरिथ्म अपने सामान्य रूपरेखा में कैसा दिखेगा?

23 cc.complexity-theory  complexity-classes 

मुझे पता है कि वेरिएबल्स OR फ़ंक्शन को बहुपद द्वारा बिल्कुल दर्शाया जा सकता है जैसे: p (x_1, \ ldots, x_n) = 1- \ prod_ { i = 1} ^ n \ left (1-x_i \ right) , जो डिग्री n का है ।एन nnएक्स 1 , … , एक्स एनx1,…,xnx_1,\ldots, …

23 cc.complexity-theory  co.combinatorics  lower-bounds  polynomials 

जो मैं समझता हूं (जो बहुत कम है, इसलिए कृपया मुझे सही करें जहां मैं गलत हूं!), प्रोग्रामिंग भाषाओं का सिद्धांत अक्सर "अंतर्ज्ञानवादी" प्रमाणों से संबंधित होता है। मेरी अपनी व्याख्या में, दृष्टिकोण की आवश्यकता है कि हम तर्क और उत्तेजना पर गणना के परिणामों को गंभीरता से लें। एक …

23 lo.logic  soft-question  pl.programming-languages  constructive-mathematics 

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

23 cc.complexity-theory  reference-request  fl.formal-languages  time-complexity  reductions 

निम्नलिखित फ़ॉर्म की अनुकूलन समस्याओं पर विचार करें। आज्ञा देना एक बहुपद-समय कम्प्यूटेशनल फ़ंक्शन है जो एक स्ट्रिंग को तर्कसंगत संख्या में मैप करता है । अनुकूलन समस्या यह है: -bit स्ट्रिंग्स पर का अधिकतम मान क्या है ?f(x)f(x)f(x)f ( x ) n xxxxf(x)f(x)f(x)nnnxxx हम कहते हैं कि इस तरह …

23 cc.complexity-theory  graph-algorithms  complexity-classes  optimization  linear-programming 

हम जानते हैं कि अधिकतम स्वतंत्र सेट (एमआईएस) के एक पहलू के भीतर अनुमान लगाने के लिए कठिन है किसी के लिए जब तक पी = एनपी। ग्राफ़ के कुछ विशेष वर्ग क्या हैं जिनके लिए बेहतर सन्निकटन एल्गोरिदम ज्ञात हैं?n1 - ϵn1-εn^{1-\epsilon}ϵ > ०ε>0\epsilon > 0 वे रेखांकन क्या …

23 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms 

हाल ही में मैंने arxiv पर कई लेख देखे हैं जो सम-वर्ग नामक एक प्रमाण प्रणाली का उल्लेख करते हैं। क्या कोई समझा सकता है कि एक राशि-वर्ग प्रमाण क्या है और इस तरह के प्रमाण महत्वपूर्ण / दिलचस्प क्यों हैं? वे अन्य बीजीय प्रूफ सिस्टम से कैसे संबंधित हैं? …

23 cc.complexity-theory  lo.logic  algebraic-complexity  proof-complexity  sum-of-squares 

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

23 graph-theory  co.combinatorics 

मैं यह जानने की कोशिश कर रहा हूं कि वास्तव में कितने करीब हैं और , जब और एक निरंतरता है जो एन (इसलिए पर निर्भर नहीं है )। मेरा अनुमान है कि कोड़ा है, लेकिन मैं इसे साबित नहीं कर पाया हूं।ई [ टी डब्ल्यू ( जी ) ] …

23 graph-theory  co.combinatorics  treewidth  random-graphs 

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

23 approximation-algorithms  ne.neural-evol  na.numerical-analysis 

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

23 computability  time-complexity  formal-methods  se.software-engineering 

स्पष्ट रूप से CLIQUE से k-Color में कमी है क्योंकि वे दोनों NP- पूर्ण हैं। वास्तव में, मैं CLIQUE से 3-SAT में कमी करके 3-SAT से k- रंग में कमी करके एक का निर्माण कर सकता हूं। मैं सोच रहा हूँ कि क्या इन समस्याओं के बीच एक उचित प्रत्यक्ष …

23 cc.complexity-theory  graph-theory  np-hardness  reductions 

मुझे हाल ही में पत्रिका और कार्यवाही (यानी, सोडा) संस्करण के बीच एक महत्वपूर्ण अंतर नहीं होने के आधार पर पत्रिकाओं (यानी, टीएएलजी) से खारिज कर दिया गया है। मुझे जर्नल में जमा करने का मुख्य कारण इसकी पूरी समीक्षा प्रक्रिया है। इसके अलावा, सोडा की 20 पृष्ठ की सीमा …

23 soft-question  research-practice  conferences  journals 

इस सवाल से प्रेरित होकर , कौन सी प्रमुख समस्याएं और मौजूदा समाधान हैं जिन्हें (सैद्धांतिक) वितरित सिस्टम डोमेन में सुधार की आवश्यकता है। सदस्यता प्रोटोकॉल, डेटा स्थिरता जैसी कोई चीज़?

23 big-list  dc.distributed-comp 

जटिलता सिद्धांत में मौजूद व्यापक पदानुक्रमों से प्रेरित होकर, मैंने सोचा कि क्या इस तरह के पदानुक्रम भी प्रकार की प्रणालियों के लिए मौजूद थे। हालाँकि, अब तक मैंने जो दो उदाहरण पाए हैं, वे दोनों पदानुक्रम (क्रमिक सुविधाओं के साथ) के बजाय चेकलिस्ट (क्रमिक रूप से अधिक और अधिक …

23 pl.programming-languages  type-theory