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

एक कार्यात्मक भाषा को एक ऐसी श्रेणी के रूप में देखा जा सकता है, जहाँ इसकी वस्तुएँ प्रकार और आकारिकी उनके बीच कार्य करती हैं। इस मॉडल में टाइप कक्षाएं कैसे फिट होती हैं? मेरा मानना ​​है कि हमें केवल उन कार्यान्वयनों पर विचार करना चाहिए जो बाधा को संतुष्ट …

14 lo.logic  functional-programming  ct.category-theory  denotational-semantics  type-systems 

मेरा पहला सवाल यह है कि क्या एक इंटरेक्टिव प्रूफ सिस्टम लक्षण वर्णन सभी क्लासिक जटिलता वर्गों के लिए जाना जाता है। मैं P, NP, PSPACE, EXP, NEXP, EXPSPACE, पुनरावर्ती और पुनरावर्ती असंख्य कार्यों को क्लासिक (अन्य के बीच) कहूंगा। विशेष रूप से, एक इंटरेक्टिव प्रूफ सिस्टम लक्षण वर्णन है …

14 cc.complexity-theory  big-picture  interactive-proofs 

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

14 ds.algorithms  optimization  linear-programming  integrality-gap 

मैं आयताकार मैट्रिक्स के मैट्रिक्स गुणन के कम्प्यूटेशनल जटिलता के बारे में जानकारी की तलाश कर रहा हूं। विकिपीडिया कहा गया है कि गुणा की जटिलता द्वारा बी ∈ आर एन × पी है हे ( एम एन पी ) (कोर्स की किताब गुणा)।A∈Rm×nA∈Rm×nA \in \mathbb{R}^{m \times n}B∈Rn×pB∈Rn×pB \in \mathbb{R}^{n …

14 cc.complexity-theory  time-complexity  linear-algebra  matrix-product 

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

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

गोल्डीच-लेविन लर्निंग एल्गोरिथम की सबसे अच्छी ज्ञात क्वेरी जटिलता क्या है? Luca Trevisan के ब्लॉग , Lemma 3 से व्याख्यान नोट्स , इसे रूप में बताता है । यह पर निर्भरता के संदर्भ में सबसे अच्छा ज्ञात है ? मैं एक विशेष स्रोत के संदर्भ के लिए विशेष रूप से …

14 cc.complexity-theory  reference-request  lg.learning  fourier-analysis 

उन शर्तों की एक सूची एकत्र करना अच्छा होगा जो एक संदर्भ-मुक्त भाषा एल नियमित है, अर्थात फॉर्म की शर्तें: "यदि किसी दिए गए सीएफजी / पीडीए में संपत्ति पी है, तो उसकी भाषाएं नियमित हैं" प्रॉपर्टी P में नियमित भाषा बनाने वाले CFG की विशेषता नहीं है। इसके अलावा, …

14 reference-request  fl.formal-languages  regular-language  context-free  survey 

मैं Collatz अनुमान के लिए "निकटतम" (और "सबसे जटिल") समस्या में दिलचस्पी रखता हूं जिसे सफलतापूर्वक हल किया गया है (जो एर्दोस ने प्रसिद्ध रूप से कहा था "गणित अभी भी ऐसी समस्याओं के लिए परिपक्व नहीं है")। यह साबित हो चुका है कि "Collatz जैसी" समस्याओं का एक वर्ग …

14 reference-request  open-problem  nt.number-theory  halting-problem  computability 

एकात्मक समूह पर विभिन्न कार्यों के अनुकूलन की कम्प्यूटेशनल जटिलता क्या है ?U(n)U(n)\mathcal{U}(n) एक ठेठ कार्य, क्वांटम सूचना सिद्धांत में अक्सर उत्पन्न होने वाले, के प्रकार के एक मात्रा को अधिकतम होगा (या में उच्च आदेश बहुआयामी पद यू ) में सभी एकात्मक मैट्रिक्स यू । क्या इस प्रकार का …

14 cc.complexity-theory  reference-request  optimization  quantum-information 

जहां तक ​​मैं बता सकता हूं, QKD के लगभग सभी कार्यान्वयन त्रुटि सुधार के लिए ब्रैसर्ड और सलवेल के कैस्केड एल्गोरिथ्म का उपयोग करते हैं । क्या यह वास्तव में यादृच्छिक बटेरों के साझा अनुक्रम में त्रुटियों को ठीक करने का सबसे अच्छा ज्ञात तरीका है, या क्या एक बेहतर …

14 cr.crypto-security  quantum-computing  quantum-information 

(पहले से ही मुख्य साइट पर पूछा गया है , लेकिन बेहतर कवरेज के लिए यहां भी पूछ रहा है, क्षमा करें) चूँकि मुझे सुक्युटी डेटा स्ट्रक्चर्स के बारे में पता था कि मैं उस क्षेत्र के हालिया घटनाक्रमों के अच्छे अवलोकन की सख्त ज़रूरत हूँ। मैंने बहुत सारे लेख …

14 reference-request  ds.data-structures  advice-request  space-time-tradeoff 

उत्तर: ज्ञात नहीं है। पूछे जाने वाले प्रश्न स्वाभाविक, खुले और स्पष्ट रूप से कठिन हैं; सवाल अब एक सामुदायिक विकि है। अवलोकन प्रश्न जटिलता वर्ग से संबंधित भाषाओं को विभाजित करने का प्रयास करता है - साथ में निर्णय के साथ ट्यूरिंग मशीन (TMs) जो इन भाषाओं को स्वीकार …

14 cc.complexity-theory  polynomial-time  undecidability  independence 

मुझे सामान्य-उद्देश्य वाले अंतरिक्ष-समय के ट्रेडऑफ़ पर प्रकाशित परिणामों के शुरुआती इतिहास में दिलचस्पी है। विशेष रूप से, मैं यह जानना चाहता हूं कि पहले किसने एल्गोरिथ्म के निम्न प्रकार का वर्णन किया था, जिसमें डेटा मीटर ग्राफ की गहराई (चौड़ाई) के लिए आनुपातिक डेटा प्रवाह ग्राफ के साथ डिग्री …

14 cc.complexity-theory  ho.history-overview  space-time-tradeoff 

बेन-डोर / हलेवी [1] के पेपर में यह एक और प्रमाण दिया जाता है कि स्थायी । कागज के बाद के भाग में, वे कमी श्रृंखला दिखाते हैं, जबकि स्थायी मूल्य श्रृंखला के साथ संरक्षित है। के बाद से एक 3SAT सूत्र के कार्य satiesfying की संख्या स्थायी मूल्य से …

14 cc.complexity-theory  counting-complexity  permanent 

सवाल। उनके पेपर में स्टेबलाइजर सर्किट के बेहतर सिमुलेशन , आरोनसन और गोट्समैन का दावा है कि CNOT सर्किट का अनुकरण pleteL -complete (लॉगस्पेस रिडक्शन के तहत) है। यह स्पष्ट है कि यह isL में निहित है ; कठोरता कैसे पकड़ती है? समान रूप से: क्या पुनरावृत्त मैट्रिक्स उत्पादों मॉडुलो …

14 cc.complexity-theory  counting-complexity  linear-algebra  logspace