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

मैंने हाल ही में विस्तारकों को पढ़ाया, और रामानुजन के रेखांकन की धारणा पेश की। माइकल फोर्ब्स ने पूछा कि उन्हें इस तरह क्यों बुलाया जाता है, और मुझे मानना ​​पड़ा कि मैं नहीं जानता। किसी को?

25 graph-theory  soft-question  ho.history-overview  expanders 

एक मैट्रिक्स एक के हस्ताक्षर रैंक के साथ + 1, -1 प्रविष्टियों कम से कम रैंक (reals से अधिक) एक मैट्रिक्स बी जो एक (यानी, के रूप में एक ही हस्ताक्षर पैटर्न है की है सभी के लिए )। यह धारणा संचार जटिलता और सीखने के सिद्धांत में महत्वपूर्ण है।AijBij>0AijBij>0A_{ij}B_{ij}>0i,ji,ji,j …

25 lg.learning  open-problem  communication-complexity  matrices 

निम्नलिखित समस्या पर विचार करें: CNF सूत्र और असाइनमेंट दिया गया है जो इस सूत्र को संतुष्ट करता है, क्या इस सूत्र के लिए एक और संतोषजनक असाइनमेंट है? इस समस्या की जटिलता क्या है? (यह सबसे निश्चित रूप से एनपी में है, लेकिन क्या यह एनपी-हार्ड भी है?) क्या …

25 cc.complexity-theory  np-hardness  sat  unique-solution 

क्या इसमें कोई संदर्भ शामिल हैं?

25 cc.complexity-theory  reference-request  np-hardness  factoring 

यह सर्वविदित है कि पी बनाम एनपी प्रश्न को हल करने वाले किसी भी प्रमाण को सापेक्षता , प्राकृतिक प्रमाण और बीजगणित बाधाओं को दूर करना चाहिए । निम्नलिखित आरेख विभिन्न क्षेत्रों में "प्रूफ स्पेस" का विभाजन करता है। उदाहरण के लिए, उन साक्ष्यों के सेट से मेल खाती है, …

25 cc.complexity-theory  proofs  barriers  p-vs-np 

आरपी एक nondeterministic ट्यूरिंग मशीन द्वारा निर्णायक समस्याओं का वर्ग है जो बहुपद समय में समाप्त हो जाता है, लेकिन यह भी एक तरफा त्रुटि की अनुमति है। P एक नियतात्मक ट्यूरिंग मशीन द्वारा समस्याओं का सामान्य वर्ग है जो बहुपद समय में समाप्त हो जाता है। पी = आरपी …

25 cc.complexity-theory  derandomization  conditional-results  randomized-algorithms 

एन राज्यों के साथ दो (न्यूनतम) डीएफए के चौराहे को ओ (एन 2 ) समय और स्थान का उपयोग करके गणना की जा सकती है। यह सामान्य रूप से इष्टतम है, जिसके परिणामस्वरूप (न्यूनतम) डीएफए में एन 2 राज्य हो सकते हैं । हालाँकि, यदि परिणामी न्यूनतम DFA में z …

25 automata-theory  dfa 

बेशक, कुछ जटिलताएं एकात्मक भाषाओं के लिए ढह सकती हैं, लेकिन मुझे आश्चर्य है कि अगर इस मामले में ज्ञात परिणामों का सारांश देने वाला एक सर्वेक्षण है: एकतरफा भाषाओं के लिए एक प्रकार का जटिलता चिड़ियाघर। क्या आप ऐसे संदर्भ के बारे में जानते हैं?

25 cc.complexity-theory  reference-request  big-list 

मैंने अपने जीपीएस के साथ खेलते हुए आज निम्नलिखित समस्या तैयार की। यह रहा : बता दें कि एक ऐसा निर्देशित ग्राफ है, जैसे कि तब , यानी , अंतर्निहित अप्रत्यक्ष ग्राफ का एक ओरिएंटेशन है। निम्नलिखित कार्यों पर विचार करें:ई = ( यू , वी ) ∈ ई ( …

25 ds.algorithms  graph-algorithms 

इस प्रश्न को हल करने पर विचार करें। मैं सबसे अच्छा जवाब नहीं दूंगा क्योंकि उन सभी ने विषय की मेरी समझ में योगदान दिया है। Im अनिश्चित है कि हमें औपचारिक तर्क के शब्दार्थ को परिभाषित करने से क्या लाभ है। लेकिन मुझे औपचारिक प्रमाण पथरी होने का मूल्य …

25 lo.logic  semantics 

मुझे लगता है कि मैंने बहुत से महत्वाकांक्षी CoRR पेपर पढ़े । समस्या यह है कि उन कागजातों की समीक्षा नहीं की जाती है, लेकिन अक्सर दिलचस्प लगता है और बुनियादी संभाव्यता जांच पास करते हैं। या हो सकता है कि वे न करें, और मुझे सिर्फ अपनी संभाव्यता जांच …

24 soft-question  graph-isomorphism  paper-review  ppad 

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

24 reference-request  co.combinatorics  decidability  undecidability 

मैं अगाडा और कोक के बीच एक भ्रामक असहमति पर ठोकर खाई है, जो स्पष्ट रूप से उनके प्रकार के सिद्धांतों (जैसे, (im) भविष्यवाणी, प्रेरण-पुनरावृत्ति, आदि) के बीच सबसे प्रसिद्ध भेदों से संबंधित नहीं है। विशेष रूप से, Agda द्वारा निम्नलिखित परिभाषा को स्वीकार किया जाता है: data Ty : …

24 type-theory  coq 

मैं उन्नत डेटा संरचनाओं पर एक पुस्तक की तलाश कर रहा हूं जो कि कॉर्मेन, लीसेरसन, रिवेस्ट और स्टीन के "इंट्रोडक्शन टू अल्गोरिथम" जैसी मानक पाठ्यपुस्तकों में शामिल है, उससे आगे जाती है। ऐसी पुस्तक जिसका उपयोग MIT में एरिक डेमनी और एन्ड्रे शुल्ज़ के एडवांस्ड डेटा स्ट्रक्चर्स कोर्स जैसे …

24 soft-question  ds.data-structures  survey  books 

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

24 lo.logic  soft-question  pl.programming-languages  linear-logic