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

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

10 education 

मुझे यह देखने के लिए एक पुनरावर्ती एल्गोरिथ्म बनाने की जरूरत है कि क्या एक द्विआधारी वृक्ष एक द्विआधारी खोज वृक्ष है और साथ ही साथ यह भी मान लें कि एक वैश्विक मान्यता वाले चर के साथ कुल पूर्ण शाखाएं (बाएं और दाएं दोनों बच्चों के नोड वाले माता-पिता) …

10 algorithms  recursion  trees 

रैखिक लौकिक तर्क और नियतात्मक बुची ऑटोमेटा अतुलनीय हैं: डीबीए व्यक्त नहीं कर सकता है , और एलटीएल "कम से कम प्रत्येक विषम पत्र '' ए" नहीं व्यक्त कर सकता है । लेकिन कभी-कभी यह जानना दिलचस्प होता है कि एलटीएल में डीबीए की भाषा व्यक्त की जा सकती है …

10 logic  automata  linear-temporal-logic  buchi-automata 

मेरी किताब यह बताती है यदि एक निर्णय समस्या B, P में है और A, B में कम है, तो निर्णय समस्या A, P में है। एक निर्णय समस्या B, NP में पूर्ण है यदि B, NP में है और A में प्रत्येक समस्या के लिए N, A से B …

10 complexity-theory  np-complete  decision-problem 

पी की परिभाषा एक भाषा है जिसे एक बहुपद समय एल्गोरिथ्म द्वारा तय किया जा सकता है। पी / पॉली की परिभाषा का अर्थ एक ऐसी भाषा से लिया जा सकता है जिसे बहुपद-आकार के सर्किट द्वारा तय किया जा सकता है (देखें http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf )। अब, बहुपद-आकार के सर्किट को …

10 complexity-theory  time-complexity  circuits 

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

10 graph-theory  adjacency-matrix 

वास्तव में मैंने पाया कि संदर्भ-संवेदनशील भाषाओं का सेट, ( स्वीकृत भाषाएं) इतनी व्यापक रूप से (नियमित भाषा) के रूप में चर्चा नहीं की जाती हैं या (संदर्भ-मुक्त भाषाएँ)। और यह भी खुली समस्या "अनुरूप" समस्या के रूप में इतनी प्रसिद्ध नहीं है: " ”।सी एस एलCSL\mathbf{CSL}= एन एस पी …

10 complexity-theory  np-complete  space-complexity  context-sensitive 

क्या "राइस प्रमेय फॉर कम्प्यूटेबल रियल्स" है - अर्थात, किसी दिए गए कंप्युटेबल रियल द्वारा दर्शाई गई संख्या की कोई भी गुणात्मक गुणधर्म सत्य नहीं है? क्या यह वास्तविकताओं की कनेक्टिविटी के लिए कुछ प्रत्यक्ष तरीके से मेल खाता है?

10 computability  real-numbers  computable-analysis 

मेरे पढ़ने से ऐसा लगता है कि अधिकांश व्याकरण अनंत संख्या में तार उत्पन्न करने से चिंतित हैं। अगर आपने दूसरे तरीके से काम किया तो क्या होगा? यदि m लम्बाई के n तार दिए जाते हैं, तो एक व्याकरण बनाना संभव होना चाहिए जो उन तारों को उत्पन्न करेगा, …

10 formal-languages  regular-languages  formal-grammars  finite-sets 

विकिपीडिया कहता है कि पथ संपीड़न के बिना रैंक द्वारा संघ एक परिमाणित समय जटिलता देता है , और रैंक और पथ संपीड़न द्वारा संघ दोनों एक परिमाणित समय जटिलता देता है (जहाँ है एकरमैन फंक्शन का विलोम)। हालांकि, इसमें यूनियन रैंक के बिना पथ संपीड़न के चल रहे समय …

10 complexity-theory  time-complexity  union-find 

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

10 formal-languages  regular-languages  regular-expressions 

मैं यह समझने की कोशिश कर रहा हूं कि स्लैब आवंटन कैसे काम करता है और यह सामान्य पेजिंग से अलग या बेहतर क्यों है। मुझे यह आरेख मिला जो मुझे लगता है कि अगर यह अधिक स्पष्टीकरण होता तो सहायक होता। कुछ सवाल: 3KB और 7KB आइटम क्या दर्शाते …

10 operating-systems  paging  memory-allocation 

प्राकृतिक संख्याओं को सीधे रूप में परिभाषित किया जाता है (उदाहरण के रूप में Coq सिंटैक्स का उपयोग करना) Inductive nat: Set := | O: nat | S: nat -> nat. क्या पूर्णांकों को परिभाषित करने के लिए मानक तरीका है (और तर्कसंगत और वास्तविक जैसे अन्य सेट) रचनात्मक रूप …

10 arithmetic  dependent-types  coq 

अपने टकराव का पता लगाने वाले वर्ग के प्रदर्शन को बेहतर बनाने की कोशिश करते हुए, मैंने पाया कि ~ 80% समय जीपीयू में बिताया है, इस पर खर्च किया है कि क्या / और स्थितियां सिर्फ बाल्टी के लिए सीमा का पता लगाने की कोशिश कर रही हैं, जिसके …

10 computer-architecture  parallel-computing 

मैं समझता हूं कि खंड के पेड़ों का उपयोग के उप सरणी के योग को खोजने के लिए किया जा सकता है । और यह यहाँ ट्यूटोरियल के अनुसार समय में किया जा सकता है ।AAAO(logn)O(log⁡n)\mathcal{O}(\log n) हालाँकि मैं यह साबित नहीं कर पा रहा हूँ कि क्वेरी करने का …

10 data-structures  runtime-analysis  search-trees  intervals