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

IP = PSPACE को एक गैर-रिलेटिविंग परिणाम के विहित उदाहरण के रूप में सूचीबद्ध किया गया है, और इसके लिए प्रमाण यह है कि एक ओरेकल मौजूद है जैसे कि , जबकि अन्य के लिए सभी दैवज्ञ ।OOOcoNPO⊈IPOcoNPO⊈IPO{\sf coNP}^O \not\subseteq {\sf IP}^OcoNPO⊆PSPACEOcoNPO⊆PSPACEO{\sf coNP}^O \subseteq {\sf PSPACE}^OOOO हालाँकि, मैंने देखा है …

19 cc.complexity-theory  interactive-proofs  relativization 

जटिलता सिद्धांत में मेरा पसंदीदा प्रमेय टाइम पदानुक्रम प्रमेय है। हालाँकि, यह 1965 में किया गया था। मैं जानना चाहता था कि अगर क्वांटम कम्प्यूटिंग के लिए ऐसा ही कुछ था। इसके अलावा, यदि नहीं तो इस दिशा में काम करने वाले लोग / समूह क्या हैं!

19 cc.complexity-theory  quantum-computing 

मैं सोच रहा था कि JSON कल्पना एक नियमित भाषा को परिभाषित करती है। यह काफी सरल लगता है, लेकिन मुझे यकीन नहीं है कि इसे कैसे साबित किया जाए। मेरे द्वारा पूछे जाने का कारण यह है कि मैं सोच रहा था कि क्या कोई प्रभावी ढंग से JSON …

19 fl.formal-languages  regular-expressions  regular-language 

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

19 linear-algebra  space-complexity 

मैं सिर्फ पढ़ने " गुणन पूर्णांक एक एन पी-सम्पूर्ण समस्या है? " सवाल ... इसलिए मैं अपने प्रतिष्ठा के कुछ :-) एक और सवाल पूछ खर्च करने का फैसला QQQ होने :P(Q is trivial)≈1P(Q is trivial)≈1P(\text{Q is trivial}) \approx 1 यदि एक ऐसा अणु है जो पूर्णांक गुणन को हल …

19 cc.complexity-theory  oracles  factoring 

मैं अभी गणित पढ़ रहा हूं। हालांकि, मुझे नहीं लगता कि मैं भविष्य में एक पेशेवर गणितज्ञ बनना चाहता हूं। मैं कृत्रिम बुद्धि में अनुसंधान करने के लिए गणित के अपने ज्ञान को लागू करने के बारे में सोच रहा हूं। हालांकि, मुझे यकीन नहीं है कि मुझे कितने गणित …

19 soft-question  machine-learning  ai.artificial-intel 

क्या कोक जैसे प्रूफ असिस्टेंट का उपयोग करके सिद्धांत और जटिलता सिद्धांत के प्रमाणों को औपचारिक रूप से सत्यापित करने के लिए कोई परियोजना चल रही है? क्या ऐसा करने की कोई सीमाएं हैं?

18 cc.complexity-theory  complexity  proof-assistants 

मैं एक ऐसी समस्या को हल कर रहा हूं, जिसे एनपी-हार्ड होने का दावा किया गया है, कागज में कहो [XYZ]। [XYZ] में उपलब्ध एनपी-कठोरता जटिल है और उन्नत तकनीकों का उपयोग करता है। कुछ शोध और काम के बाद, मैं एनपी-कठोरता का एक सरल और स्पष्ट प्रमाण देने में …

18 research-practice  writing 

क्या संपत्ति के साथ एल्गोरिथ्म का एक ज्ञात, स्पष्ट उदाहरण है जैसे कि यदि पी≠ एनपीपी≠एनपीP\neq NP तो यह एल्गोरिथ्म बहुपद समय में नहीं चलता है और यदि पी= एनपीपी=एनपीP=NP तो यह बहुपद समय में चलता है?

18 ds.algorithms  np  p-vs-np 

मुझे लगता है कि यह एक विवादास्पद प्रश्न हो सकता है, लेकिन यह पूछने के लिए सही जगह की तरह लग रहा था। कृपया मुझे अनुप्रेषित करें यदि नहीं। पृष्ठभूमि यह है कि मैं एक "व्यवसायी" (पीएचडी छात्र हूं, मैं सीएस सिद्धांत का अध्ययन नहीं करता हूं) लेकिन मेरे पास …

18 soft-question  advice-request 

ऐसे मामले का कोई अनंत सबसेट के साथ किसी भी एनपी पूरा समस्याएं हैं ऐसी है कि में सदस्यता बहुपद समय में फैसला किया जा सकता है, और के लिए सभी , बहुपद समय में हल किया जा सकता? (मानकर )Φ एक्स ∈ Φ एक्स पी ≠ एन पीΦΦ\PhiΦΦ\Phiएक्स ∈ …

18 cc.complexity-theory  np-complete  heuristics 

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

18 fl.formal-languages  decidability 

मैं "अराजकता", या अधिक मोटे तौर पर, गतिशील प्रणालियों और प्रश्न के बीच संबंध सीखने में रुचि रखता हूं । यहाँ मैं जिस प्रकार के साहित्य की तलाश कर रहा हूँ, उसका एक उदाहरण है:पी= एनपीपी=एनपीP{=}NP एर्से-रवाज़, मारिया, और ज़ोल्टन टोरोक्ज़काई। "बाधा संतुष्टि में एक एनालॉग दृष्टिकोण में क्षणिक अराजकता …

18 cc.complexity-theory  p-vs-np 

पी के लिए सरकारी क्ले समस्या वर्णन में एनपी बनाम यह कहा जाता है कि है कि "में हर भाषा के प्रदर्शित होने से पालन करेगा ई [भाषाओं के वर्ग एक नियतात्मक ट्यूरिंग मशीन के साथ घातीय समय में पहचानने योग्य] एक बूलियन सर्किट परिवार द्वारा गणना की जा सकती …

18 cc.complexity-theory  circuit-complexity 

मुझे निम्नलिखित समस्या में दिलचस्पी है: एक मैट्रिक्स को देखते हुए , क्या कोने पर एक अप्रत्यक्ष ग्राफ है जिसका आसन्न मैट्रिक्स वर्ग है?n×nn×nn\times nnnn क्या इस समस्या की कम्प्यूटेशनल जटिलता ज्ञात है? टिप्पणियों: बेशक यह भी एक खोज समस्या है, जहां आप मैट्रिक्स दिया जाता है के रूप में …

18 cc.complexity-theory  graph-theory