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

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

38 information-theory  randomness  data-compression  pseudo-random-generators  entropy 

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

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

एक विशिष्ट जेनरेशनल कचरा कलेक्टर एक अलग मेमोरी क्षेत्र में हाल ही में आवंटित डेटा रखता है। विशिष्ट कार्यक्रमों में, बहुत सारा डेटा अल्पकालिक होता है, इसलिए युवा कचरा (एक मामूली जीसी चक्र) को बार-बार इकट्ठा करना और पुराने कचरा को इकट्ठा करना स्मृति ओवरहेड और जीसी करने में बिताए …

38 programming-languages  computer-architecture  cpu-cache  garbage-collection 

मान लें कि एक कंप्यूटर के पास एक सटीक घड़ी है जो आरंभिक नहीं है। यही है, कंप्यूटर की घड़ी पर समय वास्तविक समय प्लस कुछ निरंतर ऑफसेट है। कंप्यूटर में एक नेटवर्क कनेक्शन है और हम निरंतर ऑफसेट को निर्धारित करने के लिए उस कनेक्शन का उपयोग करना चाहते …

38 clocks  distributed-systems  computer-networks 

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

38 algorithm-analysis  runtime-analysis  computation-models  functional-programming 

मान लीजिए कि एक कार्यक्रम दो अलग-अलग भाषाओं में लिखा गया है, तो उन्हें भाषा X और भाषा Y होने दें, यदि उनके संकलक समान बाइट कोड उत्पन्न करते हैं, तो मुझे भाषा Y के बजाय भाषा X का उपयोग क्यों करना चाहिए? क्या परिभाषित करता है कि एक भाषा …

38 programming-languages  compilers 

मुझे पता है कि पुनरावृत्तियों और पुनरावर्ती (उदाहरण के n * factorial(n-1)लिए जैसे) का उपयोग करके फैक्टरियल के लिए कोड कैसे बनाया जाए । मैंने एक पाठ्यपुस्तक में पढ़ा (बिना कोई स्पष्टीकरण दिए) कहा गया है कि पुनरावर्ती रूप से विभाजित करके भाज्य के लिए कोडिंग का और भी अधिक …

38 algorithms  efficiency  arithmetic 

सारांश: राइस के प्रमेय के अनुसार, सब कुछ असंभव है। और फिर भी, मैं यह हर समय असंभव सामान करता हूं ! बेशक, राइस प्रमेय बस यह नहीं कहता कि "सब कुछ असंभव है"। यह कुछ और नहीं बल्कि विशिष्ट कहता है: "कंप्यूटर प्रोग्राम की प्रत्येक संपत्ति गैर-संगणनीय है।" (यदि …

37 terminology  computability  undecidability  rice-theorem 

मैं वर्तमान में क्वांटम भौतिकी के बारे में एक किताब (और बहुत सारे विकिपीडिया) पढ़ रहा हूं और मुझे अभी तक यह समझ में नहीं आया है कि क्वांटम कंप्यूटर आज के कंप्यूटरों की तुलना में कैसे तेज हो सकता है। क्वांटम कंप्यूटर उप-घातीय समय में एक समस्या को कैसे …

37 quantum-computing 

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

36 formal-languages  automata  formal-grammars  pushdown-automata 

मैंने कई जगहों पर पढ़ा कि कुछ समस्याएं लगभग अनुमानित हैं (यह लगभग एनपी-मुश्किल है उन्हें अनुमानित करने के लिए)। लेकिन सन्निकटन एक निर्णय समस्या नहीं है: उत्तर एक वास्तविक संख्या है और नहीं हां या नहीं। प्रत्येक वांछित सन्निकटन कारक के लिए भी, कई उत्तर हैं जो सही हैं …

36 complexity-theory  time-complexity  np-hard  approximation 

एक माफी आवश्यक शर्तें के बारे में एक और सवाल पूछने के कारण हो सकती है, लेकिन मैं शुरुआती बिंदुओं के बारे में उलझन में था। मैं "मोडल लॉजिक", "टेम्पोरल लॉजिक", "फ़र्स्ट-लॉजिक लॉजिक", "सेकंड ऑर्डर लॉजिक" और "हायर ऑर्डर लॉजिक" जैसे कई शब्दों के साथ आया हूँ। इस संदर्भ में …

36 logic  mathematical-foundations 

प्रकार के सिद्धांत के बारे में प्रति मार्टिन-लोफस विचारों का सबसे अच्छा परिचय क्या होगा? मैंने ओरेगन पीएल समर स्कूल के कुछ व्याख्यानों को देखा है, लेकिन मैं अभी भी निम्नलिखित प्रश्न से हैरान हूं। एक प्रकार क्या है? मुझे पता है कि एक सेट क्या है, क्योंकि आप उन्हें …

36 logic  type-theory 

मैं किसी भी आधार से किसी भी आधार में परिवर्तित करने के पीछे गणित में देख रहा हूं। यह मेरे परिणामों की किसी भी चीज़ की पुष्टि करने से अधिक है। मैंने पाया कि mathforum.org पर मेरा जवाब क्या है लेकिन मुझे अभी भी यकीन नहीं है कि मेरे पास …

36 algorithms  arithmetic  number-formats 

उदाहरण के लिए, मेरे पास कार्यों की सूची है nloglog(n),2n,n!,n3,nlnn,…nlog⁡log⁡(n),2n,n!,n3,nln⁡n,…\qquad n^{\log \log(n)}, 2^n, n!, n^3, n \ln n, \dots कैसे मैं उन्हें asymptotically, अर्थात् द्वारा परिभाषित संबंध के बाद हल करते हैं f≤Og⟺f∈O(g)f≤Og⟺f∈O(g)\qquad f \leq_O g \iff f \in O(g) , यह मानते हुए कि वे वास्तव में जोड़ीदार हैं …

35 asymptotics  landau-notation  reference-question