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

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

14 ds.data-structures  tree 

एक अन्य सवाल के जवाब में, लैम्ब्डा कैलकुलस के बीटा सिद्धांत का विस्तार , फ्रेड ने उत्तर दिया: बीटा + नियम {s = t | s और t बंद हो गए हैं जहां एक शब्द M हल है यदि हम ऐसे शब्दों का अनुक्रम पा सकते हैं जो उनके लिए …

14 pl.programming-languages  lambda-calculus  lo.logic 

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

14 cc.complexity-theory  computability  np 

पुनरावृत्ति का विचार किसने पेश किया था ? क्या कोई समझा सकता है कि यह कहां से आया और कंप्यूटर विज्ञान पर इसका क्या प्रभाव पड़ा?

14 reference-request  ho.history-overview  recursion 

रॉबिन मिलनर ने बिग्रेड्स को ग्राफ-जैसी संरचना के साथ ग्राफिकल संरचना के एक प्रकार के रूप में परिभाषित किया , लेकिन जहां नोड्स को नेस्टेड किया जा सकता है। वे सीसीएस और जैसे प्रक्रिया पथरी सामान्यीकरण -calculus, लेकिन मिलनर उन्हें और अधिक आम तौर पर इस्तेमाल किया जा करने के …

14 process-algebra  ho.history-overview 

G को 2n कोने पर एक पेड़ होने दें। G, treewidth of G, tw (G) = 1. अब मान लीजिए कि हम एक ग्राफ H प्राप्त करने के लिए G में n किनारों को जोड़ते हैं। Tw (H) पर एक आसान ऊपरी सीमा n + 1. क्या यह अनिवार्य रूप …

14 upper-bounds  treewidth 

यदि आप कार्यक्रम सत्यापन से परिचित हैं, तो आप पृष्ठभूमि से पहले प्रश्न को पढ़ना पसंद करेंगे । यदि आप कार्यक्रम सत्यापन से परिचित नहीं हैं तो आप अभी भी इस प्रश्न का उत्तर देने में सक्षम हो सकते हैं, लेकिन आप पहले पृष्ठभूमि को पढ़ना पसंद करेंगे । पृष्ठभूमि …

14 cc.complexity-theory  lo.logic  program-verification  program-logic 

मैंने हाल ही में सबसे छोटी सुपरस्ट्रिंग समस्या के लिए लालची अनुमान के बारे में सीखा । इस समस्या में, हम के तार एक सेट दिए गए हैं रों1, … , एसns1,…,sns_1,\dots, s_n और हम पता लगाना चाहते हैं कम से कम superstring रोंss यानी प्रत्येक ऐसी है कि रोंमैंsis_i …

14 reference-request  approximation-algorithms  greedy-algorithms 

एक प्रकार के सिद्धांत के लिए, स्थिरता से मेरा मतलब है कि इसका एक प्रकार है जो आबाद नहीं है। लैम्ब्डा क्यूब के मजबूत सामान्यीकरण से, यह इस प्रकार है कि सिस्टम और सिस्टम सुसंगत हैं। MLTT + आगमनात्मक प्रकार भी एक सामान्यीकरण प्रमाण है। हालांकि, इन सभी को पीए …

14 type-theory  proof-theory 

चलो कुछ भाषा हो, तो हम को परिभाषित वाक्यात्मक अनुरूपता के रूप में यू ~ वी : ⇔ ∀ एक्स , वाई ∈ एक्स * : एक्स यू वाई ∈ एल ↔ एक्स वी वाई ∈ एल और भागफल monoid एक्स * / ~ एल है कहा जाता है वाक्यात्मक …

14 fl.formal-languages  automata-theory  regular-language  algebra  monoid 

f:{−1,1}n→{−1,1}f:{−1,1}n→{−1,1}f\colon\{-1,1\}^n \to \{-1,1\}iiiInfi[f]=defPrx∼{−1,1}n[f(x)≠f(x⊕i)]Infi⁡[f]=defPrx∼{−1,1}n[f(x)≠f(x⊕i)] \operatorname{Inf}_i[f] \stackrel{\rm def}{=} \Pr_{x\sim\{-1,1\}^n}[ f(x) \neq f(x^{\oplus i})] x⊕ix⊕ix^{\oplus i}iiixxxfffMinInf[f]=defmini∈[n]Infi[f].MinInf⁡[f]=defmini∈[n]Infi⁡[f].\operatorname{MinInf}[f] \stackrel{\rm def}{=} \min_{i\in[n]}\operatorname{Inf}_i[f]. एक पैरामीटर को देखते हुए , हम में से प्रत्येक पर इसके मूल्य को चुनकर एक -random function चयन करते हैं, स्वतंत्र रूप से प्रायिकता साथ यादृच्छिक पर , और प्रायिकता । फिर, यह …

14 reference-request  pr.probability  boolean-functions 

एल्गोरिथ्म के पाठ्यपुस्तक परिचय के आधार पर , एक लालची एल्गोरिथ्म की शुद्धता के लिए दो गुणों की आवश्यकता होती है: लालची पसंद की संपत्ति इष्टतम सबस्ट्रक्चर काउंटर उदाहरणों के साथ आना आसान है, जिसके लिए लालची पसंद की संपत्ति की कमी के कारण एक लालची समाधान विफल हो जाता …

14 greedy-algorithms 

मैं ऐसे परिणामों के उदाहरणों की तलाश कर रहा हूं जो एक आम दर्शक की बात के लिए लोगों के अंतर्ज्ञान के खिलाफ जाते हैं। परिणाम जो अगर गैर-विशेषज्ञों से पूछा जाता है "आपका अंतर्ज्ञान आपको क्या बताता है?", लगभग सभी इसे गलत मिलेगा। परिणाम का विवरण आसानी से सीएस …

14 big-list  teaching  intuition 

मैं मार्टिन-लोफ्स प्रकार के सिद्धांत ( HoTT पुस्तक के परिशिष्ट ) की औपचारिक प्रस्तुति पढ़ रहा हूं । लेखकों ने ब्रह्मांडों के एक पदानुक्रम का परिचय दिया, फिर और साथ ही -ypypes के साथ-साथ प्राकृतिक संख्याओं (संवेदी रूप से और माध्यम से )। अंततः वे उच्च प्रेरक प्रकार भी जोड़ते …

14 type-theory 

एक बूलियन सर्किट के ट्रेविडेथ की बात कर सकता है , इसे तारों (कोने) पर "नैतिक" ग्राफ के ट्रेविद के रूप में परिभाषित करता है जो निम्नानुसार प्राप्त होता है: तारों को aaa और bbb कनेक्ट करें जब भी bbbaaa इनपुट के रूप में गेट के आउटपुट (या) विपरीतता से); …

14 circuit-complexity  pr.probability  treewidth  arithmetic-circuits