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

मैं प्रोग्रामिंग भाषाओं को परिभाषित करने के लिए परिचालन शब्दार्थ (छोटे-चरण और बड़े कदम दोनों) से परिचित हूं। मैं रूढ़िवादी शब्दार्थ सीखने में दिलचस्पी रखता हूं, लेकिन मुझे यकीन नहीं है कि यह प्रयास के लायक होगा। क्या मैं सिर्फ एक अलग दृष्टिकोण से एक ही सामग्री सीख रहा हूं, …

14 semantics  operational-semantics  denotational-semantics 

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

14 turing-machines  turing-completeness  digital-circuits 

यह सर्वविदित है कि 2-सैट पी में है। हालांकि, यह काफी दिलचस्प लगता है कि किसी दिए गए 2-सैट फॉर्मूला के समाधानों की संख्या की गिनती करना, अर्थात, # 2-सैट # पी-हार्ड है। यही है, हमारे पास एक समस्या का एक उदाहरण है जिसके लिए निर्णय आसान है, लेकिन गिनती …

14 complexity-theory  counting 

मैंने अभी पढ़ा है कि क्या इस एल्गोरिथ्म को अभी भी एक द्विआधारी खोज एल्गोरिदम माना जा सकता है? और याद आया कि कुछ साल पहले मैंने डेट / टाइम विंडो द्वारा बड़े सादे टेक्स्ट फाइलों में लॉग एंट्री खोजने के लिए लॉग फाइल के लिए एक अनुक्रमणिका / खोज …

14 algorithms  search-algorithms  binary-search 

तो आमतौर पर सुडोकू है , लेकिन इस सवाल का फैली एन 2 × एन 2 के साथ पहेली n > 3 में अच्छी तरह से। कई बहुपद समय कटौती नियम हैं जो एक सुडोकू पहेली का हल खोजने में प्रगति कर सकते हैं। लेकिन फिर कभी-कभी मूल्यों का अनुमान …

14 complexity-theory  sudoku 

यहाँ मैंने पढ़ा है कि: हास्केल में निश्चित रूप से सबसे उन्नत प्रकार की प्रणाली नहीं है (यदि आप अनुसंधान भाषाओं की गिनती भी नहीं करते हैं) लेकिन सभी भाषाओं में से जो वास्तव में उत्पादन में उपयोग की जाती हैं, उनमें से संभवतः हास्केल शीर्ष पर है। इसलिए मैं …

14 programming-languages  type-theory 

मुझे यकीन है कि किसी ने पहले इस बारे में सोचा है या तुरंत इसे खारिज कर दिया है, लेकिन स्फेफर के द्विचोटमी सिद्धांत के साथ-साथ महारे के प्रमेय के साथ विरल सेटों का मतलब पी = एनपी नहीं है? यहाँ मेरी तर्क है: एक भाषा बनाएं जो बराबर है …

14 complexity-theory  np-complete  satisfiability  p-vs-np 

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

14 computer-architecture  cpu 

एक एल्गोरिथ्म की जटिलता को मापने के लिए, क्या यह समय जटिलता, या कम्प्यूटेशनल जटिलता है? उनके बीच क्या अंतर है? मैं एल्गोरिथ्म में बुनियादी (सबसे अधिक लागत) ऑपरेशन की अधिकतम (सबसे खराब) गणना की गणना करता था।

14 complexity-theory  terminology  algorithm-analysis  time-complexity 

मैं सोच रहा हूँ, बिग- अंकन के संदर्भ में सबसे अच्छा ज्ञात एल्गोरिथ्म क्या है , इंटेगर रैखिक प्रोग्रामिंग को हल करने के लिए?OOO मुझे पता है कि समस्या अपूर्ण है, इसलिए मुझे बहुपद के बारे में कुछ भी उम्मीद नहीं है। और मुझे पता है कि बहुत सारे आंकड़े …

14 algorithms  complexity-theory  reference-request  np-complete  integer-programming 

मैं "कम्प्यूटेशनल जटिलता: एक आधुनिक दृष्टिकोण" (2009) पुस्तक में कहा गया है कि कार्प-लिप्टन प्रमेय के प्रमाण को समझने की कोशिश कर रहा हूं। विशेष रूप से, यह पुस्तक निम्नलिखित बताती है: कार्प-लिप्टन प्रमेय यदि एनपी पी ∖ पी ओ एल वाई , तो पीएच = Σ पी 2 ।⊆⊆\subseteq …

14 complexity-theory  complexity-classes 

जैसे बोली कर रहे हैं फिर से पूरा कई-एक में कटौती के तहत। यह देखना तुच्छ है कि सह-आरई में पूरी समस्याएं हैं, भी। एस श्मित्ज़ [1] inbetween कुछ वर्गों पर विचार करता है ELEM और आरईसी । वे विशेष रूप से तैयार किए गए कटौती के तहत इन वर्गों …

14 computability  reductions  turing-completeness  recursion-theory 

उदा। ?xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) भाव साधारण उच्च विद्यालय बीजगणित से हैं, लेकिन गणित के अलावा और गुणा तक ही सीमित (जैसे ), कोई प्रतिलोम, घटाव या विभाजन के साथ। पत्र चर हैं।2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6 यदि यह मदद करता है, तो हम अलावा अन्य सांख्यिक मूल्यों के साथ प्रतिनिधित्व करने योग्य किसी भी अभिव्यक्ति …

14 complexity-theory  time-complexity  decision-problem 

माइक्रो-कर्नेल सभी ड्राइवरों को उपयोगकर्ता-अंतरिक्ष कार्यक्रमों के रूप में लागू करता है, और कर्नेल में ही आईपीसी जैसी मुख्य विशेषताओं को लागू करता है। हालाँकि, एक अखंड कर्नेल, कर्नेल को कर्नेल के एक भाग के रूप में लागू करता है (जैसे कर्नेल मोड में चलता है)। मैंने कुछ दावों को …

14 operating-systems  performance  os-kernel 

एक छात्र ने हाल ही में मुझे उनके लिए एनपी-कठोरता प्रमाण की जांच करने के लिए कहा। उन्होंने इसकी तर्ज पर कमी का प्रदर्शन किया: मैं इस समस्या को कम P′P′P' कि एन पी-सम्पूर्ण मेरी समस्या के लिए माना जाता है PPP , (एक पाली समय कई-एक कमी के साथ) …

14 complexity-theory  reference-request  complexity-classes  real-numbers  computable-analysis