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)...
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...
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⊆ Σ∗J⊆Σ∗J \subseteq \Sigma^{*}ppp| Jc∩ Σn| ≤p(n)|Jc∩Σn|≤p(n)...
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...
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?
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...
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 em G que exista um c ∈ C com distância geodésica até p no...
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 - um dia de início, , uma força de partida...
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...
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 é...
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,...
Eu vim a saber que a unidade de processamento gráfico tem algo chamado coalescência de memória. Ao ler sobre isso, não fui claro sobre o assunto. Isso está relacionado ao paralelismo no nível de memória. Pesquisei no Google, mas não consegui obter uma resposta satisfatória. Seria útil se alguém...
Diz-se que a interseção de uma linguagem livre de contexto L com uma linguagem regular M é sempre livre de contexto. Entendi a prova de construção entre produtos, mas ainda não entendo por que ela é livre de contexto, mas não regular. O idioma gerado por essa interseção possui seqüências de...
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...
Por que usamos outras bases que não são binárias (para computadores) nem decimais (para seres humanos)? Os computadores acabam representando-os em binário, e os humanos preferem fortemente obter sua representação decimal. Por que não seguir essas duas
É verdade que a consistência sequencial é uma propriedade mais forte que a coerência do cache? De acordo com Daniel Sorin; Hill, Mark D; Wood, David A: Uma cartilha sobre consistência de memória e coerência de cache , Morgan & Claypool, 2011 a consistência sequencial pode ser descrita...
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...
Ao desenvolver algoritmos na computação quântica, notei que existem dois modelos principais nos quais isso é feito. Alguns algoritmos - como para o problema da árvore Hamiltonian NAND (Farhi, Goldstone, Guttman) - trabalho de concepção de um hamiltoniano e algum estado inicial e, em seguida,...
Os solucionadores de SAT estão se tornando cada vez mais eficientes na solução de grandes instâncias e estão sendo usados como back-end em vários contextos. Toda vez que alguém deseja usá-los para resolver um problema em um domínio específico, ele / ela precisa criar uma codificação ad-hoc que...
O combinador Y tem o tipo . Pela correspondência de Curry-Howard, como o tipo é habitado, ele deve corresponder a um verdadeiro teorema. No entanto, é sempre verdadeiro, portanto parece que o tipo do combinador Y corresponde ao teorema , o que nem sempre é verdadeiro. Como isso pode ser?( a → a ) →...