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

मान लीजिए कि हमारे बहुआयामी पद है p1,...,pmp1,...,pmp_1,...,p_m ज्यादा से ज्यादा डिग्री केnnn ,, ऐसी है कि अशून्य गुणांक की कुल संख्या है(यानी, बहुआयामी पद विरल हैं)। मैं बहुपद कंप्यूटिंग के लिए एक कुशल एल्गोरिथ्म में रुचि रखता हूं:n>mn>mn>mnnn ∑ipi(x)2∑ipi(x)2\sum_i p_i(x)^2 चूंकि इस बहुपद में अधिकतम डिग्री है , इसलिए …

18 ds.algorithms  algebra  polynomials 

यह सर्वविदित है कि अगर तो बहुपद पदानुक्रम ढह जाता है और ।P=NPP=NP\mathbf{P}=\mathbf{NP}P=PHP=PH\mathbf{P}=\mathbf{PH} यह आसानी से oracle मशीनों का उपयोग करके आसानी से समझा जा सकता है। प्रश्न है - हम वैकल्पिक प्रक्रिया को वैकल्पिक स्तर से आगे क्यों नहीं और उर्फ साबित कर सकते हैं। )?A P = P …

18 cc.complexity-theory  polynomial-hierarchy  intuition 

मुझे लगता है कि सर्किट जटिलता के लिए एक आकार पदानुक्रम प्रमेय क्षेत्र में एक बड़ी सफलता हो सकती है। क्या यह वर्ग अलगाव के लिए एक दिलचस्प दृष्टिकोण है? प्रश्न के लिए प्रेरणा हमें कहना है कुछ फ़ंक्शन है जो आकार सर्किट द्वारा गणना नहीं की जा सकती है …

18 cc.complexity-theory  circuit-complexity  lower-bounds  natural-proofs  hierarchy-theorems 

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

18 ds.algorithms  approximation-algorithms  linear-programming  integrality-gap 

क्या यह सच है कि समय (O(nk)O(nk)O(n^k) बहुपद पदानुक्रम के कुछ स्तर में एक वैकल्पिक ट्यूरिंग मशीन द्वारा ) में बहुपद पदानुक्रम में समस्याएँ हैं जो किसी भी स्तर में O(nk−1)O(nk−1)O(n^{k-1}) में हल करने योग्य नहीं हैं । बहुपद पदानुक्रम? दूसरे शब्दों में - क्या बहुपद पदानुक्रम के लिए एक …

18 cc.complexity-theory  reference-request  polynomial-hierarchy  time-hierarchy 

कम्प्यूटेशनल जियोमीटर या बीजगणित के लिए 2 प्रश्न: मैं सिर्फ कम्प्यूटेशनल ज्यामिति में गोता लगाने के लिए शुरुआत कर रहा हूं और मैं इसे प्यार कर रहा हूं =) मैं एक डेलायून त्रिभुज एल्गोरिथ्म को लागू करने के लिए गुइबास और स्टॉल्पी द्वारा प्रसिद्ध लेख "सामान्य उपखंडों के हेरफेर के …

18 reference-request  cg.comp-geom  algebra 

यह सर्वविदित है कि टन के शौकीन हैं - खुद में शामिल हैं - जो पी बनाम एनपी समस्या में रुचि रखते हैं। कई एमुटर भी हैं - खुद अभी भी शामिल हैं - जिन्होंने समस्या को हल करने के प्रयास किए हैं। एक समस्या जो मुझे लगता है कि …

18 soft-question 

इस पृष्ठ का दावा है कि कई भाषाओं में निहित सबटाइपिंग (संरचनात्मक समतुल्यता) का उपयोग नहीं किया जाता है, स्पष्ट / घोषित उपप्रकार (घोषणा समतुल्यता) को प्राथमिकता देना मैंने ज्यादातर प्रोग्रामिंग लैंग्वेज का इस्तेमाल किया है जो स्पष्ट सबटाइपिंग का उपयोग करती है । जैसा कि ऊपर नोटों में वर्णित …

18 pl.programming-languages  type-theory 

ब्रेज़ोज़ोव्स्की की व्युत्पत्ति की विधि नियमित रूप से भावपूर्ण बीजगणितीय तरीके से नियतात्मक ऑटोमेटा के निर्माण के लिए एक बहुत ही सुंदर तकनीक है। मैंने व्याकरण के कुछ बड़े वर्गों को संभालने के लिए इस तकनीक के कुछ प्यारे सामान्यीकरणों पर काम किया है, लेकिन एल्गोरिदम सीधे पर्याप्त हैं कि …

18 reference-request  fl.formal-languages  parsing 

क्या मैं यह समझने में सही हूं कि एक समस्या एनपी पूर्ण साबित करना एक शोध सफलता है? यदि हां तो क्यों?

18 cc.complexity-theory  np-hardness  big-picture 

बहुत बार, यदि एल्गोरिथ्म का चलने का समय एक जटिल अभिव्यक्ति है, तो एल्गोरिथ्म स्वयं भी जटिल और अव्यवहारिक है। क्यूबिक जड़ों और कारकों में से प्रत्येक एल्गोरिथ्म में चल रहे समय को एल्गोरिथ्म में जटिलता को जोड़ता है और रनिंग समय के लिए निरंतर कारकों को भी छिपाता है।loglognlog⁡log⁡n\log …

18 ds.algorithms  soft-question  recreational 

जटिलता सिद्धांत ब्रह्मांड की संरचना के बारे में कुछ मौलिक पर कब्जा करने के लिए लगता है, इसमें यह सहज धारणा को औपचारिक करता है कि कुछ समस्याएं दूसरों की तुलना में कठिन हैं। स्कॉट आरोनसन ने भविष्यवाणी की , "एनपी कठोरता असेंबल को अंततः ऊष्मप्रवैगिकी के दूसरे कानून के …

18 cc.complexity-theory  soft-question  big-picture 

हाल ही में, Watrous et al ने साबित किया कि QIP (3) = PSPACE एक उल्लेखनीय परिणाम है। यह अपने आप में कम से कम कहने के लिए एक आश्चर्यजनक परिणाम था और इसने मुझे सोचने से रोक दिया ... मुझे आश्चर्य है कि क्या होगा अगर क्वांटम कंप्यूटरों को …

18 cc.complexity-theory  quantum-computing  space-bounded  conditional-results  interactive-proofs 

शास्त्रीय प्रोपोज़िशनल तर्क के लिए सबूत प्रणालियों में से एक को दिखाने के लिए कि एक निश्चित सूत्र चाहते हैं व्युत्पत्ति एक बस से पता चलता है कि नहीं है ¬ ψ प्राप्त किया जा सकता है (हालांकि अन्य तकनीकों निश्चित रूप से संभव हैं)। गैर-व्युत्पन्नता अनिवार्य रूप से प्रूफ …

18 lo.logic 

क्या किसी को ग्राफ़ में DOMINATING SET समस्या के लिए NP-पूर्णता परिणाम के बारे में पता है, जो अधिकतम डिग्री 3 के प्लानर द्विदलीय ग्राफ़ के वर्ग तक सीमित है? मुझे पता है कि यह अधिकतम डिग्री 3 (देखें गैरी और जॉनसन बुक देखें) के प्लैनर ग्राफ्स के वर्ग के …

18 cc.complexity-theory  graph-theory