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

कोलमोगोरोव-कॉम्प्लेक्सिटी को परिभाषित करने के कई तरीके हैं , और आमतौर पर, इन सभी परिभाषाओं को वे एक additive निरंतर के बराबर हैं। यदि और kolmogorov जटिलता कार्य (विभिन्न भाषाओं या मॉडलों के माध्यम से परिभाषित) हैं, तो एक निरंतर मौजूद है जो प्रत्येक स्ट्रिंग के लिए है । मेरा …

20 computability  kolmogorov-complexity 

मैं कैसे साबित कर सकता हूं कि CNF से DNF में रूपांतरण एनपी-हार्ड है? मैं इसका जवाब नहीं मांग रहा हूं, बस कुछ सुझाव हैं कि इसे कैसे साबित किया जाए।

20 complexity-theory  np-hard  satisfiability  sat-solvers  normal-forms 

क्वांटम टोफोली गेट के बारे में : क्या यह शास्त्रीय सार्वभौमिक है, और यदि हां, तो क्यों? क्या यह क्वांटमली यूनिवर्सल है, और क्यों?

20 quantum-computing  circuits  turing-completeness 

मैं उपयोगकर्ता-परिभाषित डोमेन विशिष्ट भाषाओं को पार्स करना चाहता हूं। ये भाषाएं आम तौर पर गणितीय संकेतन के करीब होती हैं (मैं एक प्राकृतिक भाषा को पार्स नहीं कर रहा हूं)। उपयोगकर्ता अपने DSL को BNF संकेतन में इस तरह परिभाषित करते हैं: expr ::= LiteralInteger | ( expr ) …

20 formal-languages  parsers  compilers 

इम्मेरमैन के अनुसार , एसक्यूएल प्रश्नों से जुड़ी जटिलता वर्ग बिल्कुल ही (फर्स्ट-ऑर्डर क्वेरीज़ प्लस काउंटिंग ऑपरेटर) में सुरक्षित क्वेरीज़ की क्लास है : एसक्यूएल सुरक्षित क्वेरीज़ को कैप्चर करता है। (दूसरे शब्दों में, सभी एसक्यूएल प्रश्नों में एक जटिलता है , और में सभी समस्याओं एक SQL क्वेरी के …

20 database-theory  complexity-theory  finite-model-theory  descriptive-complexity 

बिना लेबल वाले, जड़ वाले बाइनरी पेड़ों पर विचार करें। हम कर सकते हैं सेक जैसे पेड़: जब भी उपतरू के संकेत दिए गए हैं और के साथ (व्याख्या संरचनात्मक समानता के रूप में), हम स्टोर (wlog) और करने के लिए सभी संकेत की जगह की ओर इशारा के साथ …

20 algorithms  data-structures  trees  binary-trees 

मैं जानना चाहता हूँ कि क्या वैश्विक-मात्रा निर्धारित प्रकार चाहते हैं TaTaT_a : Ta=∀X:{a∈X,f:X→{T,F}}Ta=∀X:{a∈X,f:X→{T,F}}T_a = \forall X: \left\{ a\in X,f:X→\{T, F\} \right\} , एक उप प्रकार, या विशेष मामला है एक existentially-मात्रा निर्धारित की टाइप TeTeT_e समान हस्ताक्षर से: Te=∃X:{a∈X,f:X→{T,F}}Te=∃X:{a∈X,f:X→{T,F}}T_e = \exists X: \left\{ a\in X,f:X→\{T, F\} \right\} मैं कहेंगे …

20 logic  type-theory  typing 

P बनाम NP समस्या के लिए दो संभावनाओं पर विचार करें: P = NP और P NP।≠≠\neq बता दें कि Q ज्ञात एनपी-हार्ड समस्याओं में से एक है। पी = एनपी को साबित करने के लिए, हमें क्यू के लिए एक बहुपद समय एल्गोरिथ्म ए डिजाइन करने की आवश्यकता है …

20 complexity-theory  p-vs-np 

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

20 reference-request  graphs  data-structures  network-flow 

nnn पूर्णांकों की सूची के लिए कितने विभिन्न अधिकतम-ढेर मौजूद हैं? उदाहरण: सूची [1, 2, 3, 4] अधिकतम-ढेर या तो हो सकता है 4 3 2 1: 4 / \ 3 2 / 1 या 4 2 3 1: 4 / \ 2 3 / 1

20 data-structures  combinatorics  heaps 

कई बार यदि जटिलताएं 3n जैसे स्थिरांक हैं, तो हम इस स्थिरांक की उपेक्षा करते हैं और कहते हैं कि O (n) और O (3n) नहीं। मैं यह समझने में असमर्थ हूं कि हम ऐसे तीन गुना बदलाव की उपेक्षा कैसे कर सकते हैं? कुछ बात अन्य की तुलना में …

20 complexity-theory  asymptotics  landau-notation 

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

20 computer-architecture  floating-point  number-formats 

मुझे आश्चर्य है कि एक विरल अप्रत्यक्ष ग्राफ का घेरा कैसे पाया जाए । विरल से मेरा मतलब है । इष्टतम से मेरा मतलब है सबसे कम समय की जटिलता।|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) मैंने अप्रत्यक्ष रेखांकन के लिए टारजन के एल्गोरिथ्म पर कुछ संशोधन के बारे में सोचा , लेकिन मुझे अच्छे परिणाम …

20 algorithms  time-complexity  graph-theory 

वैसे यह सामान्य प्रश्न है। और अगर कोई इसे कार्यान्वयन के लिए विशिष्ट बनाना चाहता है तो मैं यूनिक्स से संबंधित सामान पसंद करूंगा। लेकिन पहले सामान्यता में निम्नलिखित समस्याओं को जानने की जरूरत है: मैंने पढ़ा कि एकल प्रक्रिया में कई सूत्र हो सकते हैं। एक ही प्रक्रिया के …

20 operating-systems  threads 

विशेष रूप से: 1) 4096 ब्लॉक / लाइनों के साथ एक डायरेक्ट-मैप्ड कैश जिसमें प्रत्येक ब्लॉक में 8 32-बिट शब्द हैं। 32-बिट पते को टैग और इंडेक्स फ़ील्ड के लिए कितने बिट्स की आवश्यकता है? 2) 1 के रूप में एक ही सवाल) लेकिन पूरी तरह से साहचर्य कैश के …

20 computer-architecture  cpu-cache