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

विकिपीडिया ने चार समस्याओं को सूचीबद्ध किया है जो लेकिन बाहर होने का अनुमान लगाया गया है : पूर्णांक कारक; असतत लघुगणक; क्वांटम सिस्टम का अनुकरण; एकता की कुछ जड़ों पर जोन्स बहुपद का संकलन।पीBQPबीक्यूपीBQPPपीP क्या इस तरह की अन्य समस्याएं हैं?

19 cc.complexity-theory  complexity-classes  quantum-computing 

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

19 lambda-calculus 

(असत्यापित) ऐतिहासिक खाते के अनुसार, कोलमोगोरोव ने सोचा था कि की हर भाषा में रैखिक सर्किट जटिलता है। (पहले के प्रश्न कोलमोगोरोव के अनुमान को देखें कि में रैखिक आकार के सर्किट हैं ।) ध्यान दें कि इसका तात्पर्य ।पी पी ≠ एन पीPP\mathsf{P}PPPP≠NPP≠NP\mathsf{P}\neq \mathsf{NP} कोलमोगोरोव का अनुमान, हालांकि, असफल …

19 cc.complexity-theory  circuit-complexity  ho.history-overview 

असममित रेखांकन के परीक्षण समरूपता के परीक्षण की जटिलता के बारे में सोचते हुए ( cstheory पर मेरा संबंधित प्रश्न देखें ), मेरे दिमाग में एक पूरक प्रश्न आया। मान लीजिए कि हमारे पास एक बहुपद समय ट्यूरिंग मशीन जो इनपुट एक साथ नोड उत्पन्न करता है ।1 एन जी …

19 graph-isomorphism 

एडियाबेटिक क्वांटम अभिकलन (AQC) में, एक [समस्या] हैमिल्टनियन की जमीनी स्थिति में एक अनुकूलन समस्या के समाधान को एन्कोड करता है । इस जमीनी अवस्था में जाने के लिए, आप हैमिल्टन और "anneal" ( perturb) के साथ ओर एक आसानी से ठंडा प्रारंभिक (जमीन) स्थिति में शुरू ,एचपीएचपीH_pएचमैंएचमैंH_iएचपीएचपीH_p एच( s …

19 reference-request  quantum-computing  physics  topology 

बता दें कि एनt(G)t(G)t(G) ग्राफ के साथ ग्राफ में फैले पेड़ों की संख्या को दर्शाता है । एक एल्गोरिथ्म है जो अंकगणितीय परिचालनों में गणना करता । यह एल्गोरिथ्म गणना करने के लिए है , जहां , G का लाप्लासियन है और J वह मैट्रिक्स है जो केवल 1 's …

19 graph-theory  graph-algorithms  counting-complexity  spectral-graph-theory 

मैंने इस समस्या के बारे में बहुत पहले सोचा था, लेकिन इसके बारे में कोई विचार नहीं है। उत्पन्न एल्गोरिथ्म इस प्रकार है। हम मानते हैं देखते हैं nnn असतत से गिने नोड्स 000 करने के लिए n−1n−1n - 1 । फिर प्रत्येक के लिए iii में {1,…,n−1}{1,…,n−1}\{1, \dotsc, n …

19 pr.probability 

पृष्ठभूमि: संचार जटिलता के सामान्य दो-पक्ष मॉडल पर विचार करें जहां एलिस और बॉब को स्ट्रिंग्स और दिए गए हैं और कुछ बूलियन फ़ंक्शन गणना करनी है , जहां ।nnnxxxyyyf(x,y)f(x,y)f(x,y)f:{0,1}n×{0,1}n→{0,1}f:{0,1}n×{0,1}n→{0,1}f:\{0,1\}^n \times \{0,1\}^n \to \{0,1\} हम निम्नलिखित मात्राओं को परिभाषित करते हैं: D(f)D(f)D(f) (के नियतात्मक संचार जटिलता ): बिट्स कि ऐलिस …

19 lower-bounds  communication-complexity 

ग्रोवर के एल्गोरिथ्म की समय जटिलता (क्वेरी जटिलता नहीं) क्या है? यह मेरे लिए स्पष्ट है कि यह क्योंकि पुनरावृत्तियों हैं और प्रत्येक पुनरावृत्ति को परावर्तन ऑपरेशन के उपयोग की आवश्यकता होती है, जिसके लिए समय लगता है सार्वभौमिक फाटकों के किसी भी मानक सेट का उपयोग करके ।Ω(log(N)N−−√)Ω(log⁡(N)N)\Omega(\log(N) \sqrt{N})Ω(N−−√)Ω(N)\Omega(\sqrt{N})Ω(log(N))Ω(log⁡(N))\Omega(\log(N)) …

19 reference-request  quantum-computing  time-complexity 

मैं निम्नलिखित अनुमान को साबित (या अस्वीकृत) करना चाहूंगा: अनुमान : एक दो काउंटर ऑटोमेटा (2CA) निम्नलिखित भाषा तय नहीं कर सकता है: n }एल = { एन ∣L={n∣L = \{ n \mid की त्रिगुट और बाइनरी अभ्यावेदन दोनों भी लंबाई या विषम लंबाई हैnnn}}\} एक 2CA आसानी से जांच …

19 automata-theory 

मेरे पास एक उचित स्नातक की शिक्षा है, लेकिन अमूर्त बीजगणित (समूहों, अंगूठियां, खेतों आदि का गणित) के साथ 100% आरामदायक कभी नहीं रहा। मुझे लगता है कि यह आंशिक रूप से था क्योंकि मुझे अनुप्रयोगों को देखने की आवश्यकता थी और किसी भी चीज़ को मैं भौतिकी में पा …

19 soft-question  algebra  teaching 

कुल कार्यात्मक प्रोग्रामिंग की सीमाएं क्या हैं? यह ट्यूरिंग-पूर्ण नहीं है, लेकिन फिर भी संभावित कार्यक्रमों के एक बड़े उपसमूह का समर्थन करता है। क्या ऐसे महत्वपूर्ण निर्माण हैं जो आप ट्यूरिंग-पूर्ण भाषा में लिख सकते हैं, लेकिन कुल कार्यात्मक भाषा में नहीं? और क्या यह कहना सही है कि …

19 computability  pl.programming-languages  functional-programming 

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

19 reference-request  big-picture  dc.distributed-comp 

हम एक गणना कर सकता है बहुपद आकार से -बिट सीमा फाटक (असीम प्रशंसक-इन) गहराई का सर्किट एलजी nnnn ? वैकल्पिक रूप से, क्या हम इन सर्किटों का उपयोग करके इनपुट बिट्स में 1s की संख्या की गणना कर सकते हैं?lgnlglgnlg⁡nlg⁡lg⁡n\frac{\lg n}{\lg \lg n} है ?टी सी0⊆ एक एल टी …

19 cc.complexity-theory  circuit-complexity  circuit-depth 

सामान्य अक्षरों के लिए फीडबैक वर्टेक्स सेट एनपी-पूर्ण है। इसे शीर्ष -8 बद्ध रेखांकन के लिए एनपी-पूर्ण होने के लिए जाना जाता है। विकिपीडिया लेख का कहना है कि यह डिग्री -3 घिरा रेखांकन के लिए पाली समय व्याख्या करने योग्य है और डिग्री -4 घिरा रेखांकन के लिए एनपी …

19 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  bounded-degree