कंप्यूटर विज्ञान

गुणन एल्गोरिदम पर विकिपीडिया पृष्ठ डोनाल्ड नथ द्वारा एक दिलचस्प एक का उल्लेख करता है । मूल रूप से, इसमें लॉगरिदमिक-आकार के गुणकों की एक पूर्वनिर्मित तालिका के साथ फूरियर-ट्रांसफॉर्म गुणा का संयोजन शामिल है। यह रैखिक समय में चलता है। लेख इस एल्गोरिथ्म की तरह काम करता है किसी …

13 algorithms  runtime-analysis  multiplication 

दो एनपीडीए के प्रतिच्छेदन पर राफेल के सुझाव के लिए एप्रोपॉइस : चलो और NPDA के लिए विषय से मुक्त भाषाओं और क्रमश। यह मानते हुए कि हम जानते हैं कि संदर्भ-मुक्त है, क्या हम (प्रभावी रूप से) लिए NPDA निर्माण कर सकते हैं ?A1A1A_1A2A2A_2L1L1L_1L2L2L_2L=L1∩L2L=L1∩L2L = L_1 \cap L_2AAALLL किसी …

13 computability  automata  pushdown-automata 

मान लें ।P≠NPP≠NPP\neq NP हम सभी एनपी-पूर्ण समस्याओं के रनटाइम सीमा के बारे में क्या कह सकते हैं? यानी वे कौन से सबसे अधिक कार्य हैं जिसके लिए हम गारंटी दे सकते हैं कि किसी भी NP- पूर्ण समस्या के लिए एक इष्टतम एल्गोरिथ्म कम से कम ω ( L …

13 complexity-theory  time-complexity  np-complete  p-vs-np 

मैंने विकिपीडिया और कुछ अन्य ग्रंथों में पढ़ा है रुकने की समस्या है [...] रेखीय बंधित ऑटोमेटा (LBA) [और] नियतात्मक मशीनों के साथ परिशोधित स्मृति के लिए। लेकिन इससे पहले यह लिखा गया है कि रुकने की समस्या एक असंदिग्ध समस्या है और इस प्रकार टीएम इसे हल नहीं कर …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

यह एक सर्वविदित तथ्य है कि "सहसंबंध बराबर कार्य नहीं करता है", लेकिन मशीन सीखना लगभग पूरी तरह से सहसंबंध पर आधारित लगता है। मैं छात्रों के प्रदर्शन पर उनके पिछले प्रदर्शनों के आधार पर अनुमान लगाने के लिए एक प्रणाली पर काम कर रहा हूं। अन्य कार्यों के विपरीत, …

13 machine-learning  statistics 

मैं एक का एक उदाहरण चाहते हैं Quine शुद्ध में लैम्ब्डा पथरी । मुझे काफी हैरानी हुई कि मैं गोग्लिंग से एक नहीं मिला। क्वीन पेज कई "वास्तविक" भाषाओं के लिए सूचीबद्ध करता है, लेकिन लैम्ब्डा कैलकुलस के लिए नहीं। बेशक, इसका मतलब है कि लंबोदा पथरी में एक क्वीन …

13 lambda-calculus 

फंक्शनल प्रोग्रामिंग में बहुत ही सुंदर लैंबडा कैलकुलस और इसके वेरिएंट एक बैकअप सिद्धांत के रूप में हैं। क्या OOP के लिए ऐसा है? ऑब्जेक्ट ओरिएंटेड मॉडल के लिए एक अमूर्त क्या है?

13 terminology  lambda-calculus  functional-programming  object-oriented 

मैं कोलमोगोरोव कॉम्प्लेक्सिटी ( इस सवाल के लिए धन्यवाद ) पर विकिपीडिया की प्रविष्टि पढ़ रहा था , जिसमें कहा गया है: यह दिखाया जा सकता है कि किसी भी स्ट्रिंग की कोलमोगोरोव जटिलता स्ट्रिंग की लंबाई से बड़ी कुछ बाइट्स से अधिक नहीं हो सकती है। इसका वर्णन करने …

13 kolmogorov-complexity 

मैं निम्नलिखित समस्या या एनपी-कठोरता के प्रमाण के लिए एक कुशल एल्गोरिथ्म की तलाश कर रहा हूं। चलो एक सेट और हो के सबसेट का एक सेट । एक अनुक्रम ज्ञात करें की लंबाई कम से कम इस तरह की है कि प्रत्येक , ऐसा है कि ।एक ⊆ पी …

13 algorithms  formal-languages  encoding-scheme 

निम्नलिखित पुनरावर्ती फाइबोनैचि एल्गोरिथ्म का उपयोग करना: def fib(n): if n==0: return 0 elif n==1 return 1 return (fib(n-1)+fib(n-2)) यदि मैं 5 नंबर को फाइब (5) खोजने के लिए इनपुट करता हूं, तो मुझे पता है कि यह 5 आउटपुट देगा लेकिन मैं इस एल्गोरिथ्म की जटिलता की जांच कैसे …

13 algorithms  time-complexity  recursion 

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

13 formal-languages  reference-request  automata  discrete-mathematics  group-theory 

भाषा नियमित होने दें।L⊆Σ∗L⊆Σ∗\mathcal{L} \subseteq \Sigma^* का एक गुणन शब्दों के समूह की एक अधिकतम जोड़ी है ( एक्स , वाई )LL\mathcal{L}(X,Y)(X,Y)(X,Y) X⋅Y⊆LX⋅Y⊆LX \cdot Y \subseteq \mathcal{L} X≠∅≠YX≠∅≠YX \neq \emptyset \neq Y , जहाँ | ।एक्स ∈ एक्स , वाई ∈ वाई }X⋅Y={xyX⋅Y={xyX \cdot Y = \{xyx∈X,y∈Y}x∈X,y∈Y}x \in X, y …

13 algorithms  regular-languages  optimization 

मैं यह समझने की कोशिश कर रहा हूं कि "नियतात्मक संदर्भ-मुक्त व्याकरण" जैसे अभिव्यक्तियों में "नियतात्मक" का क्या अर्थ है। (इस क्षेत्र में अधिक निर्धारक "चीजें" हैं)। मैं एक उदाहरण की अधिक सराहना करता हूं फिर सबसे विस्तृत व्याख्या! अगर संभव हो तो। भ्रम का मेरा प्राथमिक स्रोत यह बताने …

13 context-free  formal-grammars  parsers 

मैं क्रमबद्धता और रैखिकता के बीच के अंतरों के बारे में पढ़ रहा हूं , जो कि प्रतिकृति डेटाबेस जैसी प्रतिकृति प्रणालियों के लिए दोनों स्थिरता मानदंड हैं। हालाँकि, मुझे नहीं पता कि किन मामलों में रैखिकता की आवश्यकता होगी, भले ही यह क्रमबद्धता से अधिक मजबूत हो। क्या आप …

13 concurrency  databases 

हैं डिब्बे, मैं वें बिन शामिल एक मैं गेंदों। गेंदों है n रंग, देखते हैं एक मैं रंग की गेंदों मैं । चलो मीटर = Σ n मैं = 1 एक मैं ।nnnमैंiiएमैंaia_innnएमैंaia_iमैंiiम = ∑nमैं = १एमैंm=∑i=1naim=\sum_{i=1}^n a_i एक स्वैप एक बिन से एक गेंद लेता है और दूसरे बिन …

13 algorithms  complexity-theory  balls-and-bins