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

या तो या साबित करने के लिए बहुत सारे प्रयास हैं , और स्वाभाविक रूप से कई लोग सवाल के बारे में सोचते हैं, दोनों दिशाओं को साबित करने के लिए विचार रखते हैं।पी ≠ एन पीपी = एन पीP=NP\mathsf{P} = \mathsf{NP} P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} मुझे पता है कि ऐसे …

96 complexity-theory  reference-request  history  p-vs-np  reference-question 

मैं पुनरावृत्ति की सामान्य अवधारणा को जानता हूं। मुझे क्विकशॉट एल्गोरिदम का अध्ययन करते हुए पूंछ पुनरावृत्ति की अवधारणा में आया था । 18:30 सेकंड पर एमआईटी से त्वरित सॉर्ट एल्गोरिथ्म के इस वीडियो में प्रोफेसर कहते हैं कि यह एक पूंछ पुनरावर्ती एल्गोरिदम है। यह मेरे लिए स्पष्ट नहीं …

52 algorithms  reference-request  recursion 

मान लें कि मैं एक प्रोग्रामर हूं और मुझे एक एनपी-पूर्ण समस्या है जिसे मुझे हल करने की आवश्यकता है। एनपीसी समस्याओं से निपटने के लिए कौन से तरीके उपलब्ध हैं? क्या इस विषय पर एक सर्वेक्षण या कुछ समान है?

43 algorithms  reference-request  np-complete  efficiency  reference-question 

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

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

मुझे अच्छे संसाधनों को खोजने में समस्या हो रही है जो स्थिर छँटाई एल्गोरिथ्म में सबसे खराब स्थिति । क्या किसी को किसी अच्छे संसाधनों का पता है?ओ ( एन एलएन)n )हे(nln⁡n)O(n \ln n) बस एक अनुस्मारक, इसका अर्थ है कि यह पास में दिए गए सरणी का उपयोग करता …

35 algorithms  reference-request  sorting  in-place 

शास्त्रीय रूप से, गणना के बारे में सोचने के 3 लोकप्रिय तरीके हैं: ट्यूरिंग मशीन, सर्किट, और लैम्ब्डा-कैलकुलस (मैं इसे सबसे कार्यात्मक विचारों के लिए सभी को पकड़ने के रूप में उपयोग करता हूं)। सभी 3 विभिन्न प्रकार की समस्याओं के बारे में सोचने के लिए फलदायी तरीके हैं, और …

35 lambda-calculus  quantum-computing  reference-request  computation-models 

दिक्जस्त्र, अपने निबंध में वास्तव में शिक्षण विज्ञान की क्रूरता पर , एक परिचयात्मक प्रोग्रामिंग प्रोग्रामिंग के लिए निम्नलिखित प्रस्ताव बनाता है: एक तरफ, हम सिखाते हैं कि विधेय पथरी की तरह क्या दिखता है, लेकिन हम इसे दार्शनिकों से बहुत अलग तरीके से करते हैं। अविवेकी सूत्रों के हेरफेर …

33 reference-request  programming-languages  education  didactics 

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

28 reference-request  machine-learning  artificial-intelligence 

मैं अक्सर किसी भी संदर्भ के बिना 'सही संगामिति शब्दार्थ' और 'सही संगति समकक्ष' जैसे वाक्यांश सुनता हूं। उन शब्दों का क्या अर्थ है और वे महत्वपूर्ण क्यों हैं? वास्तविक संगामिति समकक्षों के कुछ उदाहरण क्या हैं और उनके लिए क्या आवश्यक है? उदाहरण के लिए, किन मामलों में वे …

28 terminology  reference-request  concurrency 

एक नियमित भाषा , को की लंबाई में शब्दों की संख्या । जॉर्डन कैनोनिकल फॉर्म ( लिए कुछ डीएफए के अघोषित संक्रमण मैट्रिक्स पर लागू ) का उपयोग कर, कोई यह दिखा सकता है कि बड़े पर्याप्त , जहाँ जटिल बहुपद हैं और जटिल "eigenvalues" हैं। (छोटे के लिए , …

28 formal-languages  reference-request  regular-languages  asymptotics  combinatorics 

हम में से अधिकांश लोग कॉम्बिनेटर लॉजिक और लैम्ब्डा कैलकुलस के बीच पत्राचार को जानते हैं । लेकिन मैंने कभी नहीं देखा (शायद मैंने बहुत गहरा नहीं देखा है) "टाइप किए गए कॉम्बिनेटर" के बराबर, बस टाइप किए गए लैम्ब्डा कैलकुलस के अनुरूप। क्या ऐसी चीज मौजूद है? इसके बारे …

26 reference-request  logic  lambda-calculus  type-theory  combinatory-logic 

एक ब्लूम फ़िल्टर कुशलता से यह सुनिश्चित करने के लिए संभव बनाता है कि प्रसंस्करण के दौरान पहले से ही विभिन्न मूल्यों का सामना किया गया है या नहीं। जब कई डेटा आइटम होते हैं तो ब्लूम फ़िल्टर के परिणामस्वरूप हैश टेबल पर एक महत्वपूर्ण मेमोरी सेविंग हो सकती है। …

25 reference-request  data-structures  hash  bloom-filters  dictionaries 

बता दें कि एक बूलियन फॉर्मूला है जिसमें सामान्य AND, OR, और NOT ऑपरेटर्स और कुछ वैरिएबल शामिल होते हैं। मैं बी के लिए संतोषजनक कार्य की संख्या की गणना करना चाहता हूं । यही है, मैं बी के चर के लिए सत्य मूल्यों के विभिन्न असाइनमेंट की संख्या ढूंढना …

24 complexity-theory  reference-request  satisfiability 

सबसे अच्छा तरीका क्या है कि कोई भी वितरित प्रणाली के सिद्धांत, किसी किताब या संदर्भ के लिए एक अच्छा परिचय दे सकता है, और विषयों को पहले कवर किया जाना चाहिए और इस विषय में सीखने की शुरुआत करने के लिए आवश्यकताएं होनी चाहिए।

24 reference-request  education  distributed-systems 

वे शब्दावली मुझे भ्रमित करती हैं। जैसा मैं समझा हूँ सैट सॉल्वर: प्रपोजल लॉजिक (DPLL या लोकल सर्च का उपयोग करके) की संतोषजनकता तय करते हैं। निर्णय प्रक्रिया एक निश्चित निर्णायक प्रथम-क्रम सिद्धांत की संतुष्टि को तय करने की एक प्रक्रिया है। श्रीमती सॉल्वर एक सैट सॉल्वर + निर्णय प्रक्रिया …

24 algorithms  terminology  reference-request  decision-problem