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

क्या ऑनलाइन एल्गोरिथम पर कोई हालिया पुस्तकें हैं? मुझे इस विषय पर केवल दो पुस्तकों का पता है। एलन बोरोडिन और रैन एल-यानिव द्वारा ऑनलाइन संगणना और प्रतिस्पर्धी विश्लेषण: यह एक क्लासिक लेकिन पुरानी किताब है, और इस क्षेत्र में कई हालिया अग्रिम शामिल नहीं हैं। Niv Buchbinder और यूसुफ …

13 reference-request  big-list  online-algorithms 

[1] में, मिशेल वैंड ने प्रदर्शित किया कि शुद्ध लैम्ब्डा कैलकुलस में fexprs को जोड़ने से प्रासंगिक तुल्यता के सिद्धांत का तुच्छीकरण हो जाता है, जिसका अर्थ है कि दो शब्द प्रासंगिक रूप से समतुल्य हैं यदि वे congruent हैं। संबंधित काम की खोज करते समय, उन्होंने "हमारा परिणाम अल्बर्ट …

13 pl.programming-languages  lisp  scheme 

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

13 cc.complexity-theory  reference-request  machine-learning 

एक वितरण संपत्ति पी के लिए एक वितरण परीक्षण एल्गोरिथ्म (जो सिर्फ [n] भर में वितरण के कुछ सबसेट है) कुछ वितरण डी के अनुसार नमूने के लिए उपयोग की अनुमति दी है, और तय करने के लिए (whp) यदि आवश्यक है या घ ( डी , पी ) > …

13 cc.complexity-theory  machine-learning  query-complexity  property-testing 

क्या Microsoft Word का एकल उद्देश्य (नॉन ट्यूरिंग पूर्ण) यांत्रिक कार्यान्वयन संभव है? क्या पुनरावृत्तियों, प्रथम-क्रम के कार्यों, प्रोग्रामिंग तकनीकों के संपूर्ण सरगम ​​के रूप में ऐसी चीजों को लागू करना संभव है? क्या गियर और अन्य यांत्रिक भाग डेटा संरचनाओं या यहां तक ​​कि प्रोग्राम ऑब्जेक्ट का प्रतिनिधित्व कर …

13 computability  pl.programming-languages  machine-models  ar.hardware-architecture 

निर्धारक के लिए सबसे छोटा ज्ञात सूत्र लोक n के अनुसार आकार है (या इसके पेपर में Ran Raz के लिए स्थायी और नियतांक के लिए बहु-रेखीय सूत्र सुपर-बहुपद आकार के हैं )।nओ (लॉग)n )nO(log⁡n)n^{\mathcal O(\log n)} क्या आपके पास इसके लिए कोई संदर्भ है? विशेष रूप से, यह सूत्र …

13 cc.complexity-theory  reference-request  algebraic-complexity  determinant 

क्लस्टर-स्टेट कम्प्यूटेशन का सिद्धांत अब तक अच्छी तरह से स्थापित है, यह दर्शाता है कि किसी भी BQP सर्किट को संशोधित किया जा सकता है, इसलिए यह केवल एकल क्वांटम क्वांटम गेट्स का उपयोग करता है, संभवतः शास्त्रीय रूप से नियंत्रित, बशर्ते "क्लस्टर राज्य" नामक राज्य की पर्याप्त आपूर्ति - …

13 quantum-computing 

गाऊसी उन्मूलन एक मैट्रिक्स बहुपद-समय कम्प्यूटेशनल का निर्धारक बनाता है। निर्धारक, जो अन्यथा घातीय पदों का योग है कंप्यूटिंग में जटिलता को कम करने, वैकल्पिक नकारात्मक संकेत (कमी जिनमें से स्थायी है कंप्यूटिंग बनाता है की उपस्थिति के कारण है #P-hard#P-hard \#P\mbox{-}hard यानी कठिन तो। NP-CNP-CNP\mbox{-}C समस्याओं) । यह निर्धारक …

13 cc.complexity-theory  time-complexity  algebraic-complexity  gr.group-theory  determinant 

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

13 ds.algorithms  co.combinatorics  algebraic-complexity  matrix-product 

एलन ट्यूरिंग का 100 वां जन्मदिन मनाने के लिए, मैं उनके जीवन के बारे में एक वृत्तचित्र देखना चाहता हूं। हालांकि, चुनने के लिए कई वृत्तचित्र हैं। एलन ट्यूरिंग के बारे में कौन सी डॉक्यूमेंट्री आपकी पसंदीदा है? कृपया प्रति उत्तर केवल एक वृत्तचित्र शामिल करें।

13 reference-request  soft-question  big-list  ho.history-overview 

यादृच्छिक प्रतिबंधों और स्विचिंग लेम्मा के आधार पर कई प्रसिद्ध सर्किट आकार कम-बाउंड परिणाम हैं ।A सी0AC0\mathsf{AC^0} क्या हम सर्किट के लिए निम्न आकार-बाउंड को सिद्ध करने के लिए एक स्विचिंग लेम्मा परिणाम विकसित कर सकते हैं ( लिए निम्न-बद्ध प्रमाण के समान )? A C 0टी सी0TC0\mathsf{TC^0}A सी0AC0\mathsf{AC^0} या …

13 cc.complexity-theory  circuit-complexity  lower-bounds  boolean-functions 

ppp≤d≤d\le dbias(p)≜|Prx∈{0,1}n(p(x)=0)−Prx∈{0,1}n(p(x)=1)|>ϵbias(p)≜|Prx∈{0,1}n(p(x)=0)−Prx∈{0,1}n(p(x)=1)|>ϵbias(p) \triangleq |\Pr_{x\in\{0,1\}^n}(p(x)=0)-\Pr_{x\in\{0,1\}^n}(p(x)=1)| \gt \epsilon * जब मैं डिग्री ≤d≤d\le d और एन चर के साथ यादृच्छिक बहुपद लिख रहा हूं , तो आप संभावना 1/2 के साथ उठाए गए कुल डिग्री \ ली डी के प्रत्येक मोनोमियल के बारे में सोच सकते हैं ≤d≤d\le d। केवल एक ही …

13 randomness  pr.probability  algebra  polynomials 

मैं अपने छात्रों को एक त्रिकोण का एक संग्रह के अनुरूप खोजने की समस्या सौंपा में अंक , के साथ लेबल \ PM1 । (ए त्रिकोण टी है सुसंगत लेबल नमूने के साथ करता है, तो टी सकारात्मक और नकारात्मक अंक में से कोई भी के सभी शामिल हैं; धारणा …

13 cg.comp-geom  machine-learning  lg.learning  convex-geometry 

क्या कोई अच्छी तरह से ज्ञात समस्याओं को सूचीबद्ध कर सकता है जो निम्न स्थितियों को संतुष्ट करता है: 1. has a generalization problem that is known to be NP-complete 2. has not been proved to be NP-complete nor has a known polynomial time solution.

13 cc.complexity-theory  np-hardness 

क्या किसी ने शिफ्ट-कम पार्सिंग तकनीकों और सीमांकित निरंतरताओं के बीच संबंध को औपचारिक रूप दिया है? जब एक नीचे-ऊपर पार्सर (जैसे, एलआर पारसर्स) के निर्माण के लिए, हम एक व्याकरण लेने के लिए और उसके बाद के सेट के रूप में पार्स राज्यों का प्रतिनिधित्व आइटम : फार्म की …

13 pl.programming-languages  parsing