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

आज्ञा देना GGG एक संदर्भ मुक्त व्याकरण है। टर्मिनल और की nonterminals की एक स्ट्रिंग GGG एक होना कहा जाता है sentential रूप से GGG अगर आप इसे का निर्माण लगाने से प्राप्त कर सकते हैं GGG की शुरुआत प्रतीक को शून्य या अधिक बार SSS । चलो SF(G)SF⁡(G)\operatorname{SF}(G) के …

14 formal-languages  context-free  formal-grammars  closure-properties 

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

14 complexity-theory  np-complete  reference-request  approximation 

मैंने लिखा ∑i=1n1i=∑i=1nO(1)=O(n)∑i=1n1i=∑i=1nO(1)=O(n)\qquad \displaystyle \sum\limits_{i=1}^n \frac{1}{i} = \sum\limits_{i=1}^n \cal{O}(1) = \cal{O}(n) लेकिन मेरे दोस्त का कहना है कि यह गलत है। टीसीएस की नकल पुस्तिकाओं से मैं जानता हूँ कि योग भी कहा जाता है कि HnHnH_n जिसमें लघुगणक विकास है nnn । इसलिए मेरी सीमा बहुत तेज नहीं है, …

14 asymptotics  landau-notation 

मैं थोड़ा उलझन में हूँ कि कंप्यूटर विज्ञान में 'कुंजी' का अर्थ क्या है। मैं कुंजी-मूल्य जोड़े, प्राथमिक कुंजी आदि को समझता हूं ... लेकिन मुझे इस बात की परिभाषा नहीं मिल रही है कि 'कुंजी' शब्द का अर्थ क्या है। जहाँ तक मैं बता सकता हूँ यह सिर्फ डेटा …

14 terminology 

2-आयामी भूलभुलैया को देखते हुए जहां आप 4 कमांड दे सकते हैं "ऊपर / नीचे / दाएं / बाएं"। भूलभुलैया को जानना लेकिन नहीं जहां व्यक्ति है, भूलभुलैया से बाहर निकलने की गारंटी देने वाले आदेशों का न्यूनतम अनुक्रम कैसे ढूंढें? मैं आदेशों के एकल अनुक्रम की तलाश कर रहा …

14 algorithms  graphs  graph-traversal 

यहाँ संदर्भ ( "स्थानीय नाम" शीर्षक के तहत, कंप्यूटर प्रोग्राम्स की संरचना और व्याख्या , खंड 1.1.8 है): प्रक्रिया के एक औपचारिक पैरामीटर की प्रक्रिया की परिभाषा में एक बहुत ही विशेष भूमिका होती है, इसमें यह कोई फर्क नहीं पड़ता कि औपचारिक पैरामीटर का क्या नाम है। इस तरह …

14 logic 

क्या मैं उपलब्ध स्वचालित प्रमेय सिद्ध करने वालों के साथ निम्नलिखित कथनों को सिद्ध कर सकता हूँ? ।(a+b)2=a2+b2+2ab(a+b)2=a2+b2+2ab(a+b)^2=a^2+b^2+2ab यदि , तो 11 - 7 a - 5 b ।11∣2a−3b11∣2a−3b 11 \mid 2a-3b11∣7a−5b11∣7a−5b 11 \mid 7a-5b अगर , तो एक्स = - ख ± √ax2+bx+c=0ax2+bx+c=0 ax^2+bx+c=0 ।x=−b±b2−4ac√2ax=−b±b2−4ac2ax=\frac{-b\pm\sqrt{b^2-4ac} }{2a} अगर भी है …

14 automated-theorem-proving 

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

14 complexity-theory 

कॉनर मैक्ब्राइड के कुछ काम, डिफ , डिसेक्ट , डेटा प्रकार के व्युत्पन्न से संबंधित है उनके "एक प्रकार के छेद वाले संदर्भ"। यही है, यदि आप उस प्रकार के व्युत्पन्न को लेते हैं जिसे आप डेटा प्रकार के साथ छोड़ देते हैं जो आपको दिखाता है कि किसी भी …

14 graph-theory  type-theory 

मैं यहाँ अधिकतम प्रवाह समस्या के बारे में पढ़ रहा हूँ । मैं अवशिष्ट ग्राफ के पीछे के अंतर्ज्ञान को नहीं समझ सका। प्रवाह की गणना करते समय हम पीछे के किनारों पर विचार क्यों कर रहे हैं? क्या कोई मुझे अवशिष्ट ग्राफ की अवधारणा को समझने में मदद कर …

14 algorithms  graphs  graph-theory  network-flow 

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

14 complexity-theory  terminology  algorithm-analysis  time-complexity  runtime-analysis 

मैंने पाया है कि अगर मैं सीएस / प्रोग्रामिंग शब्द के पीछे व्युत्पत्ति को नहीं समझता हूं, तो आमतौर पर इसका मतलब है कि मैंने कुछ महत्वपूर्ण अंतर्निहित अवधारणा को याद किया या गलत समझा है। मुझे समझ नहीं आता कि क्लेने स्टार को क्लेने क्लोजर क्यों कहा जाता है। …

14 automata  regular-expressions 

मैं HoTT पुस्तक के माध्यम से पढ़ रहा हूं और मेरे पास अध्याय एक में सामान के बारे में एक (शायद बहुत भोला) सवाल है। अध्याय फ़ंक्शन प्रकार परिचय देता है और फिर को पर निर्भर बनाकर इसे सामान्य करता है और उस पर निर्भर फ़ंक्शन प्रकार को कहा जाता …

14 type-theory  dependent-types  homotopy-type-theory 

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

14 complexity-theory  formal-languages 

इसलिए, जैसा कि ज्ञात है, ILP की 0-1 निर्णय समस्या NP- पूर्ण है। यह एनपी में दिखाना आसान है, और मूल कमी सैट से थी; तब से, कई अन्य एनपी-पूर्ण समस्याओं में ILP फॉर्मूलेशन (जो उन समस्याओं से ILP में कटौती के रूप में कार्य करता है) को दिखाया गया …

14 np-complete  reductions  satisfiability  integer-programming