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

एनपी = PSPACE के बुरा परिणाम क्या होगा? मुझे आश्चर्य है कि मुझे इस पर कुछ भी नहीं मिला, यह देखते हुए कि ये कक्षाएं सबसे प्रसिद्ध लोगों में से हैं। विशेष रूप से, क्या इसका निम्न वर्गों पर कोई परिणाम होगा?

30 cc.complexity-theory  complexity-classes  conditional-results 

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

30 ds.algorithms  machine-learning  teaching 

ऐसा नहीं लगता है कि यह ज्ञात है - लेकिन क्या क्वांटम कंप्यूटिंग मॉडल में मैट्रिक्स गुणन की जटिलता पर कोई दिलचस्प निचली सीमा है? क्या हमारे पास कोई अंतर्ज्ञान है कि हम क्वांटमस्मिथ-विनोग्राद एल्गोरिथ्म की जटिलता को क्वांटम कंप्यूटर का उपयोग करके हरा सकते हैं?

30 reference-request  quantum-computing  matrix-product 

कई विशेषज्ञों का मानना ​​है कि P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} अनुमान सही है और अपने परिणामों में इसका उपयोग करते हैं। मेरी चिंता यह है कि जटिलता दृढ़ता से P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} अनुमान पर निर्भर करती है। तो मेरा सवाल है: जब तक P≠NPP≠NP\mathsf{P}\neq\mathsf{NP} अनुमान सिद्ध नहीं होता है, तब तक …

30 cc.complexity-theory  soft-question  big-picture  p-vs-np  physics 

कुछ हालिया प्रश्नों ( q1 q2 ) में, "थ्योरी ए" बनाम "थ्योरी बी" की चर्चा हुई है, जो तर्क और प्रोग्रामिंग भाषाओं के अध्ययन और एल्गोरिदम और जटिलता के अध्ययन के बीच विभाजन को पकड़ने के लिए प्रतीत होता है। यह शब्दावली मेरे लिए नई थी, और एक त्वरित वेब …

30 ho.history-overview  terminology 

यदि हम DTIME पदानुक्रम प्रमेय को देखते हैं, तो हमें एक सार्वभौमिक मशीन द्वारा नियतात्मक ट्यूरिंग मशीन के अनुकरण में ओवरहेड के कारण लॉग मिला है: DTIME(flogf)⊊DTIME(f)DTIME(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) हमने DSPACE के NTIME के ​​लिए इस तरह का ओवरहेड नहीं बनाया है। एक मूल औचित्य सिमुलेटर के बीच के …

30 cc.complexity-theory  universal-computation  time-hierarchy 

भाषा है { } विषय से मुक्त है या नहीं?एमैंखjसीकश्मीर | मैं≠जे,मैं≠k,जे≠कश्मीर aibjck | i≠j,i≠k,j≠ka^{i}b^{j}c^{k} ~|~ i \neq j, i \neq k, j \neq k मुझे एहसास हुआ कि मैंने इस प्रश्न के लगभग सभी प्रकारों का सामना किया है, जिनके साथ i, j और k के बीच के संबंध …

30 automata-theory  fl.formal-languages  grammars 

किसी भी प्राकृतिक संख्या को थोड़ा अनुक्रम माना जा सकता है, इसलिए प्राकृतिक संख्या को इनपुट करना 0-1 अनुक्रम को इनपुट करने के समान है, इसलिए प्राकृतिक इनपुट के साथ एनपी-पूर्ण समस्याएं स्पष्ट रूप से मौजूद हैं। लेकिन क्या कोई प्राकृतिक समस्याएँ हैं, यानी जो कुछ एन्कोडिंग और अंकों की …

30 cc.complexity-theory  np-hardness  nt.number-theory  combinatorial-game-theory 

यह सर्वविदित है कि एक नियमित अभिव्यक्ति को आकार के एक nondeterministic परिमित ऑटोमोटन द्वारा नियमित अभिव्यक्ति के लिए आनुपातिक रूप से पहचाना जा सकता है, या एक नियतात्मक एफए द्वारा जो संभवतः घातीय रूप से बड़ा है। इसके अलावा, एक स्ट्रिंग और एक नियमित अभिव्यक्ति आर दिया गया , …

30 fl.formal-languages  automata-theory  regular-expressions 

यह मानते हुए कि पी! = एनपी, मेरा मानना ​​है कि यह दिखाया गया है कि ऐसी समस्याएं हैं जो पी में नहीं हैं और एनपी-पूर्ण नहीं हैं। इस तरह की समस्या होने के लिए ग्राफ आइसोमॉर्फिज्म का अनुमान लगाया जाता है। क्या एनपी में इस तरह की अधिक 'परतों' …

30 cc.complexity-theory 

एक पूर्णांक को देखते हुए NNN लंबाई के nnn बिट्स, कितना मुश्किल यह उत्पादन के लिए के प्रधानमंत्री कारकों (या वैकल्पिक रूप से कारकों की संख्या) की संख्या है NNN ? यदि हम N का मुख्य गुणनखंड जानते हैंNNN , तो यह आसान होगा। हालाँकि, यदि हम अभाज्य कारकों की …

30 cc.complexity-theory  counting-complexity  nt.number-theory  factoring 

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

30 cc.complexity-theory  linear-algebra  linear-programming  semidefinite-programming  polynomial-time 

कुछ गणित और तर्क विरोधाभास स्वचालित रूप से शायद कंप्यूटर पर लागू हो सकते हैं, लेकिन क्या कोई विरोधाभास है जो कंप्यूटर विज्ञान में ही खोजा गया था? विरोधाभासों से मेरा मतलब है कि एक अंतर्विरोध की तरह दिखने वाले काउंटर के सहज परिणाम।

30 big-list 

1980 ने समानांतर गणना के PRAM और BSP मॉडल दोनों को जन्म दिया । ऐसा लगता है कि 80 के दशक के अंत और 90 के दशक के प्रारंभ में दोनों मॉडल का उत्तराधिकार था। क्या ये क्षेत्र समानांतर एल्गोरिदम के लिए अनुसंधान के संदर्भ में अभी भी सक्रिय हैं? …

30 ds.algorithms  dc.parallel-comp  dc.distributed-comp 

अधिकांश (सभी?) प्रमाण सहायकों के पास अवसर पर निर्धारित ध्वनि कीड़े हैं। हालांकि, उन लोगों से मैंने देखा है कि इन बगों को आमतौर पर अनजाने में आना मुश्किल होता है, और बग फिक्स होने से पहले साबित होने वाले परिणाम आमतौर पर फिक्स होने के बाद पकड़ लिए जाते …

29 proof-assistants  soundness