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

हम DFA द्विआधारी संख्या को स्वीकार करने से विभाज्य फार्म कर सकते हैं ।nnn उदाहरण के लिए डीएफए को द्विआधारी संख्या को 2 से स्वीकार करना निम्नानुसार बनाया जा सकता है: इसी प्रकार डीएफए को बाइनरी संख्या को 3 से विभाजित करके स्वीकार किया जा सकता है: हम इन प्रकार …

9 regular-languages  automata  finite-automata  regular-expressions 

मैं जानना चाहता हूं कि प्रोग्रामिंग भाषा में एक प्रकार की प्रणाली कितनी फायदेमंद हो सकती है। उदाहरण के लिए, मुझे पता है कि एक भरोसेमंद रूप से टाइप की गई प्रोग्रामिंग भाषा में, हम Vectorटाइप सिग्नेचर में वेक्टर के आकार को शामिल करते हुए एक क्लास बना सकते हैं …

9 type-theory  functional-programming  dependent-types 

एक स्ट्रिंग को देखते हुए , मैं सबसे लंबे समय तक दोहराए जाने (कम से कम दो बार) बाद में खोजना चाहूंगा। है कि, मैं एक स्ट्रिंग प्राप्त करना चाहते हैं जो किसी परिणाम है की (एक आस पास होने की जरूरत नहीं है) ऐसी है कि डब्ल्यू डब्ल्यू '\ …

9 algorithms  optimization  dynamic-programming  strings  subsequences 

डिस्क्लेमर: मैं एक जीवविज्ञानी हूं, इसलिए इस तरह के क्रूड के संदर्भ में (शायद) मूल प्रश्न के लिए खेद है। मुझे यकीन नहीं है कि मुझे यह सवाल यहां या डीएस / एससी से पूछना चाहिए, लेकिन सीएस तीन में से सबसे बड़ा है, इसलिए यहां जाता है। (जब मैंने …

9 machine-learning  probability-theory 

हम कभी-कभी सुनते हैं "स्विफ्ट क्लासिक (ट्रेसिंग) जीसी नहीं करता है, यह एआरसी का उपयोग करता है।" लेकिन मुझे यकीन नहीं है कि स्विफ्ट शब्दार्थ में कुछ भी है जिसे संदर्भ गणना की आवश्यकता है। ऐसा लगता है कि जीसी का उपयोग करने के लिए कोई व्यक्ति अपने स्विफ्ट कंपाइलर …

9 semantics  garbage-collection 

मान लीजिए कि मेरे दो कार्य और और मैं यह निर्धारित करने में रुचि रखता हूं कि क्याFFFGGG F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. मान लीजिए कि मेरे कार्य प्राथमिक कार्यों (बहुपद, घातांक, लॉग, और त्रिकोणमितीय कार्यों) से बने हैं, लेकिन टेलर श्रृंखला नहीं कहते हैं। क्या यह समस्या निर्णायक है? यदि …

9 computability  undecidability  mathematical-analysis  computer-algebra 

इनपुट स्ट्रिंग के रूप में दिया जाता है w1w2...wnw1w2...wnw_1w_2...w_n। फिर अगर कोई NFA वर्तमान में राज्य में हैrrr (और वर्णमाला तक इनपुट पढ़ा है wiwiw_i ) फिर अगले इनपुट प्रतीक को पढ़ने से पहले एनएफए दो एनएफए में विभाजित हो जाता है, एक राज्य में होता है rrr और अन्य …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

मैं अब बहुत गैर निरर्थक (वास्तविक) जानकारी को मापने की कोशिश कर रहा हूं जिसमें मेरी फ़ाइल शामिल है। कुछ इसे एन्ट्रापी की मात्रा कहते हैं। बेशक मानक पी (एक्स) लॉग {पी (एक्स)} है, लेकिन मुझे लगता है कि शैनन केवल एक चैनल को प्रसारित करने के दृष्टिकोण से इस …

9 entropy 

क्या रेखांकन का एक ऐसा लक्षण है जिसके किनारे सेट सही मिलान के एक असंतुष्ट संघ में विघटित होते हैं? इस तरह के रेखांकन का एक तुच्छ वर्ग अनियमित -बिपार्टाइट रेखांकन है। उनकी बढ़त सेट में विघटित होगा संबंध तोड़ना सही matchings। ddd(n,n)(n,n)(n,n)ddd

9 graph-theory  graphs 

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

9 algorithms  error-correcting-codes 

मेरे पास पॉइंट्स का एक सेट है जो एक मीट्रिक स्पेस में परिभाषित किया गया है - इसलिए मैं पॉइंट्स के बीच एक 'दूरी' को माप सकता हूं लेकिन कुछ और नहीं। मैं इस सेट के भीतर सबसे केंद्रीय बिंदु खोजना चाहता हूं, जिसे मैं अन्य सभी बिंदुओं के लिए …

9 complexity-theory  computational-geometry  lower-bounds  search-problem 

सुसंध्या! मैं वास्तव में फ्रांस के अभिलेखागार नागरिकों पर एक इंटर्नशिप कर रहा हूं और मुझे एक स्थिति का सामना करना पड़ा जिसे मैं ग्राफ़ का उपयोग करके हल करना चाहता था ... I. धूल भरी स्थिति हम अपनी लाइब्रेरी की पुस्तकों की व्यवस्था को उनकी ऊँचाई के अनुसार अनुकूलित …

9 algorithms  graphs  optimization  packing 

तो एसके कॉम्बिनेटर का उपयोग करके लैंबडा कैलकुलस शब्द को कॉम्बिनेटर लॉजिक में बदलने के लिए एक एल्गोरिदम है। यह उन चीजों का उत्पादन करता है जो आकार में विस्फोट करते हैं। मैं आकार में इस विस्फोट के बारे में अधिक जानना चाहूंगा। मैं हालांकि एक बेहतर एल्गोरिथ्म के बारे …

9 lambda-calculus  functional-programming  combinatory-logic 

विकिपीडिया पृष्ठ पर यहाँ सीडीसीएल एल्गोरिथ्म का बहुत अच्छा वर्णन किया गया है (और ऐसा लगता है कि चित्रों को प्रिंस्टन में शरद मलिक द्वारा बनाई गई स्लाइड्स से लिया गया था)। हालाँकि, यह वर्णन करने के लिए कि सभी को कैसे पीछे हटाना है, "उचित बिंदु पर" है। मिनीसैट …

9 machine-learning  satisfiability  sat-solvers  backtracking 

निम्नलिखित समस्या पर विचार करें। दिया गया: किनारों पर वास्तविक गैर-नकारात्मक भार के साथ एक पूरा ग्राफ। कार्य: अधिकतम भार का एक प्लानर उपसमूह ढूंढें। ("सभी संभावित प्लानर उपसमूहों के बीच अधिकतम") नोट: अधिकतम-वजन वाला सबग्राफ एक त्रिकोणासन होगा; यदि पूरा ग्राफ कोने पर है, तो इसमें किनारे होंगे।nnnm=3n−6m=3n−6m=3n-6 प्रश्न: …

9 algorithms  graph-theory  optimization  combinatorics