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

कठिन निर्णय समस्याओं के कुछ उदाहरण क्या हैं जिन्हें बहुपद में हल किया जा सकता है? मैं उन समस्याओं की तलाश कर रहा हूं जिनके लिए इष्टतम एल्गोरिदम "धीमा" है, या जिन समस्याओं के लिए सबसे तेज़ एल्गोरिथ्म "धीमा" है। यहाँ दो उदाहरण हैं: सही रेखांकन की मान्यता। उनके FOCS'03 …

15 algorithms  complexity-theory  reference-request 

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

15 reference-request  logic  proof-assistants 

मैं आमतौर पर खाली स्ट्रिंग (खाली शब्द या अशक्त स्ट्रिंग) के लिए प्रतीक उपयोग करता हूं εε\varepsilon। लेकिन मैं जानता हूँ कि कुछ लोगों का उपयोग λλ\lambda के बजाय εε\varepsilon । मुझे लगता है कि εε\varepsilon "खाली" शब्द से लिया गया है। हालाँकि मुझे नहीं पता कि की उत्पत्ति क्या …

14 formal-languages  automata  reference-request  notation  history 

मैं सोच रहा हूँ, बिग- अंकन के संदर्भ में सबसे अच्छा ज्ञात एल्गोरिथ्म क्या है , इंटेगर रैखिक प्रोग्रामिंग को हल करने के लिए?OOO मुझे पता है कि समस्या अपूर्ण है, इसलिए मुझे बहुपद के बारे में कुछ भी उम्मीद नहीं है। और मुझे पता है कि बहुत सारे आंकड़े …

14 algorithms  complexity-theory  reference-request  np-complete  integer-programming 

एक छात्र ने हाल ही में मुझे उनके लिए एनपी-कठोरता प्रमाण की जांच करने के लिए कहा। उन्होंने इसकी तर्ज पर कमी का प्रदर्शन किया: मैं इस समस्या को कम P′P′P' कि एन पी-सम्पूर्ण मेरी समस्या के लिए माना जाता है PPP , (एक पाली समय कई-एक कमी के साथ) …

14 complexity-theory  reference-request  complexity-classes  real-numbers  computable-analysis 

lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r भोली एल्गोरिथ्म बस सभी संभावित जोड़े की जांच करता है; उदाहरण के लिए रूबी में हमारे पास होगा: def max_xor(l, r) max = 0 (l..r).each do |i| (i..r).each do |j| if (i ^ j > max) max = i ^ j end end end max end …

14 algorithms  algorithms  machine-learning  statistics  testing  terminology  asymptotics  landau-notation  reference-request  optimization  scheduling  complexity-theory  time-complexity  lower-bounds  communication-complexity  computational-geometry  computer-architecture  cpu-cache  cpu-pipelines  operating-systems  multi-tasking  algorithms  algorithm-analysis  education  correctness-proof  didactics  algorithms  data-structures  time-complexity  computational-geometry  algorithms  combinatorics  efficiency  partitions  complexity-theory  satisfiability  artificial-intelligence  operating-systems  performance  terminology  computer-architecture 

आज्ञा देना एक ग्राफ है, और चलो और दो कोने हो । हम कुशलतापूर्वक एक कम से कम स्वाद ले सकते हैं - के बीच सभी कम से कम रास्तों के सेट से यादृच्छिक पर समान रूप से और स्वतंत्र रूप से पथ और ? सादगी के लिए, हम मान …

14 graph-theory  reference-request  shortest-path  sampling 

क्या कोई मुझे कार्यात्मक शैली में कोड लिखने के फायदे या नुकसान का अध्ययन करने वाले साथियों की समीक्षा करने के लिए संदर्भित कर सकता है? क्या ऐसे कागजात हैं जो मशीन लर्निंग, लैंग्वेज डिज़ाइन आदि जैसे क्षेत्रों में लैम्ब्डा कैलकुलस के अनुप्रयोगों पर चर्चा करते हैं?

14 reference-request  programming-languages  lambda-calculus  functional-programming 

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

14 complexity-theory  reference-request  parallel-computing  complexity-classes 

फूट डालो और जीतो का एक क्लासिक अनुप्रयोग निम्नलिखित समस्या को हल करना है: एक सरणी को देखते हुए अलग, तुलनीय तत्वों की, सरणी में उलट जोड़े की संख्या की गिनती: जोड़े ( मैं , जे ) ऐसी है कि एक [ मैं ] > एक [ जे ] और …

14 algorithms  reference-request  arrays 

विकिपीडिया लेख के अनुसार , L में अर्थ है "बाएं से दाएं स्कैन", और "R" का अर्थ है "सबसे सही व्युत्पत्ति।" हालांकि, एल आर ( के ) व्याकरण पर नूथ के मूल पेपर में , वह एल आर ( के ) (पृष्ठ 610 पर) को एक भाषा के रूप में …

14 formal-languages  reference-request  terminology  formal-grammars  parsers 

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

14 algorithms  data-structures  computer-architecture  reference-request  cpu-cache 

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

14 complexity-theory  np-complete  reference-request  approximation 

मैं एक 16 वर्षीय पुरुष हूं, जिसे हाल ही में मेरे एक दोस्त द्वारा कंप्यूटर विज्ञान पर एक बड़ा विश्वकोश दिया गया है। मैं आमतौर पर कंप्यूटर और प्रौद्योगिकी में दिलचस्पी नहीं रखता हूं, लेकिन कंप्यूटर विज्ञान ने मुझे मोहित करना शुरू कर दिया है। लेकिन मैं भौतिकी और / …

14 reference-request  education 

साहित्य काफी स्पष्ट है कि आदिम गुणन के साथ यूनिट-कॉस्ट रैम, अनुचित हैं, जिसमें वे बहुपद समय में ट्यूरिंग मशीनों द्वारा अनुकरण नहीं किया जा सकता है बहुपद समय में PSPACE- पूर्ण समस्याओं को हल कर सकते हैं हालाँकि, इस विषय पर मुझे मिलने वाले सभी संदर्भ (साइमन 1974, शॉनहेज …

13 complexity-theory  reference-request  computation-models  history