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

मैं निम्नलिखित समस्या को हल करते समय भ्रमित हो गया (प्रश्न १-३)। सवाल एक डी -ढेर ढेर एक बाइनरी हीप की तरह है, लेकिन (एक संभावित अपवाद के साथ) गैर-पत्ती नोड्स में 2 बच्चों के बजाय डी बच्चे हैं। आप किसी सरणी में d -ary ढेर का प्रतिनिधित्व कैसे करेंगे …

10 data-structures  time-complexity  runtime-analysis 

मैं एक तेज k- बेमेल स्ट्रिंग मिलान एल्गोरिथ्म की तलाश कर रहा हूं। लंबाई मीटर के एक पैटर्न स्ट्रिंग पी, और लंबाई n के एक पाठ स्ट्रिंग टी को देखते हुए, मुझे उन सभी पदों को खोजने के लिए एक तेज (रैखिक समय) एल्गोरिथ्म की आवश्यकता होती है जहां पी …

10 algorithms  reference-request  strings  string-metrics  substrings 

क्या यह स्वीकार करने का मतलब है कि टीएम उस सेल से एक चार्ट को पढ़ेगा और पहचानेगा जो वर्तमान में पढ़ रहा है? और क्या यह मामला है कि यदि इनपुट अस्वीकृत हो जाता है तो एक TM रुक जाता है?

10 terminology  turing-machines  undecidability 

मैं सैद्धांतिक कंप्यूटर विज्ञान में एक प्रमुख की तलाश कर रहा हूं; विशेष रूप से, मैं जटिलता सिद्धांत और संभाव्य ऑटोमेटा सिद्धांत पर रुचि रखता हूं। जैसा कि मैं एक वर्ष में स्नातक कर रहा हूं, गणित में कौन से उन्नत पाठ्यक्रम (जैसे गाल्वा सिद्धांत या हार्मोनिक विश्लेषण, उदाहरण के …

10 complexity-theory  automata  education 

पर विकिपीडिया , संपादित दूरी के लिए नीचे से ऊपर गतिशील प्रोग्रामिंग योजना के लिए एक कार्यान्वयन दिया जाता है। यह पूरी तरह से परिभाषा का पालन नहीं करता है; आंतरिक कोशिकाओं की गणना इस प्रकार की जाती है: if s[i] = t[j] then d[i, j] := d[i-1, j-1] // …

10 algorithms  dynamic-programming  string-metrics  correctness-proof  program-optimization 

मैं विकिपीडिया पर पढ़ता हूं कि एकीकरण संतोषजनक समस्या को हल करने की एक प्रक्रिया है। उसी समय, मुझे पता है कि ऐसे सॉल्वर को "सैट सॉल्वर" या "एसएमटी सॉल्वर" कहा जाता है। तो, क्या वे एक ही चीज़ के लिए अलग-अलग नाम हैं? यदि आप कहते हैं कि वे …

10 terminology  sat-solvers  unification 

संकल्प प्रमेय साबित करने में, यह आम तौर पर माना जाता है कि विभिन्न खंडों में चर अलग-अलग हैं। यह कुछ ऐसा नहीं है जो स्वचालित रूप से होता है; इसे लागू करने के लिए महत्वपूर्ण अतिरिक्त कोड और संगणना की आवश्यकता होती है। यह देखते हुए, मैं इसके लिए …

10 logic  automated-theorem-proving 

मान लें कि एक आदेशित वर्णमाला पर एक नियमित भाषा है। क्या एल में हर शब्द को लेने और इसे हमेशा एक नियमित भाषा के रूप में छाँटकर बनाया गया है ?एलएलLएलएलL

10 formal-languages  regular-languages 

\newcommand\ldotd{\mathinner{..}} यह देखते हुए कि पूर्णांक हैं जैसे कि सभी , और प्रत्येक की घटना में एक विशेष संख्या को छोड़कर संख्या एक विषम संख्या है। उस संख्या को खोजने का प्रयास करें जिसकी घटना सम संख्या है।A[1..n]A[1..n]A[1\ldotd n]0≤A[k]≤m0≤A[k]≤m0\le A[k]\le m1≤k≤n1≤k≤n1\le k\le nA[1..n]A[1..n]A[1\ldotd n] एक एल्गोरिथ्म है: हम को , …

10 algorithms  search-algorithms 

मुझे यकीन नहीं है कि अगर यह सवाल यहाँ है और मैं माफी माँगता हूँ तो नहीं। मैं जो करने के लिए देख रहा हूं वह एक प्रोग्रामेटिक तरीका विकसित करना है जिसमें मैं संभावित रूप से यह निर्धारित कर सकता हूं कि क्या एक स्ट्रिंग स्ट्रिंग के बैग में …

10 algorithms  reference-request  string-metrics 

कंप्यूटिंग n n 2 की जटिलता क्या है ,nn2,n∈Nnn2,n∈Nn^{n^2},\;n \in \mathbb{N} ?

10 complexity-theory  integers  number-theory 

क्या बाइनरी ट्री की औसत ऊंचाई के बारे में कोई औपचारिक परिभाषा है? मेरे पास निम्नलिखित दो विधियों का उपयोग करके एक बाइनरी ट्री की औसत ऊँचाई खोजने के बारे में एक ट्यूटोरियल प्रश्न है: प्राकृतिक समाधान जड़ से पत्ती तक सभी संभव पथों की औसत लंबाई लेना हो सकता …

10 graph-theory  terminology  combinatorics  binary-trees 

IPv6 के पते 862A:7373:3386:BF1F:8D77:D3D2:220F:D7E0IPv4 के 4 ऑक्टेट की तुलना में याद रखने या यहां तक ​​कि स्थानांतरित करने के लिए बहुत कठिन हैं। वहाँ है किया गया यह कम करने के लिए प्रयास करता है, IPv6 पतों किसी भी तरह और अधिक यादगार बना रही है। क्या कोई जानबूझकर-कमजोर हैशिंग …

10 cryptography  computer-networks  hash  user-interface 

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

10 automata  pushdown-automata 

यह साबित होता है कि तर्कसंगत भार के साथ तंत्रिका नेटवर्क में तंत्रिका जाल के साथ यूनिवर्सल ट्यूरिंग मशीन ट्यूरिंग संगणनीयता की कम्प्यूटेशनल शक्ति है । मुझे जो मिलता है, उससे लगता है कि वास्तविक-मूल्यवान भार का उपयोग करने से और भी अधिक कम्प्यूटेशनल शक्ति प्राप्त होती है, हालांकि मैं …

10 computability  neural-networks