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

यह एक ठोस जवाब के साथ एक के बजाय एक व्यक्तिपरक प्रश्न हो सकता है, लेकिन वैसे भी। जटिलता सिद्धांत में हम कुशल संगणना की धारणा का अध्ययन करते हैं। जैसे वर्ग बहुपद समय के लिए होते हैं , और L का मतलब लॉग स्पेस होता है । उन दोनों …

49 cc.complexity-theory  space-bounded  big-picture 

क्या ट्यूरिंग मशीन और लैंबडा कैलकुलस के बीच एक संबंध है - या क्या वे केवल एक ही समय के बारे में उत्पन्न हुए थे?

49 computability  lambda-calculus  turing-machines 

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

48 co.combinatorics  randomness  probabilistic-circuits 

कुछ समस्याओं को अनिर्दिष्ट माना जाता है, लेकिन उन्हें हल करने पर कुछ प्रगति करना संभव है। उदाहरण के लिए, हॉल्टिंग समस्या अनिर्दिष्ट है, लेकिन आपके कोड में संभावित अनंत छोरों का पता लगाने के लिए उपकरण बनाने पर व्यावहारिक प्रगति की जा सकती है। टाइलिंग की समस्याएं अक्सर अनिर्दिष्ट …

48 computability  approximation-algorithms  parameterized-complexity  halting-problem 

मेरे पास तीन संबंधित उपवर्ग हैं, जो नीचे बुलेट बिंदुओं द्वारा हाइलाइट किए गए हैं (नहीं, वे विभाजित नहीं किए जा सकते, यदि आप सोच रहे हैं)। फ़ॉरेन बाउर ने यहां लिखा है कि कुछ कार्य ट्यूरिंग मशीन के माध्यम से साकार होते हैं, लेकिन लैम्ब्डा-कैलकुलस के माध्यम से नहीं। …

48 computability  lambda-calculus  turing-machines 

कार्यात्मक प्रोग्रामिंग में लैम्ब्डा कैलकुलस और कॉम्बिनेटरी लॉजिक में एक सैद्धांतिक आधार है । जैसा कि कोई सांख्यिकीय कंप्यूटिंग से जुड़ा है, मुझे लगता है कि ये अवधारणाएँ मॉडलिंग के लिए बहुत उपयोगी हैं। क्या अनिवार्य प्रोग्रामिंग का एक समान गणितीय आधार है , या क्या यह मशीन की भाषा …

48 imperative-programming  pl.programming-languages 

मुझे याद है कि मुझे उन समस्याओं के संदर्भ में सामना करना पड़ा होगा जो एक विशेष जटिलता के साथ हल करने योग्य साबित हुई हैं, लेकिन वास्तव में इस जटिलता तक पहुंचने के लिए कोई ज्ञात एल्गोरिथ्म नहीं है। मैं अपने दिमाग को लपेटता हूं कि यह कैसे हो …

47 ds.algorithms  soft-question  lo.logic  proofs 

जटिलता सिद्धांत मेरा एक मजबूत माध्यमिक हित है, लेकिन यह मेरा प्राथमिक शोध हित नहीं है, इसलिए मेरे लिए सभी सम्मेलनों में भाग लेने, सभी ब्लॉगों को पढ़ने और "भीड़ सीसी" में यह सुनिश्चित करने की कोई उम्मीद नहीं है: मुझे हर बिट पर गर्म खबर। मैं इसमें से कुछ …

47 cc.complexity-theory  soft-question  research-practice 

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

47 lo.logic  coq  proof-assistants 

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

47 cc.complexity-theory  np-hardness  tree 

हम जानते हैं कि और उस , जहां । हम यह भी जानते हैं कि क्योंकि बाद वाले को लॉगरिदमिक स्पेस के तहत कई समस्याएं होती हैं, कई-एक में कमी होती है जबकि पूर्व नहीं (स्पेस पदानुक्रम प्रमेय के कारण)। आदेश के बीच के रिश्ते को समझने के लिए और …

46 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

मैं एक छात्र पांडुलिपि का संपादन कर रहा था। छात्र ने टिप्पणी की कि प्रकाशित कार्यों में गुणवत्ता लेखन के उदाहरणों को देखना अच्छा होगा, और मुझे एहसास हुआ कि मैं वास्तव में अपने सिर के ऊपर से अच्छे उदाहरणों के साथ नहीं आ सकता। आपके द्वारा देखे गए गुणवत्ता …

46 soft-question  writing 

मैं निर्भर टाइपिंग पर वास्तव में ठोस समझ पाने में दिलचस्पी रखता हूं। मैंने ज्यादातर TaPL को पढ़ा है और पढ़ा है (अगर पूरी तरह से अवशोषित नहीं है) ATTaPL में 'डिपेंडेंट टाइप ' । मैंने भी पढ़ा है और आश्रित टाइपिंग पर लेखों का एक समूह स्किम्ड किया है। …

46 lo.logic  type-theory  dependent-type 

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

46 cc.complexity-theory  big-picture 

3SAT के लिए समय और सर्किट की गहराई के लिए सबसे अच्छे वर्तमान निचले सीमा क्या हैं?

46 cc.complexity-theory  lower-bounds  sat