Ciência da Computação

Na rede de computadores e no design de computadores de cluster de alto desempenho, a topologia de rede refere-se ao design do modo como os nós são conectados por links para formar uma rede de comunicação. As topologias de rede comuns incluem malha, toro, anel, estrela, árvore etc. Essas topologias …

10 computer-networks  network-topology 

Atualmente, essa questão não se encaixa no nosso formato de perguntas e respostas. Esperamos que as respostas sejam apoiadas por fatos, referências ou conhecimentos, mas essa pergunta provavelmente solicitará debates, argumentos, pesquisas ou discussões prolongadas. Se você acha que essa pergunta pode ser melhorada e possivelmente reaberta, visite o centro …

10 education 

Meu livro afirma isso Se um problema de decisão B estiver em P e A for reduzido para B, o problema de decisão A estará em P. Um problema de decisão B é NP-completo se B estiver em NP e para todo problema em A em NP, A reduz para …

10 complexity-theory  np-complete  decision-problem 

Eu preciso criar um algoritmo recursivo para ver se uma árvore binária é uma árvore de pesquisa binária e contar quantas ramificações completas existem (um nó pai com nós filhos esquerdo e direito) com uma variável de contagem global assumida. Esta é uma atribuição para minha classe de estruturas de …

10 algorithms  recursion  trees 

Atualmente, estou trabalhando para entender o uso do limite de Cheeger e da desigualdade de Cheeger, e seu uso para particionamento espectral, condutância, expansão, etc., mas ainda luto para iniciar uma intuição sobre o segundo autovalor da matriz de adjacência. Geralmente, na teoria dos grafos, a maioria dos conceitos que …

10 graph-theory  adjacency-matrix 

A definição de P é uma linguagem que pode ser decidida por um algoritmo de tempo polinomial. A definição de P / poli pode ser entendida como uma linguagem que pode ser decidida por um circuito de tamanho polinomial (consulte http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf ). Agora, por que um circuito de tamanho polinomial …

10 complexity-theory  time-complexity  circuits 

Na verdade, descobri que o conjunto de idiomas sensíveis ao contexto, ( idiomas aceitos) não são tão amplamente discutidos quanto (idiomas regulares) ou (idiomas sem contexto). E também o problema em aberto não é tão famoso quanto o problema "análogo": " ".C S LCSL\mathbf{CSL}R E G C F L D …

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

O "teorema de Rice para os reais computáveis" - ou seja, nenhuma propriedade não trivial do número representado por um determinado real computável é decidível - é verdade? Isso corresponde de alguma maneira direta à conexão dos reais?

10 computability  real-numbers  computable-analysis 

Pela minha leitura, parece que a maioria das gramáticas está preocupada em gerar um número infinito de strings. E se você trabalhasse o contrário? Se forem dadas n strings de m length, deve ser possível fazer uma gramática que gere essas strings, e apenas essas strings. Existe um método conhecido …

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

A Wikipedia diz que a união por classificação sem compactação de caminho fornece uma complexidade de tempo amortizada de , e que a união por classificação e compactação de caminho fornece uma complexidade de tempo amortizada de (onde é o inverso da função Ackerman). No entanto, ele não menciona o …

10 complexity-theory  time-complexity  union-find 

Eu sei que idiomas que podem ser definidos usando expressões regulares e reconhecíveis pelo DFA / NFA (autômatos finitos) são equivalentes. Também não existe DFA para o idioma . Mas ainda assim ele pode ser escrito usando expressões regulares (para que o assunto qualquer linguagem não-regular pode ser) como . …

10 formal-languages  regular-languages  regular-expressions 

Estou tentando entender como a Alocação de placas funciona e por que é diferente ou melhor que a paginação comum. Eu encontrei este diagrama que acredito que seria útil se tivesse mais explicações. Algumas perguntas: O que os itens de 3 KB e 7 KB representam? Eles devem estar relacionados …

10 operating-systems  paging  memory-allocation 

Enquanto tentava melhorar o desempenho da minha classe de detecção de colisões, descobri que ~ 80% do tempo gasto na gpu passava em condições if / else apenas tentando descobrir os limites dos buckets pelos quais deveria passar. Mais precisamente: cada thread obtém um ID, por esse ID ele busca …

10 computer-architecture  parallel-computing 

Números naturais são definidos indutivamente como (usando a sintaxe Coq como exemplo) Inductive nat: Set := | O: nat | S: nat -> nat. Existe uma maneira padrão de definir números inteiros (e talvez outros conjuntos como racionais e reais) construtivamente?

10 arithmetic  dependent-types  coq 

Eu entendo que as árvores segmento pode ser usado para encontrar a soma de sub variedade de . E isso pode ser feito no tempo O ( log n ) de acordo com o tutorial aqui .UMAUMAAO (logn )O(registro⁡n)\mathcal{O}(\log n) No entanto, não sou capaz de provar que o tempo …

10 data-structures  runtime-analysis  search-trees  intervals