applied-theory पर टैग किए गए जवाब

ऐसा लगता है कि हर जगह मैं देखता हूं, लाल-काले पेड़ों ( std::setसी ++ में, SortedDictionaryसी #, आदि) का उपयोग करके डेटा संरचनाएं लागू की जा रही हैं । मेरे एल्गोरिदम वर्ग में सिर्फ (क, ख), लाल-काले और AVL के पेड़ों को कवर करने के बाद, यहाँ जो मुझे मिला …

46 data-structures  search-trees  applied-theory  dictionaries  balanced-search-trees 

ट्विटर जैसी कंपनी को बीजीय अवधारणाओं जैसे समूह, मोनॉयड और रिंग में रुचि क्यों होगी? गितुब पर उनका भंडार देखें : Twitter / algebird । सब मैं पा सकता है: दिलचस्प सन्निकटन एल्गोरिदम, जैसे कि ब्लूम फ़िल्टर , हाइपरलॉगलॉग और काउंटमिनसेट के लिए मोनॉयड का कार्यान्वयन । ये आपको इन …

38 reference-request  discrete-mathematics  database-theory  applied-theory  group-theory 

यह देखकर कि चॉम्स्की पदानुक्रम में टाइप 3 भाषाओं को एक स्टेट मशीन द्वारा पहचाना जा सकता है जिसमें कोई बाहरी मेमोरी नहीं है (यानी, एक परिमित ऑटोमेटन), टाइप 2 के साथ स्टेट मशीन द्वारा सिंगल स्टैक (यानी पुश-डाउन ऑटोमेटन) और टाइप 0 बाय एक स्टेट मशीन जिसमें दो स्टैक …

34 formal-languages  applied-theory  computability  automata  formal-grammars 

मुझे अपने विश्वविद्यालय में एक अभ्यास सौंपा गया है। मैं इसे घर ले गया और इसे हल करने के लिए एक एल्गोरिथ्म प्रोग्राम करने की कोशिश की, यह ग्राफ़ से संबंधित कुछ था, जुड़े घटकों को ढूंढ रहा था, मुझे लगता है। फिर मैंने सबसे तुच्छ चीज़ बनाई जो मेरे …

30 algorithms  algorithm-analysis  education  applied-theory 

मैं किसी समस्या का एनकोड करने के लिए SAT सॉल्वर का उपयोग कर रहा हूँ, और SAT उदाहरण के भाग के रूप में, मेरे पास बूलियन वैरिएबल जहाँ यह इरादा है कि इनमें से एक सही होना चाहिए और बाकी सब होना चाहिए झूठा होना। (मैंने कभी-कभी इसे "एक-गर्म" एन्कोडिंग …

25 satisfiability  sat-solvers  applied-theory 

एक ऑटोमेटन एक डिजिटल कंप्यूटर का एक सार मॉडल है। डिजिटल कंप्यूटर पूरी तरह से नियतात्मक हैं; किसी भी समय उनका राज्य इनपुट और प्रारंभिक स्थिति से विशिष्ट रूप से अनुमानित है। जब हम वास्तविक प्रणालियों को मॉडल करने की कोशिश कर रहे हैं, तो ऑटोमेटा सिद्धांत में नॉनडेटर्मिनिज़म क्यों …

23 automata  nondeterminism  applied-theory 

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

20 algorithms  sorting  applied-theory  radix-sort 

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

18 applied-theory  category-theory 

एचएचHज : यू→ { 0 , … , M- 1 }ज:यू→{0,...,म-1}h: U \rightarrow \{0,\ldots,M-1\}∀ एक्स , वाई∈ यू, x ≠ य⇒ प्रज ∈ ज[ h ( x ) = h ( y)) ] ≤ १म∀एक्स,y∈यू,एक्स≠y⇒पीआरज∈एच[ज(एक्स)=ज(y)]≤1म\forall x,y \in U, x \neq y \Rightarrow \Pr_{h \in H}[h(x) = h(y)] \leq \frac{1}{M} यूनिवर्सल …

14 data-structures  education  hash-tables  applied-theory 

कंप्यूटर विज्ञान में वह लोकप्रिय समस्या है [1] [२] जो न्यूनतम लाइनों की न्यूनतम संख्या का पता लगा रही है जो किसी दिए गए सेट को २ डी में शामिल करती है। हालांकि मैंने कई कागजात स्कैन किए हैं, उनमें से किसी में भी समस्या के लिए स्पष्ट प्रेरणा नहीं …

12 reference-request  computational-geometry  applied-theory 

मैं टाइप थ्योरी को समझना चाहता हूं लेकिन मुझे पहले यह जानना होगा कि मैं इसे कैसे लागू कर सकता हूं। क्या प्रोग्रामिंग में टाइप सिस्टम से अलग सिद्धांत सिद्धांत के और अधिक गैर-स्पष्ट अनुप्रयोग हो सकते हैं? क्या अन्य अनुप्रयोग हो सकते हैं, आइए व्यक्तित्व रूपरेखा और पसंद में …

10 type-theory  applied-theory 

क्या दिज्कस्ट्रा के एल्गोरिथ्म का उपयोग आधुनिक मार्ग-खोज प्रणालियों जैसे कि Google मानचित्र या आपकी कार में किए गए सैटनाव में किया जाता है? यदि नहीं, तो क्या है?

10 algorithms  graphs  shortest-path  applied-theory