Ciência da Computação

O teorema de Galois efetivamente diz que não se pode expressar as raízes de um polinômio de grau> = 5 usando funções racionais de coeficientes e radicais - não se pode ler que se está dizendo que, dado um polinômio, não há algoritmo determinístico para encontrar as raízes? Agora considere …

16 complexity-theory  np-complete  np  polynomials 

Quando analisamos o modelo do ator e os processos sequenciais de comunicação , vemos que ambos estão tentando fazer simultaneidade com base na passagem de mensagens , mas são distintos . (Nós vemos implementações do modelo CSP no go-lang 's goroutines (e do Clojure core.async ) eo Modelo Ator em …

16 concurrency  message-passing 

Esta pergunta é sobre uma abordagem aos oponentes de computador que eu criei e que estão sendo usados ​​atualmente ou planejamos ser usados ​​em vários jogos de computador. fundo No ano passado, ao tentar melhorar um oponente de computador para um jogo chamado "Minesweeper Flags" (breve descrição: Uma versão multiplayer …

16 algorithms  artificial-intelligence  computer-games 

Ao usar A * (ou qualquer outro algoritmo de melhor localização de caminho), dizemos que a heurística usada deve ser admissível , ou seja, nunca deve superestimar o comprimento (ou os movimentos) reais do caminho da solução. Como uma heurística admissível garante uma solução ideal? De preferência, estou procurando uma …

16 algorithms  artificial-intelligence  search-algorithms  heuristics 

Recentemente, eu aprendi sobre a existência dessa memória temporal hierárquica (HTM) . Eu já li o documento Memória Temporal Hierárquica: Conceitos, Teoria e Terminologia (de Jeff Hawkins e Dileep George), que parece bastante fácil de entender, mas uma bandeira vermelha é que o documento não é revisado por pares nem …

16 neural-networks  hierarchical-temporal-memory 

Gostaria de criar um sistema online de aprendizado de máquina baseado na Web, no qual os usuários possam adicionar continuamente amostras classificadas e atualizar o modelo online. Eu gostaria de usar um perceptron ou um algoritmo de aprendizado on-line semelhante. Mas, os usuários podem cometer erros e inserir exemplos irrelevantes. …

16 machine-learning  online-algorithms 

Dado é um gráfico planar e deixe G denotar sua incorporação no plano em que cada aresta tem comprimento 1 . I têm, além disso, um conjunto C de pontos, em que cada ponto c ∈ C está contido na L . Além disso, é válido para qualquer ponto p …

16 algorithms  graph-theory  set-cover 

Considere a seguinte pergunta da rodada 1C do Google Code Jam : A Grande Muralha da China começa como uma linha infinita, onde a altura em todos os locais é .0 00 00 Algum número de tribos , atacará a parede a parede de acordo com os seguintes parâmetros - …

16 algorithms  data-structures  binary-trees 

Eu usei o FSM em projetos de circuitos sequenciais digitais. Mas não estou familiarizado com o Finite Automata. Alguém pode me ajudar a entender a diferença "básica" entre os dois?

16 terminology  automata  finite-automata 

Uma pergunta comum da entrevista é fornecer um algoritmo para determinar se uma árvore binária é equilibrada em altura (definição de árvore AVL). Eu queria saber se podemos fazer algo semelhante com árvores vermelho-pretas. Dada uma árvore binária arbitrária e sem cor (com nós NULL), existe um algoritmo "rápido" que …

16 algorithms  data-structures  binary-trees  search-trees 

Em muitas discussões sobre heap binário, normalmente apenas a tecla de diminuição é listada como operação suportada para um min-heap. Por exemplo, o capítulo 6.1 do CLR e esta página da Wikipedia . Por que a chave de aumento normalmente não está listada para min-heap? Imagino que seja possível fazer …

16 algorithms  data-structures  heaps  priority-queues 

Dizemos que a linguagem é densa se existir um polinômio tal que para todos osEm outras palavras, para um dado comprimento , existem apenas polinomialmente muitas palavras de comprimento que não estão em p | J c ∩ Σ n | ≤ p ( n ) n ∈ N .J⊆ …

16 complexity-theory  time-complexity  np-complete  satisfiability 

Gostaria de saber se isso é possível, já que . Portanto, um PDA que pode distinguir uma palavra do resto de pode aceitá-la , o que me parece contraditório. w ∈ { um n b n c n | n ≥ 0 } { um * b * c * …

16 formal-languages  automata  context-free  pushdown-automata 

Nesta questão, consideramos apenas máquinas de Turing que param em todas as entradas. Se , em , denotamos a máquina de Turing cujo código é .T k kk∈Nk∈Nk \in \mathbb{N}TkTkT_kkkk Considere a seguinte função s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y) = \min\{k \mid |L(T_k) \cap \{x,y\}| = 1\} Em outras palavras, s(x,y)s(x,y)s(x,y) é o código …

16 computability  turing-machines 

Eu tenho alguns objetos com prioridade que é do tipo composto e é apenas parcialmente ordenada . Eu preciso selecionar os objetos na ordem desta prioridade (ou seja, produzir itens mínimos a cada vez). Mas, em vez de concluir arbitrariamente o pedido, eu preferiria que a fila fosse estável, no …

16 data-structures  priority-queues