reference-request पर टैग किए गए जवाब

Ramer-डगलस-Peucker एल्गोरिथ्म लाइन सरलीकरण के लिए बुरी से बुरी हालत है क्रम। उपयुक्त रूप से वितरित यादृच्छिक इनपुट के लिए, इसने रनटाइम जटिलता की अपेक्षा की है। 2 डी में, सबसे खराब स्थिति रनटाइम जटिलता के साथ अन्य एल्गोरिदम हैं , जो बिल्कुल रमेर-डगलस-प्यूकर एल्गोरिदम के समान परिणाम की गणना …

19 reference-request  computational-geometry  randomized-algorithms 

लगातार डेटा संरचनाएं अपरिवर्तनीय डेटा संरचनाएं हैं। उन पर संचालन डेटा संरचना की एक नई "प्रतिलिपि" लौटाता है, लेकिन ऑपरेशन द्वारा बदल दिया जाता है; पुरानी डेटा संरचना अपरिवर्तित बनी हुई है। दक्षता आमतौर पर कुछ अंतर्निहित डेटा को साझा करने और डेटा संरचना की पूरी नकल से बचने के …

19 reference-request  data-structures  functional-programming  persistent-data-structure 

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

19 algorithms  programming-languages  reference-request  type-checking 

मेरे पास थोड़ा इतिहास का सवाल है, अर्थात्, जैसा कि शीर्षक कहता है, मैं कंप्यूटर विज्ञान में पेड़ों के शुरुआती उपयोग (डेटा संरचना, खोज पेड़, जो भी हो) के लिए देख रहा हूं ।

18 data-structures  reference-request  trees  history 

कहा जा रहा है कि ene यूजीन गोस्टमैन ’, एक कंप्यूटर प्रोग्राम जिसे एक 13 वर्षीय लड़के का अनुकरण करने के लिए विकसित किया गया था, 33 प्रतिशत न्यायाधीशों को यह समझाने में कामयाब रहा कि यह मानव था, और इस तरह ट्यूरिंग टेस्ट पास किया। कंप्यूटर प्रोग्राम, उर्फ ​​एक …

18 reference-request  artificial-intelligence  history  turing-test 

काटने की समस्याएं ऐसी समस्याएं हैं जहां एक निश्चित बड़ी वस्तु को कई छोटी वस्तुओं को काट दिया जाना चाहिए। उदाहरण के लिए, कल्पना करें कि आपके पास एक कारखाना है जो कच्चे कांच की बड़ी चादरों की चौड़ाई और लंबाई L के साथ काम करता है । कई खरीदार …

18 reference-request  computational-geometry  lower-bounds  packing 

मैंने अधिक से अधिक भाषा शोध पत्र पढ़ना शुरू किया। मुझे यह बहुत दिलचस्प लगता है और सामान्य रूप से प्रोग्रामिंग के बारे में अधिक जानने का एक अच्छा तरीका है। हालांकि, आमतौर पर एक अनुभाग जहां मैं हमेशा (उदाहरण के हिस्से के तीन के लिए ले के साथ संघर्ष …

18 logic  reference-request  terminology  type-theory 

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

18 complexity-theory  reference-request  recurrence-relation  mathematical-analysis 

क्या एक ट्यूरिंग मशीन मौजूद है जो सभी इनपुटों पर रुकती है लेकिन यह संपत्ति किसी कारण से साबित नहीं होती है? मैं सोच रहा हूं कि क्या इस सवाल का अध्ययन किया गया है। ध्यान दें, "अनप्रोवेबल" का मतलब "सीमित" प्रूफ सिस्टम हो सकता है (जो कमजोर अर्थों में …

17 computability  reference-request  turing-machines  halting-problem 

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

17 reference-request  satisfiability  sat-solvers 

चलो एक निश्चित समय-constructable समारोह हो।fff टीएम (हेनी और स्टर्न्स, 1966) के लिए शास्त्रीय सार्वभौमिक सिमुलेशन परिणाम बताता है कि दो-टेप टीएम जैसे कि दिए गए हैंUUU TM का वर्णन , और⟨M⟩⟨M⟩\langle M \rangle एक इनपुट स्ट्रिंग ,xxx लिए रन कदम और पर का जवाब देता है । और को …

16 complexity-theory  reference-request  turing-machines  machine-models  simulation 

कुछ फ्रंटमैटर: मैं एक मनोरंजक कंप्यूटर वैज्ञानिक और कार्यरत सॉफ्टवेयर इंजीनियर हूँ। इसलिए, क्षमा करें यदि यह संकेत कुछ हद तक बाएं क्षेत्र से लगता है - मैं नियमित रूप से गणितीय सिमुलक्रा और खुली समस्याओं के साथ खेलता हूं जब मेरे पास कुछ भी करने के लिए बेहतर नहीं …

16 algorithms  reference-request  discrete-mathematics 

मुझे पता चला कि ग्राफिक प्रोसेसिंग यूनिट में मेमोरी कोलेसिंगिंग नामक कुछ है। इस पर पढ़ने पर मैं इस विषय पर स्पष्ट नहीं था। क्या यह मेमोरी स्तर समानांतरवाद से संबंधित कोई तरीका है। मैंने Google में खोज की है, लेकिन संतोषजनक उत्तर प्राप्त नहीं कर पाया। यदि कोई अधिक …

16 terminology  reference-request  computer-architecture  memory-management 

मुझे हाल ही में (कार्यात्मक) प्रोग्रामिंग भाषाओं के पहलुओं को समझने और साबित करने में बेहद दिलचस्पी हो गई है। हालाँकि जैसा कि मैं गहराई से गोता लगाता हूं, जैसे कि कलन, श्रेणी सिद्धांत, और संप्रदायिक शब्दार्थ की बातें उचित स्पष्टीकरण के बिना टटोलना थोड़ा मुश्किल है।λλ\lambda मैं SICP (काफी …

16 reference-request  lambda-calculus  functional-programming  books 

मैं स्टैक ओवरफ्लो पर एक सवाल पढ़ रहा था कि क्या यह एनपी -हार्ड एक विशेष नोड वाले ग्राफ में सभी सरल चक्रों को सूचीबद्ध करने के लिए था और यह मेरे लिए हुआ कि मैं किसी भी मौजूदा जटिलता वर्ग के बारे में नहीं सोच सकता जो इसके लिए …

15 complexity-theory  reference-request  complexity-classes  enumeration