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

ओओ और फंक्शनल प्रोग्रामिंग में अंतर को रेखांकित करने वाले एक लेख को पढ़ते हुए मैं फंक्शन पॉइंटर्स में आया। जब मैंने अपनी कंप्यूटर साइंस की डिग्री (2003) पूरी की तब से कुछ समय हो चुका है और इसलिए मैंने अपनी याददाश्त को ताज़ा करने के लिए पॉइंटर्स को देखा। …

10 terminology  programming-languages 

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

10 algorithms  graphs  shortest-path  applied-theory 

मैं यह समझने की कोशिश कर रहा हूं कि द्विआधारी अनुक्रमित पेड़ (फेनविक पेड़) को रेंज क्वेरी और रेंज अपडेट दोनों को संभालने के लिए कैसे संशोधित किया जा सकता है। मुझे निम्नलिखित स्रोत मिले: http://kartikkukreja.wordpress.com/2013/12/02/range-updates-with-bit-fenwick-tree/ http://programmingcontests.quora.com/Tutorial-Range-Updates-in-Fenwick-Tree http : //apps.topcoder.com/forums/ मॉड्यूल = थ्रेड और threadid = 756,271 और शुरू = …

10 data-structures  binary-trees  search-trees 

मैं शर्त के तहत quicksort के सबसे ज्यादा मामले क्रम का अध्ययन कर रहा हूँ कि यह एक ऐसा कभी नहीं होगा बहुत की परिभाषा बदलती के लिए असंतुलित विभाजन बहुत । ऐसा करने के लिए मैं अपने आप से सवाल पूछता हूं कि रनटाइम क्या होगा मामले में एस्कॉर्ट …

10 algorithm-analysis  runtime-analysis  recurrence-relation 

शीर्षक में सवाल बहुत ज्यादा है। क्या कभी ऐसा समय होता है, जहां कुछ भाषाएलएलL के साथ एक न्यूनतम DFA द्वारा स्वीकार किया जा सकता है nnn बताता है, लेकिन एलआरएलआरL^Rका उलटा एलएलL, के साथ एक DFA द्वारा स्वीकार किया जा सकता है ममm राज्यों, जहां म &lt; nम&lt;nm<n?

10 formal-languages  reference-request  automata  finite-automata 

मेरी पाठ्यपुस्तक कहती है: "हम फ़ंक्शन को परिभाषित करते हैं इस प्रकार है: और। ध्यान दें कि दिए गए , हम आसानी से पा सकते हैं समय संख्या ऐसा है कि के बीच sandwiched है और । "f:N→Nf:N→Nf\colon \mathbb{N}\to\mathbb{N}f(1)=2f(1)=2f(1)=2f(i+1)=2f(i)1.2f(i+1)=2f(i)1.2f(i+1)=2^{f(i)^{1.2}}nnnO(n1.5)O(n1.5)O(n^{1.5})iiinnnf(i)f(i)f(i)f(i+1)f(i+1)f(i+1) मैं खुद को कैसे समझा सकते हैं कि हम वास्तव में …

10 complexity-theory  algorithm-analysis  nondeterminism 

मैं एक डायवर्ट (डायरेक्टेड ग्राफ) को एक अप्रत्यक्ष ग्राफ़ में एक रिवर्स तरीके से कन्वर्ट करने के लिए एक एल्गोरिथ्म की तलाश कर रहा हूं, अर्थात अगर हमें अप्रत्यक्ष ग्राफ़ दिया जाए तो डिग्रेक्ट को फिर से संगठित किया जाना चाहिए। मैं समझता हूं कि यह अप्रत्यक्ष ग्राफ के अधिक …

10 algorithms  graph-theory  graphs 

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

10 automated-theorem-proving  proof-assistants  mathematical-programming  coq 

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

10 programming-languages  compilers 

मैं एक आरेख संपादक पर काम कर रहा हूं। डायग्राम्स कनेक्टर्स ( किनारों ) से जुड़े 2 डी आकार ( नोड्स ) प्रदर्शित करते हैं । मैं एक ऑपरेशन जोड़ना चाहूंगा, जिसमें नोड्स का चयन किया गया हो, उन्हें "डिसेंटेंजल्स" : यह उन्हें क्रॉसिंग किनारों की संख्या को कम करने …

10 algorithms  graph-theory  graph-algorithms  crossing-number 

एक प्रोग्राम जो चर और निर्देशों से मिलकर बनता है, जो इन चरों को संशोधित करता है, और एक सिंक्रोनाइज़ेशन आदिम (एक मॉनीटर, म्यूटेक्स, जावा का सिंक्रोनाइज़ या सी # लॉक), क्या यह साबित करना संभव है कि ऐसा प्रोग्राम थ्रेड सुरक्षित है? क्या थ्रेड सुरक्षा या रेसिंग स्थितियों जैसी …

10 proof-techniques  correctness-proof  concurrency  threads 

मुझे मल्टीप्रोग्रामिंग और मल्टीटास्किंग के बीच स्पष्ट रूप से अंतर करना मुश्किल हो रहा है। मेरा प्राथमिक स्रोत विकिपीडिया रहा है , लेकिन WP लेख कुछ कम सम्मानित स्रोतों (जैसे मेरे कॉलेज के प्रोफेसर) के साथ एक छोटा सा लगता है। जैसा कि मैंने WP पढ़ा, मल्टीप्रोग्रामिंग सीपीयू थ्रूपुट को …

10 terminology  process-scheduling 

स्पर्शोन्मुख व्यवहार के दृष्टिकोण से, "कुशल" एल्गोरिथ्म क्या माना जाता है? उस बिंदु पर रेखा खींचने के लिए मानक / कारण क्या है? व्यक्तिगत रूप से, मुझे लगता है कि जो कुछ भी मैं भोलेपन से "उप-बहुपद" कह सकता हूं, ऐसाच( n ) = ओ (n2)f(n)=o(n2)f(n) = o(n^2) जैसे कि …

10 algorithms  terminology  asymptotics  landau-notation 

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

10 algorithms  substrings  matching 

गणित और सीएस पत्रों में प्रयुक्त प्रतीकों की एक बार-बार चक्कर आने वाली सरणी है। फिर भी कई लोग बुनियादी परिचित हैं जो लगता है कि शायद ही कभी एक जगह सिखाया जाता है। मैं निम्नलिखित जैसे कुछ विशेष रूप से एक सीएस परिप्रेक्ष्य से एक शब्दकोश के लिए देख …

10 terminology  reference-request  education