Ciência da Computação

É com acesso oráculo para N P maior do que apenas N P ? Pelo que entendi N P N P é apenas uma máquina de turing que pode fazer consultas a outra máquina N P , se sim, então N P pode simular N P N P ? Há …

10 complexity-theory 

Para um determinado gráfico plano incorporado no plano, definido por um conjunto de segmentos de linha , cada segmento é representado por seus pontos finais . Construa uma estrutura de dados DCEL para a subdivisão planar, descreva um algoritmo, prove sua correção e mostre a complexidade.G(V,E)G(V,E)G(V,E)E={e1,...,em}E={e1,...,em}E= \left \{ e_1,...,e_m \right …

10 algorithms  data-structures  computational-geometry  doubly-connected-edge-list 

Existe alguma maneira de estimar quantos dados são adicionados à rede mundial de computadores a cada segundo? Existem estudos sobre isso?

10 computer-networks 

Como criar um exemplo de um DFA que possui 2n2n2^n estados em que o NFA equivalente possui nnn estados. Obviamente, o conjunto de estados do DFA deve conter todos os subconjuntos do conjunto de estados da NFA, mas não sei como começar. Alguma sugestão para me colocar no caminho certo?

10 automata  finite-automata 

O algoritmo de Dijkstra é usado em sistemas modernos de busca de rotas, como mapas do Google ou o satélite no seu carro? Se não, então o que é?

10 algorithms  graphs  shortest-path  applied-theory 

A defuncionalização é uma transformação descrita pela primeira vez em 1972 por John C. Reynolds para eliminar funções de ordem superior. Existem transformações alternativas (mais eficientes?) Para eliminar funções de ordem superior?

10 programming-languages  functional-programming 

Recentemente, descobri sobre a estrutura de dados da árvore Rose, mas, seguindo uma datadefinição de Haskell e a pequena descrição da Wikipedia , tenho alguns problemas para entender quais aplicativos uma árvore Rose pode ter. Para referência, a datadefinição de Haskell : data RoseTree a = RoseTree a [RoseTree a] …

10 trees 

Eu estava pesquisando programação dinâmica e li o seguinte: Muitas vezes, ao usar um método mais ingênuo, muitos dos subproblemas são gerados e resolvidos várias vezes. O que é um método ingênuo?

10 terminology  dynamic-programming 

Na análise de algoritmos, assumimos uma máquina de acesso aleatório (RAM) de um processador genérico. Até onde eu sei, a máquina de RAM não é mais eficiente que a máquina de Turing. Todos os algoritmos podem ser implementados na máquina de Turing. Então, minhas perguntas são: Se a máquina de …

10 turing-machines  computation-models 

Muitos sites fornecem aos operadores Sobel a máscara de convolução para suavizar uma imagem. No entanto, não encontrei um único site que descreva como você pode derivar os operadores de primeiras derivadas parciais. Se alguém puder explicar a derivação, eu apreciaria muito.

10 image-processing  computer-vision 

Dado um gráfico acíclico direcionado , um vértice é uma fonte se seu indegree for zero, significando que ele possui apenas arcos de saída.D = ( V, A )D=(V,UMA)D = (V,A)v ∈ Vv∈Vv \in V Existe um algoritmo de tempo linear para encontrar uma fonte em um determinado gráfico acíclico …

10 algorithms  graph-theory 

Neste site, existem muitas variantes sobre a questão de saber se as TMs podem decidir o problema da parada, seja para todas as outras TMs ou para certos subconjuntos. Esta questão é um pouco diferente. Ele pergunta se o fato de o problema de parada se aplicar a todas as …

9 computability  turing-machines  undecidability  halting-problem 

Coq inclui let-expression em sua linguagem principal. Podemos traduzir expressões let para aplicativos como este: let x : t = v in b ~> (\(x:t). b) v Entendo que isso nem sempre funciona porque o valor vnão estaria disponível ao digitar b. No entanto, isso pode ser facilmente corrigido através …

9 type-theory  dependent-types  type-checking  coq 

É frequentemente afirmado (por exemplo, na Wikipedia ) que o tempo de execução da pesquisa pela primeira vez (BFS) em um gráfico é . No entanto, qualquer gráfico conectado possui e, mesmo em um gráfico não conectado, o BFS nunca examinará um vértice fora do componente que contém o vértice …

9 algorithm-analysis  search-algorithms 

Estou trabalhando no livro Sipser (2ª edição) e me deparei com este exemplo, que não entendo. No livro, afirma que esse NFA aceita a string vazia, .ϵϵ\epsilon Alguém poderia me explicar por que esse é o caso? Meu entendimento é que passará para que não é um estado de aceitação.ϵϵ\epsilonq3q3q_3

9 regular-languages  finite-automata  nondeterminism