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

क्रिस ओकासाकी की 1998 की पुस्तक "विशुद्ध रूप से कार्यात्मक डेटा संरचनाएं" के बाद से, मैंने कई नए रोमांचक विशुद्ध रूप से कार्यात्मक डेटा संरचनाएं नहीं देखी हैं; मैं कुछ ही नाम दे सकता हूं: IntMap (1998 में ओकासाकी द्वारा आविष्कार किया गया था, लेकिन उस पुस्तक में मौजूद नहीं …

563 reference-request  big-list  ds.data-structures  functional-programming 

यह सवाल MathOverflow में एक समान प्रश्न है (/ से शर्मनाक तरीके से चुराया गया) (से प्रेरित है) , लेकिन मुझे उम्मीद है कि यहाँ उत्तर काफी अलग होंगे। हम सभी के पास अपने संबंधित क्षेत्रों में पसंदीदा पेपर हैं। हर एक समय में एक बार, एक पेपर इतना आश्चर्यजनक …

454 big-list  soft-question 

पॉल एर्दोस ने "बुक" के बारे में बात की जहां भगवान प्रत्येक गणितीय प्रमेय का सबसे सुरुचिपूर्ण प्रमाण रखता है। इसने एक पुस्तक को प्रेरित किया (जो मुझे विश्वास है कि अब इसके 4 वें संस्करण में है): पुस्तक से प्रमाण । यदि भगवान के पास एल्गोरिदम के लिए एक …

358 ds.algorithms  soft-question  ds.data-structures  big-list 

एल्गोरिदम के महत्व को प्रदर्शित करने के लिए (उदाहरण के लिए, छात्रों और प्रोफेसरों जो सिद्धांत नहीं करते हैं या पूरी तरह से अलग-अलग क्षेत्रों से भी हैं) कभी-कभी उन उदाहरणों की एक सूची तैयार करना उपयोगी होता है जहां कोर एल्गोरिदम को वाणिज्यिक, सरकारी, या व्यापक रूप से उपयोग …

307 ds.algorithms  big-picture  application-of-theory 

मैं मनोरंजन के लिए थ्योरी ऑफ़ कम्प्यूटेशन को संशोधित कर रहा हूँ और यह सवाल मुझे कुछ समय के लिए कचोट रहा है (जब मैंने अपने अंडरगार्मेंट में ऑटोमेटा थ्योरी सीखी तो मजाकिया अंदाज़ा कभी नहीं लगा)। तो "क्यों" वास्तव में हम निर्धारक और गैर-नियतात्मक परिमित ऑटोमेटा (डीएफए / एनएफए) …

247 fl.formal-languages  automata-theory  big-picture  teaching  dfa 

नॉर्बर्ट ब्लम ने हाल ही में एक 38-पेज का सबूत पोस्ट किया है जो । क्या यह सही है?P≠NPP≠NPP \ne NP विषय पर भी: कहां (इंटरनेट पर) इसकी शुद्धता पर चर्चा की जा रही है? नोट: इस प्रश्न पाठ का ध्यान समय के साथ बदल गया है। विवरण के लिए …

232 cc.complexity-theory  np-hardness  complexity-classes 

[ समयरेखा ] इस सवाल में एक ही भावना है कि सभी को कौन से पेपर पढ़ना चाहिए और हर किसी को क्या वीडियो देखना चाहिए । यह सैद्धांतिक कंप्यूटर विज्ञान के विभिन्न क्षेत्रों में उल्लेखनीय पुस्तकों के लिए पूछता है। पुस्तकें गणित-उन्मुख हो सकती हैं, फिर भी आपको कंप्यूटर …

229 reference-request  soft-question  big-list  books 

विकिपीडिया केवल "कंप्यूटर विज्ञान में अनसुलझी समस्याओं" के तहत दो समस्याओं को सूचीबद्ध करता है : पी = एनपी? एक तरफ़ा कार्यों का अस्तित्व अन्य प्रमुख समस्याएं क्या हैं जिन्हें इस सूची में जोड़ा जाना चाहिए? नियम: प्रति उत्तर केवल एक समस्या एक संक्षिप्त विवरण और किसी भी प्रासंगिक लिंक …

218 big-list  open-problem 

मान लीजिए कि मारियो किसी ग्रह की सतह पर चल रहा है। यदि वह एक पूर्व निर्धारित दूरी के लिए, एक निश्चित दिशा में, एक ज्ञात स्थान से चलना शुरू करता है, तो हम कितनी जल्दी निर्धारित कर सकते हैं कि वह कहां रुकेगा? PPPsssPPPvvvpppℓℓ\ellPPPPPP PPPsssvvvℓℓ\ell PPPO(1)O(1)O(1)ℓℓ\ellPPP (व्यवहार में, पथ …

140 ds.algorithms  cg.comp-geom 

स्टैनफोर्ड यूनिवर्सिटी में अब एक Youtube चैनल है , जिसमें डायनेमिक सिस्टम से लेकर क्वांटम उलझाव तक हर चीज पर फुल कोर्स के एचडी वीडियो का मुफ्त उपयोग है। अधिक सम्मेलनों और कार्यशालाओं में उनकी बातचीत की विडियोग्राफी की जाती है। ऑनलाइन ऐसे कौन से वीडियो हैं जिनके बारे में …

140 soft-question  big-list 

फैक्टरिंग और ग्राफ समरूपता एनपी में समस्याएं हैं जो पी में नहीं जानी जाती हैं और न ही एनपी-पूर्ण होने के लिए। इस संपत्ति को साझा करने वाली कुछ अन्य (पर्याप्त रूप से अलग) प्राकृतिक समस्याएं क्या हैं? लडनेर के प्रमेय के प्रमाण से सीधे आने वाले कृत्रिम उदाहरणों की …

128 cc.complexity-theory  np-hardness  big-list  np-intermediate 

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

118 soft-question  research-practice  advice-request 

प्रत्येक तार के पात्रों को क्रम में रखते हुए, दो तारों का एक फेरबदल पात्रों को एक नई स्ट्रिंग में बदलकर बनाया जाता है। उदाहरण के लिए, MISSISSIPPIका फेरबदल है MISIPPऔर SSISI। अगर यह दो समान तारों का फेरबदल है, तो मुझे एक स्ट्रिंग स्क्वायर बुलाएं । उदाहरण के लिए, …

117 ds.algorithms  open-problem 

इस योजना के साथ कई प्रश्न किए गए हैं: सभी को कौन से पेपर पढ़ना चाहिए सभी को कौन सी किताबें पढ़नी चाहिए हाल ही में टीसीएस की कौन सी किताबें हैं जिनका ड्राफ्ट ऑनलाइन उपलब्ध है क्या वीडियो हर किसी को देखना चाहिए मैं अभी तक एक और पोस्ट …

113 reference-request  soft-question  big-list 

सैद्धांतिक कंप्यूटर विज्ञान ने "अमूर्त की कीमत" के कुछ उदाहरण प्रदान किए हैं। गॉसियन उन्मूलन और छंटाई के लिए दो सबसे प्रमुख हैं। अर्थात्: यह ज्ञात है कि गाऊसी उन्मूलन के लिए इष्टतम है, कहते हैं, यदि आप एक पूरे [1] के रूप में पंक्तियों और स्तंभों के संचालन को …

112 ds.algorithms  reference-request  big-list  lower-bounds