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

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

14 soft-question  teaching  books 

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

14 cc.complexity-theory  ds.algorithms  time-complexity 

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

14 cc.complexity-theory  linear-algebra  linear-programming  polytope 

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

14 cc.complexity-theory  circuit-complexity  lower-bounds  matching  monotone 

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

14 graph-theory 

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

14 cc.complexity-theory  graph-theory  circuit-complexity  directed-acyclic-graph 

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

14 cc.complexity-theory  counting-complexity  search-problem 

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

14 it.information-theory  quantum-information 

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

14 lo.logic  kolmogorov-complexity 

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

14 gt.game-theory 

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

14 optimization  program-analysis 

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

14 cc.complexity-theory  reference-request  algebraic-complexity  arithmetic-circuits 

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

14 cc.complexity-theory  approximation-algorithms  approximation-hardness  np  pspace 

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

14 fl.formal-languages  automata-theory  nondeterminism  minimization 

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

14 lo.logic  pl.programming-languages  operational-semantics