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

संबंधित क्षेत्रों में सैद्धांतिक कंप्यूटर वैज्ञानिकों और शोधकर्ताओं के लिए प्रश्नोत्तर

4
प्रोग्रामर के लिए सैद्धांतिक कंप्यूटर विज्ञान स्व-अध्ययन संसाधन
मैं एक बहुत ही कुशल सॉफ्टवेयर इंजीनियर हूं, लेकिन मैं ज्यादा सिद्धांत नहीं जानता। मैं और अधिक सिद्धांत सीखना चाहता हूं। जिन विषयों में मेरी रुचि है, वे हैं: कम्प्यूटेशनल जटिलता, औपचारिक भाषा और प्रकार सिद्धांत। लेकिन मैं इन क्षेत्रों के बारे में सीखना शुरू करने के लिए एक नुकसान …

3
निरंतर समय में सॉल्व करने योग्य समस्याएँ?
लगातार समय समय जटिलता का पूर्ण निम्न अंत है। कोई भी आश्चर्य कर सकता है: क्या कोई ऐसी चीज है जो निरंतर समय में गणना की जा सकती है? यदि हम ट्यूरिंग मशीन के मॉडल से चिपके रहते हैं, तो बहुत कुछ नहीं किया जा सकता है, क्योंकि उत्तर केवल …

2
दो पॉलिथोप्स की समतुल्यता की जाँच करना
चर वेक्टर पर विचार करें , और द्वारा निर्दिष्ट रैखिक बाधाओं का एक सेट । ए → एक्स ≤खएक्स⃗ x→\vec{x}एक एक्स⃗ ≤ बीAx→≤bA\vec{x}\leq b इसके अलावा, दो बहुवचन पर विचार करें पी1पी2= { ( एफ1( x)⃗ ) , ⋯ , चम( x)⃗ ) ) | एक एक्स⃗ ≤ बी }= …

2
हमें मोनोटोन कार्यों की गणना करने के लिए कितने नकारों की आवश्यकता है?
रेज़बोरोव ने साबित किया कि मोनोटोन फ़ंक्शन मिलान mP में नहीं है । लेकिन क्या हम कुछ नकारात्मक के साथ बहुपद आकार सर्किट का उपयोग करके मिलान की गणना कर सकते हैं? क्या नकारात्मक के साथ एक पी / पॉली सर्किट है जो मिलान की गणना करता है? मिलान के …

4
क्या विकर्णों के अनंत ग्राफ में एक अनंत घटक होता है?
मान लीजिए कि हमें के बिन्दुओं को जोड़ अनिर्दिष्ट किनारों के सेट का उपयोग ई ऐसी है कि या तो ( मैं , जे ) से जुड़ा है ( मैं + 1 , जे + 1 ) , या ( मैं + 1 , जे ) से जुड़ा है ( …

1
एक डीएजी में सभी लंबे सेंट पथ को नष्ट करना कितना महंगा हो सकता है?
हम एक स्रोत नोड sss और एक लक्ष्य नोड साथ डीएजी (निर्देशित एसाइक्लिक ग्राफ) पर विचार करते हैं ttt; समान किनारों की जोड़ियों में शामिल होने वाले समानांतर किनारों की अनुमति है। एक kkk - कट किनारों का एक समूह है, जिसके हटाने से k की तुलना में सभी sss …

2
#P से ऊपर और खोज समस्याओं की गिनती
मैं आठ रानियों की समस्या के बारे में विकिपीडिया लेख पढ़ रहा था। यह कहा जाता है कि, समाधानों की सटीक संख्या के लिए कोई ज्ञात सूत्र नहीं है। कुछ खोज के बाद, मुझे "पूरी मैपिंग की समस्याओं की गिनती की कठोरता पर" नामक एक पेपर मिला। इस पत्र में …

5
रेनी प्रवेश की उपयोगिता?
हम में से अधिकांश परिचित हैं - या कम से कम के बारे में सुना है - एक यादृच्छिक चर की शान्नोन एन्ट्रापी, , और सभी संबंधित सूचना-सिद्धांत संबंधी उपाय जैसे रिश्तेदार एन्ट्रापी, आपसी जानकारी, और इसी तरह। एन्ट्रॉपी के कुछ अन्य उपाय हैं जो आमतौर पर सैद्धांतिक कंप्यूटर विज्ञान …

1
सिद्धांतों की कोलमोगोरोव जटिलता की तुलना करना
चैतीन की अपूर्णता प्रमेय कहती है कि अंकगणित का कोई पर्याप्त रूप से मजबूत सिद्धांत सिद्ध कर सकता है, जहाँ K ( s ) स्ट्रिंग s की Kolmogorov जटिलता है और L एक पर्याप्त रूप से बड़ा स्थिरांक है। एल है पर्याप्त रूप से बड़े अगर यह एक सबूत चेकिंग …

1
नैश संतुलन के कम्प्यूटेशनल रूप से बाध्य संस्करण?
मुझे आश्चर्य है कि अगर नैश संतुलन अवधारणा का एक कम्प्यूटेशनल रूप से बाध्य संस्करण है, तो निम्नलिखित पंक्तियों के साथ कुछ है। कुछ प्रकार के दो-खिलाड़ी सही सूचना गेम की कल्पना करें, जो बोर्ड पर खेला जाता है , और जो इस मायने में जटिल है कि इष्टतम खेल …

1
कैश एल्गोरिथम सिद्धांत में कला की स्थिति क्या है?
मैं हाल ही में ऐसी स्थिति में मेमोरी उपयोग के अनुकूलन की सामान्य समस्या में रुचि रखता था, जहां एक से अधिक प्रकार की मेमोरी उपलब्ध है, और किसी दिए गए मेमोरी सेगमेंट की क्षमता और इसे एक्सेस करने की गति के बीच एक व्यापार-बंद है। परिचित उदाहरण एक कार्यक्रम …

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

1
क्या PSPACE- पूर्णता सन्निकटन कठोरता का अर्थ है?
यह एक और cstheorySE पोस्ट में एक टिप्पणी में उल्लेख किया गया है कि PSPACE- पूर्णता APX- कठोरता का अर्थ है। किसी को भी इसके लिए एक संदर्भ समझा / साझा कर सकते हैं? क्या यह "तंग" है? (यानी, क्या PSPACE- पूर्ण समस्याएं हैं जिनकी अनुकूलन समस्या पॉली टाइम में …

2
क्या परिमित भाषाओं के लिए XOR ऑटोमेटा (NXA) को चक्र से लाभ होता है?
एक गैर-नियतात्मक Xor ऑटोमेटा (NXA) वाक्यात्मक रूप से एक NFA है, लेकिन एक शब्द NXA द्वारा स्वीकार किए जाने के लिए कहा जाता है, अगर इसमें विषम स्वीकार करने वाले पथ (NFA मामले में कम से कम एक स्वीकार पथ के बजाय) हो। यह देखना आसान है कि एक नियमित …

1
क्या हम प्रोग्रामिंग लैंग्वेज में सिंटैक्टिक और सिमेंटिक मेथड्स को अलग पहचान सकते हैं?
मजबूत सामान्यीकरण साक्ष्यों पर चर्चा करते समय, यह टिप्पणी "सामान्य रूप मॉडल" के साथ "विशुद्ध रूप से वाक्य रचना विधियों" के विपरीत है। यह मुझे एक और बुनियादी प्रश्न पर वापस लाता है: क्या हम अभी भी वाक्यविन्यास-आधारित मॉडल के सामने, वाक्य रचना और अर्थ निर्माण को सख्ती से अलग …

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.