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

क्या कोई ज्ञात एल्गोरिदम है जो एनपी-पूर्ण समस्या के लिए "हाँ" सही ढंग से आउटपुट करता है, बिना प्रमाणिकता के प्रमाण पत्र उत्पन्न किए बिना? मैं समझता हूं कि एक संतोषजनक-निर्धारण वाले ऑरेकल को एक संतोषजनक-असाइनमेंट फ़ाइंडर में बदलना सीधा है: बस चर पर पुनरावृति, हर बार उस समस्या के …

11 algorithms  complexity-theory  np-complete 

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

11 time-complexity  asymptotics  landau-notation  notation 

क्या यह निर्धारित करने की समस्या है कि क्या बूलियन अभिव्यक्ति वास्तव में अभिव्यक्ति का समाधान खोजने से संतोषजनक रूप से अलग है? दूसरे शब्दों में, क्या यह खोजने का एक और तरीका है कि बूलियन चर के लिए 'सही सेटिंग्स' को स्पष्ट रूप से निर्धारित किए बिना एक दी …

11 complexity-theory  satisfiability 

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

11 computability  undecidability  halting-problem  oracle-machines 

मैंने कई बार पढ़ा कि NDTM के उत्तर को कुशलता से फ्लिप करना संभव नहीं है। हालाँकि, मुझे समझ नहीं आता कि क्यों। उदाहरण के लिए, एक NDTM दिया में रन है कि , इस पाठ (खंड 3.3) में कहा गया है कि यह स्पष्ट नहीं है कि एक और …

11 complexity-theory  turing-machines 

दो सेट के तार को अल्फाबेट को देखते हुए , क्या हम सबसे छोटे निर्धारक परिमित-राज्य (DFA) गणना कर सकते हैं, जैसे कि और ?ए , बीA,BA,Bएम ए ⊆ एल ( एम ) एल ( एम ) ⊆ Σ * ∖ बीΣΣ\SigmaमMMA ⊆ L ( M))A⊆L(M)A \subseteq L(M)एल ( एम) …

11 regular-languages  automata  finite-automata  machine-learning 

मैं होमोटॉपी टाइप थ्योरी ऑनलाइन पुस्तक में आश्रित प्रकार के सिद्धांत के बारे में पढ़ रहा हूं । टाइप थ्योरी अध्याय के खंड 1.3 में , यह यूनिवर्स की पदानुक्रम की धारणा का परिचय देता है : , जहांU0:U1:U2:⋯U0:U1:U2:⋯\mathcal{U}_0 : \mathcal{U}_1 : \mathcal{U}_2 : \cdots हर ब्रह्मांड अगले ब्रह्मांड का …

11 type-theory  homotopy-type-theory  dependent-types 

नियमित भाषाओं के लिए पंपिंग लेम्मा का उपयोग यह साबित करने के लिए किया जा सकता है कि कुछ भाषाएं नियमित नहीं हैं, और संदर्भ-रहित भाषाओं (ओग्डेन के लेम्मा के साथ) के लिए पंपिंग लेम्मा का उपयोग यह साबित करने के लिए किया जा सकता है कि कुछ भाषाएं संदर्भ-मुक्त …

11 context-free  proof-techniques  pumping-lemma 

पहले गहराई में, पेड़ के किनारों को परिभाषित किया जाता है (यानी कि किनारों का उपयोग किया गया था)। कुछ बचे हुए किनारे हैं जो कुछ अन्य नोड्स को जोड़ते हैं। क्रॉस एज और फॉरवर्ड एज में क्या अंतर है? विकिपीडिया से: इस फैले हुए पेड़ के आधार पर, मूल …

11 algorithms  terminology  graphs  graph-traversal 

सेट विभाजन का प्रतिनिधित्व करने के लिए कुशल डेटा संरचनाएं मौजूद हैं । इन डेटा संरचनाओं में यूनियन और फाइंड जैसे संचालन के लिए अच्छी समय जटिलताएं हैं, लेकिन वे विशेष रूप से अंतरिक्ष-कुशल नहीं हैं। एक सेट के विभाजन का प्रतिनिधित्व करने के लिए एक अंतरिक्ष-कुशल तरीका क्या है? …

11 data-structures  combinatorics  space-complexity  sets  partitions 

यह मेरे ध्यान में लाया गया था कि ओकेएमएल जैसी कार्यात्मक भाषा में प्रकार के अनुमान की लागत बहुत अधिक हो सकती है। दावा यह है कि अभिव्यक्ति का एक क्रम ऐसा है कि प्रत्येक अभिव्यक्ति के लिए अभिव्यक्ति की लंबाई पर संबंधित प्रकार की लंबाई घातीय है। मैंने नीचे …

11 lambda-calculus  type-theory  functional-programming  type-inference  type-checking 

से विकिपीडिया : कम्प्यूटेशनल समस्या का प्रकार: सबसे अधिक इस्तेमाल की जाने वाली समस्याएं निर्णय समस्याएं हैं । हालाँकि, फ़ंक्शन समस्याओं, गिनती समस्याओं, अनुकूलन समस्याओं, वादा समस्याओं आदि के आधार पर जटिलता वर्गों को परिभाषित किया जा सकता है। मैंने एनपी-पूर्ण, एनपी-हार्ड, एनपी, ... की परिभाषाएं भी देखीं, केवल निर्णय …

11 complexity-theory  terminology 

एक गणना करने योग्य गणना करने योग्य (CE, पुनरावर्ती रूप से गणना करने योग्य, अर्धवृत्ताकार के बराबर) सेट में से एक निम्नलिखित है: A⊆Σ∗A⊆Σ∗A \subseteq \Sigma^* ce iff वहाँ एक डिसाइडेबल भाषा हैV⊆Σ∗V⊆Σ∗V\subseteq \Sigma^* सभी के लिए सेंट (सत्यापनकर्ता कहा जाता है)x∈Σ∗x∈Σ∗x\in \Sigma^* , x∈Ax∈Ax\in A iff वहाँ एक से …

11 computability  proof-techniques  undecidability 

मैं गणना के सिद्धांत में अपने फाइनल के लिए अध्ययन कर रहा हूं, और मैं यह उत्तर देने के उचित तरीके से संघर्ष कर रहा हूं कि क्या यह कथन गलत है। We m की परिभाषा से हम निम्नलिखित कथन का निर्माण कर सकते हैं,≤म≤m\leq_m डब्ल्यू ∈ ए⟺च( डब्ल्यू ) …

11 complexity-theory  computability  reductions 

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

11 complexity-theory  efficiency  computation-models