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

मैंने देखा है कि शाखा भविष्यवाणी में दो अलग-अलग प्रकार के राज्य हैं। सुपरस्लेकर निष्पादन में, जहां शाखा की भविष्यवाणी बहुत महत्वपूर्ण है, और यह मुख्य रूप से निष्पादन में देरी के बजाय देरी है। निर्देश पाइपलाइन में, जहां निर्देशों के बाद से वास्तव में निष्पादित नहीं होने के बाद …

11 cpu-pipelines  computer-architecture 

नीचे दिये गये कथनों में से कौन सही है? किसी भाषा की नियमितता के बारे में पर्याप्त और आवश्यक शर्तें मौजूद हैं लेकिन अभी तक खोज नहीं की गई हैं। किसी भाषा की नियमितता के बारे में कोई पर्याप्त और आवश्यक शर्त नहीं है। लैम्मा को पंप करना किसी भाषा …

11 formal-languages  regular-languages 

क्या सैद्धांतिक रूप से एक प्रोग्रामिंग भाषा निर्दिष्ट करना संभव है जिसके लिए कोई कार्यान्वयन मौजूद नहीं हो सकता है? एक प्रोग्रामिंग भाषा फ़ंक्शंस को परिभाषित करने का एक तरीका है। कार्यान्वयन का अर्थ उस इनपुट पर प्रोग्राम के अनुरूप फ़ंक्शन के आउटपुट पर उस भाषा में दिए गए प्रोग्राम …

11 formal-languages  computability  programming-languages 

एक बुलबुले के इस छद्म कोड को ध्यान में रखते हुए: FOR i := 0 TO arraylength(list) STEP 1 switched := false FOR j := 0 TO arraylength(list)-(i+1) STEP 1 IF list[j] > list[j + 1] THEN switch(list,j,j+1) switched := true ENDIF NEXT IF switched = false THEN break ENDIF …

11 algorithms  time-complexity  sorting  average-case 

एक सममित वास्तविक मैट्रिक्स को देखते हुए , क्या एक एल्गोरिथम है जो योग गणना करता है सभी 1 \ leq i &lt;j &lt;k \ leq n समय-जटिलता के साथ O (n ^ 3) से बेहतर है ?n×nn×nn \times nA=(aij)A=(aij)A=(a_{ij})∑i,j,kmax(aij,aik,ajk)∑i,j,kmax(aij,aik,ajk)\sum_{i,j,k}\max(a_{ij},a_{ik},a_{jk})1≤i&lt;j&lt;k≤n1≤i&lt;j&lt;k≤n1\leq i<j<k\leq nO(n3)O(n3)O(n^3)

11 algorithms  time-complexity 

इस प्रश्न में, मैंने पूछा कि सेट और प्रकार में क्या अंतर है । ये उत्तर वास्तव में स्पष्ट कर रहे हैं (उदाहरण @AndrejBauer), इसलिए ज्ञान के लिए मेरी प्यास में, मैं श्रेणियों के बारे में एक ही सवाल पूछने के प्रलोभन को प्रस्तुत करता हूं: हर बार जब मैं …

11 sets  category-theory 

मेरी समझ यह है कि एक म्यूटेक्स का सबसे लोकप्रिय कार्यान्वयन (उदाहरण के लिए सी ++ में म्यूटेक्स) निष्पक्षता की गारंटी नहीं देता है - अर्थात, वे इस बात की गारंटी नहीं देते हैं कि विवाद के मामलों में, लॉक को उसी क्रम में थ्रेड द्वारा अधिग्रहित किया जाएगा कि …

11 concurrency  synchronization  threads 

इंडक्शन-इंडक्शन क्या है ? मुझे जो संसाधन मिले हैं: अध्याय 5.7 के अंत में HoTT पुस्तक । nLab का लेख इंडक्टिव-इंडक्टिव परिभाषाएँ नामक एक पेपर इस ब्लॉग पोस्ट में आगमनात्मक-आगमनात्मक प्रकारों का भी उल्लेख किया गया है मेरे लिए पहले दो संदर्भ बहुत संक्षिप्त हैं, और बाद के दो भी …

11 type-theory  induction  inductive-datatypes 

हर कोई जानता है कि "गैरी एंड जॉनसन", जो कि जब भी मुझे एनपी-कठोरता प्रमाण के लिए बदलने के लिए एक समस्या की आवश्यकता होती है, तो यह मेरा संदर्भ है। हालाँकि मुझे हाल ही में अपने आप को एक APX- कठोरता प्रमाण की आवश्यकता है, और मुझे आश्चर्य है …

11 complexity-theory  reference-request  time-complexity  complexity-classes 

मैं प्रकार के सार्वभौमिक और अस्तित्वगत मात्राकरण के उद्देश्य को समझने के लिए संघर्ष कर रहा हूं। मैं निर्माणों की गणना के आधार पर एक खिलौना भाषा लिखने के साथ खेल रहा हूं । मैं मोर्टे और हेंक के बारे में पढ़ रहा हूं ताकि मुझे बेहतर समझ मिल सके। …

11 lambda-calculus  type-theory  calculus-of-constructions 

हफ़मैन कोडिंग, अंकगणित कोडिंग और रेंज कोडिंग के बीच संबंधों को समझने की कोशिश में, मैंने हफ़मैन कोडिंग की कमियों को भिन्नात्मक बिट-पैकिंग की समस्या से संबंधित माना । यह है, मान लें कि आपके पास एक प्रतीक के लिए 240 संभावित मान हैं, और इसे बिट्स में एन्कोड करने …

11 information-theory  data-compression  coding-theory  entropy  huffman-coding 

SSSdddSSS∀x∈S, d∤x∀x∈S, d∤x\forall x \in S,\ d \nmid x Denoteऔर । फ़ंक्शन F (x) पर विचार करें = x को विभाजित करने वाली कम से कम अभाज्य संख्या । यह देखना आसान है कि F (x) \ leq \ log x । और एक सेट S के लिए , F …

11 algorithms  number-theory 

कॉम्प्लेक्सिटी ज़ू, को रैखिक समय में एक नियतात्मक ट्यूरिंग मशीन द्वारा हल करने योग्य निर्णय समस्याओं का वर्ग परिभाषित करता है ।LINLINLIN LIN⊆PLIN⊆PLIN \subseteq P चूंकि HORN-SAT, में हल करने योग्य है (जैसा कि प्रपोजल हॉर्न फॉर्मूले (1984) की संतुष्टि की जांच के लिए रैखिक-समय के एल्गोरिदम में संकेत दिया …

11 complexity-theory  time-complexity  reductions 

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

11 algorithms  algorithm-analysis  reference-request  books 

ब्रोज़ोज़ोस्की के एल्गोरिथ्म को मूर ऑटोमेटा तक बढ़ाया जा सकता है लेकिन इसकी समय जटिलता सामान्य रूप से घातीय है। क्या मूर ऑटोमेटा को कम करने के लिए कोई अन्य एल्गोरिदम है? यदि इन एल्गोरिदम का कोई चल रहा हो तो क्या होगा?

11 reference-request  automata  optimization  finite-automata  transducers