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

मैं श्रेणी सिद्धांत के कुछ बिट्स सीख रहा हूं। यह निश्चित रूप से चीजों को देखने का एक अलग तरीका है। (जिन लोगों ने इसे नहीं देखा है उनके लिए बहुत ही संक्षिप्त सारांश: श्रेणी सिद्धांत सभी प्रकार के गणितीय व्यवहार को पूरी तरह से वस्तुओं के बीच कार्यात्मक संबंधों …

103 pl.programming-languages  lo.logic  ct.category-theory 

पोस्ट के बाद क्या किताबें हर किसी को पढ़ना चाहिए , मैंने देखा कि हाल ही में ऐसी किताबें हैं जिनके ड्राफ्ट ऑनलाइन उपलब्ध हैं। उदाहरण के लिए, उपर्युक्त पोस्ट की स्वीकृति एल्गोरिदम प्रविष्टि 2011 की किताब (अभी तक प्रकाशित होने वाली) का शीर्षक देती है जिसका शीर्षक सन्निकटन एल्गोरिदम …

99 reference-request  big-list  books 

हाल के वर्षों में बहुत सारे पाथफाइंडिंग एल्गोरिदम विकसित किए गए हैं जो ए * की तुलना में बहुत तेज़ी से ग्राफ़ परिवर्तनों के जवाब में सबसे अच्छे पथ की गणना कर सकते हैं - वे क्या हैं, और वे कैसे भिन्न होते हैं? क्या वे विभिन्न स्थितियों के लिए …

96 ds.algorithms  shortest-path 

मैं स्नातक गणित की बड़ी कंपनियों के उद्देश्य से एक वार्ता की तैयारी कर रहा हूं, और इसके हिस्से के रूप में, मैं निर्णायक क्षमता की अवधारणा पर चर्चा कर रहा हूं। मैं एक ऐसी समस्या का उदाहरण देना चाहता हूं, जिसे हम वर्तमान में निर्णायक या अनिर्दिष्ट नहीं जानते …

92 computability  decidability 

मैं अधिक से अधिक TCS- संबंधित सम्मेलनों और कार्यशालाओं की सूची तैयार करने में मदद माँगना चाहूँगा। ऐसा करने के लिए मेरी मुख्य प्रेरणा अधिक सिद्धांत स्थानों के संभावित ब्लॉग कवरेज की योजना बनाना है - इन घटनाओं में भाग लेने वाले संवाददाताओं को खोजना जो उन घटनाओं के बारे …

90 soft-question  big-list  conferences 

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

85 soft-question  big-picture  lambda-calculus  ho.history-overview 

आकर्षक शीर्षक के लिए क्षमा करें। मैं समझना चाहता हूं कि चर्च-ट्यूरिंग थीसिस को भंग करने के लिए किसी को क्या करना चाहिए? कहीं मैंने पढ़ा है कि यह गणितीय रूप से असंभव है! क्यों? ट्यूरिंग, रोसेर आदि ने अलग-अलग शब्दों का इस्तेमाल किया: "क्या गणना की जा सकती है" …

83 computability  proofs  hypercomputation 

सबसे मजेदार टीसीएस से संबंधित प्रकाशित काम क्या है जो आप जानते हैं? कृपया केवल उन लोगों को शामिल करें, जिनका उद्देश्य मजाकिया होना है। ऐसे काम जिन्हें स्पष्ट रूप से हास्यपूर्ण तरीके से तैयार किया जाता है (बजाय कहें, जटिलता सिद्धांत के बारे में संक्षिप्त चुटकुले का एक प्रकाशित …

80 reference-request  soft-question  big-list 

यह एक "ऐतिहासिक प्रश्न" है, जितना कि यह एक शोध प्रश्न है, लेकिन शुरू में पीटर शोर द्वारा खोजे गए कारक के लिए शोर के एल्गोरिथ्म में ऑर्डर-फाइंडिंग के लिए शास्त्रीय कमी थी, या यह पहले से ज्ञात था? क्या कोई ऐसा कागज है जो कमी का वर्णन करता है …

79 quantum-computing  ho.history-overview  factoring 

मैं वर्तमान में एक स्नातक छात्र हूं, इस वर्ष स्नातक होने के लिए बाध्य हूं। स्नातक होने के बाद, मैं एक टीसीएस मास्टर / पीएचडी की दिशा में काम करने पर विचार कर रहा हूं। मैंने यह सोचना शुरू कर दिया है कि गणित के किन क्षेत्रों को TCS के …

79 cc.complexity-theory  soft-question  advice-request 

दुनिया की पहली प्रोग्राम योग्य क्वांटम फोटोनिक चिप की घोषणा के प्रकाश में , मैं सोच रहा था कि क्वांटम उलझाव का उपयोग करने वाले कंप्यूटर के लिए क्या सॉफ्टवेयर होगा। मेरे द्वारा लिखे गए पहले कार्यक्रमों में से कुछ ऐसा था for i = 1 to 10 print i …

76 quantum-computing 

यह प्रश्न यहाँ पर उपयुक्त नहीं होगा, लेकिन मुझे पूछने के लिए इससे बेहतर जगह नहीं मिल सकती थी (यह SO में बंद था)। मुझे कंप्यूटर विज्ञान के शोध पत्रों को समझने में मुश्किल होती है। बेशक विषय जटिल हैं। लेकिन एक पेपर को समझने के बाद आमतौर पर मैं …

75 soft-question  research-practice 

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

74 reference-request  soft-question  big-list  topology 

यह सर्वविदित है कि सामान्य रूप से, सार्वभौमिक और अस्तित्वगत मात्रात्मक के क्रम को उलट नहीं किया जा सकता है। दूसरे शब्दों में, एक सामान्य तार्किक सूत्र ,ϕ(⋅,⋅)ϕ(⋅,⋅)\phi(\cdot,\cdot) (∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(\forall x)(\exists y) \phi(x,y) \quad \not\Leftrightarrow \quad (\exists y)(\forall x) \phi(x,y) दूसरी ओर, हम जानते हैं कि दाएँ-बाएँ पक्ष बाएँ-हाथ की तुलना …

73 lo.logic  big-picture  proof-techniques 

पहले के एक प्रश्न के उत्तर में , मैंने आम लेकिन गलत धारणा का उल्लेख किया कि "गाऊसी" उन्मूलन O(n3)O(n3)O(n^3) समय में चलता है । हालांकि यह स्पष्ट है कि एल्गोरिथ्म अंकगणितीय संचालन का उपयोग करता है , लापरवाह कार्यान्वयन कई बिट्स के साथ संख्या बना सकता है। एक सरल …

72 ds.algorithms  reference-request  linear-algebra