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

हाल ही में, मेरे एक दोस्त (टीसीएस में काम करने वाले) ने एक बातचीत में उल्लेख किया कि "वह अपने जीवनकाल में टीसीएस में सुंदर परिणामों के सभी (या जितना संभव हो) देखना / जानना चाहता था"। इस तरह से मुझे इस क्षेत्र में सुंदर परिणामों के बारे में आश्चर्य …

29 soft-question  big-list 

मैंने सुना है कि सांख्यिकीय भौतिकी में अनुमानवादी तर्क हैं जो संभाव्यता सिद्धांत में परिणाम देते हैं जिसके लिए कठोर प्रमाण या तो अज्ञात या बहुत मुश्किल से आते हैं। ऐसी घटना का एक सरल खिलौना उदाहरण क्या है? यह अच्छा होगा यदि उत्तर सांख्यिकीय भौतिकी में थोड़ी पृष्ठभूमि ग्रहण …

29 sat  pr.probability  physics  statistical-physics 

मैं एक शुरुआत हूँ, जो प्रोग्राम की समानता को साबित करने वाले तरीकों पर काम कर रहा है। मैंने तार्किक संबंधों को परिभाषित करने के लिए कुछ कागजात पढ़े हैं या दो कार्यक्रमों को साबित करने के लिए सिमुलेशन बराबर हैं। लेकिन मैं इन दोनों तकनीकों के बारे में काफी …

29 lo.logic  pl.programming-languages  logical-relations  parametricity 

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

29 computability  randomness  turing-machines 

यह एक अनुवर्ती प्रश्न है साक्ष्यों और कार्यक्रमों (या प्रस्तावों और प्रकारों के बीच) में क्या अंतर है? फॉर्म की एक गैर-रचनात्मक (शास्त्रीय) सबूत के लिए क्या कार्यक्रम के अनुरूप होगा ∀k T(e,k)∨¬∀k T(e,k)∀k T(e,k)∨¬∀k T(e,k)\forall k \ T(e,k) \lor \lnot \forall k \ T(e,k) ? (मान लें कि कुछ …

29 lo.logic  pl.programming-languages  proof-theory 

क्या कोई क्रियात्मक (कार्यात्मक) प्रोग्रामिंग भाषाएं हैं जहां सभी कार्यों में एक विहित रूप है? अर्थात्, इनपुट के सभी सेट के लिए समान मान लौटाने वाले किसी भी दो कार्यों को उसी तरह से दर्शाया जाता है, उदाहरण के लिए यदि f (x) x + 1 लौटाया, और g (x) …

29 computability  pl.programming-languages  functional-programming  function 

हम जानते हैं कि (देखें, उदाहरण के लिए, [1] के सिद्धांत 1 और 3), मोटे तौर पर, उपयुक्त परिस्थितियों में, कार्य जिन्हें बहुपद काल में ट्यूरिंग मशीन द्वारा कुशलतापूर्वक गणना की जा सकती है ("कुशलता से कम्प्यूटेबल") बहुपद तंत्रिका नेटवर्क से व्यक्त किया जा सकता है उचित आकार के साथ, …

28 cc.complexity-theory  np-hardness  machine-learning  turing-machines  lg.learning 

में ट्यूरिंग संपूर्णता पर इस विकिपीडिया लेख यह है कि कहा गया है: अनपेड लैम्ब्डा कैलकुलस ट्यूरिंग पूर्ण है, लेकिन सिस्टम एफ सहित कई टाइप किए गए लैम्ब्डा कैल्कुली नहीं हैं। टाइप की गई प्रणालियों का मूल्य अधिक त्रुटियों का पता लगाने के दौरान अधिकांश विशिष्ट कंप्यूटर कार्यक्रमों का प्रतिनिधित्व …

28 computability  turing-machines  haskell 

हमें ट्यूरिंग-मशीन और एक सार्वभौमिक ट्यूरिंग मशीन का एक उपसर्ग मुक्त एन्कोडिंग को ठीक करते हैं UUU कि इनपुट पर (T,x)(T,x)(T,x) (का उपसर्ग से मुक्त कोड के रूप में एन्कोड TTT के बाद xxx आउटपुट) जो कुछ भी TTT पर इनपुट आउटपुट xxx (संभवतः दोनों हमेशा के लिए चल रहे …

28 cc.complexity-theory  kolmogorov-complexity  universal-computation  universal-turing-machines 

मैं हाल ही में हास्केल और प्रोग्रामिंग भाषाओं का अध्ययन कर रहा हूं। क्या कोई टाइप थ्योरी पर कुछ किताबें सुझा सकता है?

28 soft-question  pl.programming-languages  type-theory 

अपनी पुस्तक में, बूलियन फंक्शन कॉम्प्लेक्सिटी, स्टाइस जुकना का उल्लेख है (पृष्ठ 564) जिसमें कोलमोगोरोव का मानना ​​था कि पी में हर भाषा में रैखिक आकार के सर्किट हैं। किसी संदर्भ का उल्लेख नहीं है और मुझे ऑनलाइन कुछ भी नहीं मिला। क्या कोई इसके बारे में और कुछ जानता …

28 cc.complexity-theory  reference-request  circuit-complexity  ho.history-overview 

लॉग-स्पेस-यूनिफ़ॉर्म एनसी निर्धारक पॉलीलॉग स्पेस (कभी-कभी पॉलीएल लिखा जाता है) में निहित है। क्या लॉग-स्पेस-यूनिफ़ॉर्म RNC भी इसी वर्ग में है? पॉलीएल का मानक रैंडमाइज्ड संस्करण पॉलीएल में होना चाहिए, लेकिन मैं यह नहीं देखता कि (वर्दी) आरएनसी रैंडमाइज्ड-पॉलीएल में है। मुझे जो कठिनाई दिखाई दे रही है वह यह …

28 complexity-classes  randomized-algorithms 

मैं पैनकेक छँटाई पर एक व्याख्यान प्रस्तुत कर रहा था , और कहा कि: रिवर्सल द्वारा छंटनी एनपी-हार्ड है उलट-पुलट करके "हस्ताक्षरित" पी में है । जो मुझे सोच में पड़ गया। एक अर्थ है जिसमें "हस्ताक्षरित" छंटाई "निर्देशित" है - आप संकेत को एक दिशा के रूप में देख …

28 ds.algorithms 

क्या कोई खिलौना उदाहरण हैं जो P=NPP=NPP = NP समस्या के तीन ज्ञात अवरोधों को समझने में 'आवश्यक' अंतर्दृष्टि प्रदान करते हैं - सापेक्षता, प्राकृतिक प्रमाण और बीजगणित?

28 cc.complexity-theory  relativization  p-vs-np  natural-proofs  barriers 

कई एल्गोरिदम हैं जो बहुपद समय में तय करते हैं कि क्या एक रेखा को विमान में खींचा जा सकता है या नहीं, यहां तक ​​कि एक रैखिक चलने वाले समय के साथ भी। हालाँकि, मुझे एक बहुत ही सरल एल्गोरिथ्म नहीं मिला है कि कोई व्यक्ति कक्षा में आसानी …

28 graph-algorithms  co.combinatorics  planar-graphs