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

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

31 ds.algorithms  conditional-results  linear-programming  computing-over-reals  simplex 

क्या एक खोज समस्या के लिए एक यादृच्छिक एल्गोरिदम का एक दिलचस्प उदाहरण है जो हमेशा अपनी आंतरिक यादृच्छिकता की परवाह किए बिना एक ही (सही) उत्तर का आउटपुट देता है , लेकिन जो यादृच्छिकता का शोषण करता है ताकि इसकी अपेक्षित रनिंग समय सबसे तेजी से ज्ञात समय से …

31 ds.algorithms  randomized-algorithms 

जुलाई में प्रिंसटन में आयोजित जीसीटी को समर्पित एक हालिया वर्कशॉप में जोश ग्रोचो द्वारा जटिलता वेबलॉग की इस अतिथि पोस्ट में उन्होंने रिपोर्ट की। उपस्थित लोगों में से कई ने तर्क दिया कि हमें GCT का उपयोग बनाम N P की तुलना में आसान समस्याओं पर हमला करने के …

31 cc.complexity-theory  gct 

मैं नील्सन और नील्सन के " सेमेंटिक्स विद एप्लीकेशन " पढ़ रहा हूं, और मुझे वास्तव में यह विषय पसंद है। मैं प्रोग्रामिंग भाषा के शब्दार्थ पर एक और पुस्तक रखना चाहता हूं - लेकिन मैं वास्तव में केवल एक ही प्राप्त कर सकता हूं। मैंने तुर्बक / गिफर्ड पुस्तक …

31 reference-request  pl.programming-languages  semantics  denotational-semantics  books 

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

31 cc.complexity-theory  gt.game-theory  interactive-proofs 

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

31 cc.complexity-theory  circuit-complexity  uniformity 

जंग / शाह द्वारा एल्गोरिथ्म का उपयोग करके मामूली-बहिष्कृत रेखांकन पर रंग की संख्या लगभग आसान लगती है । उन समस्याओं के अन्य उदाहरण क्या हैं जो सामान्य रेखांकन पर कठिन हैं, लेकिन लघु-बहिष्कृत रेखांकन पर आसान हैं? अद्यतन 10/24 यह ग्रोह के परिणामों का पालन करने के लिए लगता …

31 ds.algorithms  graph-theory  graph-minor 

यदि यह निर्धारित किया जाए कि मात्रात्मक बूलियन फॉर्मूला क्या है ∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), हमेशा सच का मूल्यांकन एक शास्त्रीय PSPACE- पूर्ण समस्या है। इसे वैकल्पिक चाल के साथ दो खिलाड़ियों के बीच खेल के रूप में देखा जा सकता है। …

31 cc.complexity-theory  sat  gt.game-theory  pspace 

परिभाषित करें ioioio - भाषाओं के वर्ग होने के लिए एक भाषा है ऐसा है कि और असीम कई के लिए , और लंबाई सभी उदाहरणों पर सहमत हैं । (अर्थात्, यह भाषाओं का वह वर्ग है, जिसे "प्रायः प्रायः, प्रायः समय पर हल किया जा सकता है")।एल एल ' …

30 cc.complexity-theory  sat  oracles 

रिचर्ड जे। लिप्टन को "न्यू आइडियाज एंड टेक्नीक्स के परिचय के लिए" 2014 के नुथ पुरस्कार के विजेता के रूप में चुना गया है । आपके दिमाग में मुख्य नए विचार और तकनीकें क्या हैं जो लिप्टन ने विकसित की हैं? ध्यान दें। यह प्रश्न सामुदायिक विकि बन जाएगा, कृपया …

30 big-list 

क्या कोई यह स्पष्ट करने का प्रयास करने की हिम्मत करता है कि अध्ययन के इन क्षेत्रों का क्या संबंध है या शायद समस्याओं के स्तर पर और अधिक ठोस जवाब दे सकते हैं? जिसमें कुछ व्यापक रूप से स्वीकृत योगों को शामिल करना शामिल है। अगर मुझे यह सही …

30 soft-question  sat  terminology 

यह सर्वविदित है कि दो आयामी ग्रिड में एक यादृच्छिक चलना संभावना के साथ मूल में वापस आ जाएगी। यह भी ज्ञात है कि तीन आयामों में एक ही यादृच्छिक चलना मूल रूप से लौटने की 1 से कम संभावना है । मेरा सवाल यह है कि: क्या बीच में …

30 pr.probability  random-walks  markov-chains 

के लिए अधिकतम प्रवाह समस्या है, वहाँ कम से कम एक हाल ही में पिछले साल के रूप में के रूप में विकसित के साथ, बहुत परिष्कृत एल्गोरिदम के एक नंबर होने लगते हैं। ओर्लिन का मैक्स O (mn) समय में बहता है या बेहतर एक एल्गोरिथ्म देता है जो …

30 ds.algorithms  graph-algorithms  application-of-theory  max-flow 

विकिपीडिया का हवाला देते हुए , "[कॉनवे के गेम ऑफ लाइफ] में एक सार्वभौमिक ट्यूरिंग मशीन की शक्ति है: अर्थात्, कुछ भी जो एल्गोरिदमिक रूप से गणना की जा सकती है, कॉनवे के गेम ऑफ लाइफ के भीतर गणना की जा सकती है।" क्या ऐसे परिणाम कॉनवे के गेम ऑफ …

30 cc.complexity-theory  pr.probability  cellular-automata  fault-tolerance 

बंधे हुए nondeterminism एक फ़ंक्शन g ( n )g(n)g(n) को एक नई श्रेणी - बनाने के लिए संसाधन-बाध्यता नियतात्मक ट्यूरिंग मशीनों द्वारा स्वीकृत भाषाओं के एक वर्ग CCC के साथ जोड़ते हैं । इस वर्ग में वे भाषाएँ शामिल हैं जिन्हें कुछ nondeterministic Turing machine द्वारा स्वीकार किया जाता , …

30 cc.complexity-theory  graph-theory  graph-isomorphism  nondeterminism