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

बीस साल पहले, मैंने एक नियमित अभिव्यक्ति पैकेज बनाया था जिसमें नियमित अभिव्यक्ति से परिमित राज्य मशीन (डीएफए) तक के रूपांतरण शामिल थे और बंद नियमित अभिव्यक्ति संचालन (क्लेन स्टार, संघटन, रिवर्स, सेट संचालन, आदि) के एक मेजबान का समर्थन किया था। मैं अपने पैकेज की सबसे खराब स्थिति के …

16 dfa  regular-expressions  bounds 

क्वांटम कम्प्यूटिंग थ्योरी के लिए आरोनसन की सूची टेन सेमी-ग्रैंड चैलेंज में निम्नलिखित समस्या दिखाई देती है । है बी क्यू पी = बी पी पीबी क्यू एन सीबीक्यूपी=बीपीपीबीक्यूएनसी\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} दूसरे शब्दों में, किसी भी क्वांटम एल्गोरिथ्म के "क्वांटम" भाग के लिए संकुचित किया जा सकता है p o l y …

16 cc.complexity-theory  quantum-computing  circuit-complexity  quantum-information  circuit-depth 

कोई भी भाषा जो ट्यूरिंग पूर्ण नहीं है, वह इसके लिए एक दुभाषिया नहीं लिख सकती है। मुझे कोई सुराग नहीं है कि मैंने कहाँ पढ़ा है लेकिन मैंने देखा है कि यह कई बार इस्तेमाल किया गया है। ऐसा लगता है कि यह एक प्रकार की "परम" गैर ट्यूरिंग …

16 computability  turing-machines 

क्या गैर-वॉन न्यूमैन प्रोग्रामिंग मॉडल के लिए कोई व्यावहारिक अनुप्रयोग हैं? सबसे व्यापक रूप से अपनाई जाने वाली गैर-वॉन न्यूमैन प्रोग्रामिंग भाषाएं क्या हैं?

16 universal-computation  logic-programming 

सरल टाइप लैम्ब्डा पथरी साबित किया जा सकता (ट्यूरिंग) पर प्रेरण द्वारा लिए कमजोर सामान्य ω2ω2\omega^2 । प्राकृतिक संख्या (Gentzen) पर साथ विस्तारित लैम्ब्डा कैलकुलस में पर प्रेरण द्वारा एक कमजोर सामान्यीकरण रणनीति है ।ϵ0ϵ0\epsilon_0 सिस्टम एफ (या कमजोर) के बारे में क्या? क्या इस शैली में कमजोर सामान्यीकरण प्रमाण …

16 lo.logic  type-theory  lambda-calculus  proof-theory  normalization 

जीआई परीक्षण के लिए सबसे कठिन नियमित ग्राफ का मामला सबसे कठिन है? जहाँ "सबसे कठिन" का उपयोग कुछ "सामान्य ज्ञान" अर्थ में, या "औसत" में किया जाता है, इसलिए बोलने के लिए। वोल्फ्राम मैथवर्ल्ड में कुछ "पैथोलॉजिकल रूप से हार्ड ग्राफ" का उल्लेख है। वे क्या हैं? ग्राफ के …

16 ds.algorithms  graph-isomorphism 

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

16 cc.complexity-theory  complexity-classes 

इस समस्या को समझने के लिए मुझे क्या पढ़ना चाहिए? छोटी गहराई वाली क्वांटम सर्किट की शक्ति। क्या ? दूसरे शब्दों में, क्या किसी भी क्वांटम एल्गोरिथ्म के "क्वांटम" भाग को पॉलीग्लॉग (n) गहराई तक संपीड़ित किया जा सकता है, बशर्ते हम बहुपद-काल शास्त्रीय पोस्टप्रोसेसिंग करने के लिए तैयार हों? …

16 cc.complexity-theory  reference-request  quantum-computing 

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

16 ho.history-overview  analysis-of-algorithms 

संबंधित समस्या: वेब्लन के प्रमेय में कहा गया है कि "एक ग्राफ एक चक्र अपघटन को स्वीकार करता है अगर और केवल अगर यह भी है"। चक्र किनारे विच्छेदन कर रहे हैं, लेकिन जरूरी नहीं कि नोड असहमति हो। एक और तरीका रखो, "एक ग्राफ के किनारे सेट को चक्रों …

16 cc.complexity-theory  graph-theory  co.combinatorics 

माइक और इके की "क्वांटम कम्प्यूटेशन और क्वांटम सूचना" में, ग्रोवर के एल्गोरिथ्म को बहुत विस्तार से समझाया गया है। हालांकि, पुस्तक में, और ग्रोवर के एल्गोरिथ्म के लिए मैंने ऑनलाइन सभी स्पष्टीकरणों में पाया है कि ग्रोवर के ओरेकल का निर्माण कैसे किया जाता है, इसका कोई उल्लेख नहीं …

16 quantum-computing  quantum-information  oracles  search-problem  black-box 

हम सब दिखा पता बाधाओं है। हम सब इन बाधाओं का अध्ययन किया है क्योंकि हम मानते हैं पी ≠ एन पी ।P≠NPP≠NPP\ne NPP≠NPP≠NPP\ne NP हालांकि मान लें और ऐसे बुद्धिमान लोग हैं जो मानते हैं कि संभावना मौजूद है । यदि यह वास्तव में मामला है, तो यह तथ्य …

15 p-vs-np  barriers 

मुझे कंप्यूटर के बारे में कुछ किताबें मिलीं, लेकिन वे सभी तकनीक के बारे में हैं। मैं कुछ और अधिक सिद्धांत से जुड़ा हुआ चाहता हूं।

15 reference-request  soft-question  philosophy 

मुझे उम्मीद है कि उत्तर नहीं है, लेकिन मैं वास्तव में एक प्रतिरूप का निर्माण नहीं कर सका। अंतर यह है कि में , हम नहीं एक लेने के लिए सक्षम हो सकता है हे ( एन 2 + ε ) में समान रूप से एल्गोरिथ्म ε ।∩ε>0DTIME(O(n2+ε))∩ε>0DTIME(O(n2+ε))∩_{ε>0} \mathrm{DTIME}(O(n^{2+ε}))O(n2+ε)O(n2+ε)O(n^{2+ε})εεε एक …

15 cc.complexity-theory  time-complexity 

या दूसरे शब्दों के साथ, हम क्या है कि हर भाषा के लिए और बी , एक ≤ पी बी या बी ≤ पी ए ?एएAबीबीBA ≤पीबीए≤पीबीA \leq_p Bब ≤पीएबी≤पीएB \leq_p A

15 reductions  complexity