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

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

19 algorithms  terminology  optimization  dynamic-programming 

मैं निम्नलिखित प्रश्न पर अटका हुआ हूं: "नियमित भाषाओं ठीक उन परिमित ऑटोमेटा द्वारा स्वीकार किए जाते हैं इस तथ्य को, बताते हैं कि अगर भाषा को देखते हुए। LLL कुछ परिमित automaton द्वारा स्वीकार किया जाता है, तो LRLRL^{R} भी कुछ परिमित द्वारा स्वीकार कर लिया जाता है, LRLRL^{R} …

19 formal-languages  regular-languages  automata  finite-automata 

मेरा लक्ष्य निम्नलिखित समस्या को हल करना है, जिसे मैंने इसके इनपुट और आउटपुट द्वारा वर्णित किया है: इनपुट: नोड्स, स्रोतों और सिंक ( ) के साथ एक निर्देशित चक्रीय ग्राफ ।जीजीGn 1 मीटर > n ≥ 1ममmnnn111मीटर > n ≥ 1म>n≥1m > n \geq 1 आउटपुट: वीसी आयाम (या …

19 algorithms  complexity-theory  machine-learning  neural-networks  vc-dimension 

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

19 terminology 

गहराई-पहले खोज के कई कार्यान्वयनों में, जो मैंने देखा (उदाहरण के लिए: यहां ), कोड एक ग्रे वर्टेक्स (खोजा गया, लेकिन उसके सभी पड़ोसियों का दौरा नहीं किया गया था) और एक काले रंग के शीर्ष के बीच भेद किया गया (खोज की और उसके सभी पड़ोसियों का दौरा किया …

19 algorithms  graphs  search-algorithms  graph-traversal 

हमारे पास होरे तर्क है। यह अभी भी क्यों संभव है कि एक एल्गोरिथ्म सही है लेकिन कोई सबूत नहीं है कि यह सही है? मान लीजिए कि एल्गोरिथ्म सी में व्यक्त किया गया है। तो हम कदम से कदम बहस कर सकते हैं कि यह वही कर रहा है …

18 correctness-proof  hoare-logic 

इस पोस्ट में सुधार करना चाहते हैं? इस प्रश्न का विस्तृत उत्तर प्रदान करें, जिसमें उद्धरण और आपका उत्तर सही क्यों है की व्याख्या भी शामिल है। बिना पर्याप्त विवरण के उत्तर संपादित या हटाए जा सकते हैं। हम MST के लिए एल्गोरिदम, मजबूत-कनेक्टिविटी, मार्ग निर्देशन आदि के बारे में …

18 graphs  graph-theory  fault-tolerance 

"ए कंफ्लिक्ट-फ्री रेप्लिकेटेड जेन्स डेटाटाइप" पेपर में , मुझे औपचारिक रूप से "नियमों" को परिभाषित करने के लिए इस नोटेशन का सामना करना पड़ा: इस संकेतन को क्या कहा जाता है? मैं इसे कैसे पढ़ूं? उदाहरण के लिए: DOCशासन अपने "अंश" में लेना देना नहीं है - क्यों नहीं? EXECऔर …

18 semantics  notation  formal-methods  operational-semantics 

अधिकतम-प्रवाह मिन-कट प्रमेय के लिए धन्यवाद, हम जानते हैं कि हम किसी भी नेटवर्क एल्गोरिदम में अधिकतम प्रवाह की गणना करने के लिए किसी भी एल्गोरिथ्म का उपयोग कर सकते हैं एक -मिन-कट की गणना करने के लिए । इसलिए, एक न्यूनतम कंप्यूटिंग की जटिलता है कटौती एक अधिकतम कंप्यूटिंग …

18 complexity-theory  reductions  network-flow  graph-algorithms 

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

18 computability  undecidability  software-engineering  formal-methods 

क्या मानक ट्यूरिंग की तुलना में रिक्त कोशिकाओं पर लिखने की क्षमता के बिना एक ट्यूरिंग मशीन कम शक्तिशाली है? मुझे लगता है कि उत्तर हां है, लेकिन मैं एक गणना नहीं पा रहा हूं जो मानक ट्यूरिंग मशीन कर सकती है लेकिन यह मशीन नहीं कर सकती है। कोई …

18 formal-languages  turing-machines  computability  automata 

वहाँ मौजूद है एक गणनीय समारोह ऐसी है कि:f:N→Qf:N→Qf:\mathbb{N}\rightarrow \mathbb{Q} सभी के लिए t∈N:0≤f(t)&lt;Xt∈N:0≤f(t)&lt;Xt\in\mathbb{N}: 0\le f(t) < X limt→∞f(t)=Xlimt→∞f(t)=X\lim\limits_{t\rightarrow\infty} f(t) = X जहां एक निर्विवाद वास्तविक संख्या है।XXX इस प्रश्न का एकमात्र संदर्भ मुझे मिला है, इस सवाल का जवाब था : /math//a/1052579/168764 , जहां फ़ंक्शन को लगता है कि …

18 computability 

यदि किसी समस्या A के लिए समय O(f(n))O(f(n))O(f(n)) एक एल्गोरिथ्म चल रहा है, और कोई व्यक्ति समय पर चल रहे एल्गोरिथम के साथ आता है, O(f(n)/g(n))O(f(n)/g(n))O(f(n)/g(n)) , जहाँ g(n)=o(f(n))g(n)=o(f(n))g(n) = o(f(n)) , क्या इसे पिछले एल्गोरिथ्म में सुधार माना जाता है? क्या यह समझ में आता है, सैद्धांतिक कंप्यूटर विज्ञान …

18 algorithms 

2006 में (जब मुझे लगता है) कुछ समय के लिए एआईईईआर लाइब्रेरी को संभालने और इन्वर्टर ग्राफ जारी करने के बाद, कुछ सर्किट एसएटी सॉल्वर 2006-2008 में जारी किए गए थे, और कुछ एसएटी दौड़ / प्रतियोगिताओं में एआईजी ट्रैक थे। हालाँकि तब से ऐसा लगता है कि ध्यान पूरी …

18 satisfiability  circuits  sat-solvers 

क्या एक संदर्भ-मुक्त व्याकरण में एक ऑटोमेटन से "मृत अवस्थाएं" शामिल हो सकती हैं, जैसे कि G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G=({a,b,c},{A,B,C},{A→aB,B→b,B→C,C→cC},A)?G = \big(\{a, b, c\}, \{A, B, C\}, \{A\to aB, B\to b, B\to C, C\to cC\}, A\big)\,? उत्पादन नियम और सी → सी सी हमेशा के लिए लूप करेंगे और कभी भी एक शब्द …

18 context-free  automata  formal-grammars