Nas provas e tipos de Girard , podemos ler: Do ponto de vista algorítmico, o cálculo seqüencial não possui isomorfismo de Curry-Howard, devido à multiplicidade de maneiras de escrever a mesma prova. Isso nos impede de usá-lo como um cálcio digitado , embora vislumbremos alguma estrutura profunda...
Dada uma matriz booleana X , deixe entradas representam o mar e entradas representam terra. Defina uma ilha como vertical ou horizontalmente (mas não na diagonal) entradas adjacentes .n×mn×mn \times mXX\mathrm X1 1000111111 A questão original era contar o número de ilhas em uma determinada matriz....
Muitas classes de complexidade têm problemas "completos". Existem problemas completos para a classe de complexidade dos problemas que podem ser resolvidos no tempo ?O(1)O(1)O(1) Uma complicação é que essa classe depende do modelo de computação; um problema pode ser solucionado no tempo em um...
Onde posso encontrar algum código para gerar percursos aleatórios e evitáveis em treliças bidimensionais e tridimensionais cujos comprimentos laterais são potências de dois? A caminhada deve passar por todos os pontos da treliça. Mais especificamente, como posso encontrar um caminho hamiltoniano...
Eu tenho tentado separar as definições de segurança de tipo e solidez de tipo e estou me divertindo muito. Perguntei recentemente a um professor e, depois de pensar um pouco, ele disse que realmente não havia diferença. No entanto, depois de ler isso , parece que: O Type Safety é uma propriedade...
Supondo que as arestas não sejam direcionadas, tenham peso exclusivo e nenhum caminho negativo, esses algoritmos produzem as mesmas árvores de abrangência
Uma declaração do teorema de Rice é apresentada na página 35 de "Complexidade computacional: uma abordagem moderna" (Arora-Barak): Uma função parcial a partir de { 0 , 1 }∗{0 0,1 1}∗\{0,1\}^* a { 0 , 1 }∗{0 0,1 1}∗\{0,1\}^* é uma função que não está necessariamente definido em todas as suas...
Estou trabalhando em um problema relacionado aos quadrados latinos e quero um método para o que se resume basicamente ao problema de decisão: Entrada : Um gráfico finito e simples G. Saída : YESse G tiver um automorfismo não trivial, NOcaso contrário. Conseqüentemente... Pergunta : Existe um...
Eu vejo muitos problemas algorítmicos que sempre reduzem a algo longo as linhas de: Você tem uma matriz inteira h[1..n]≥0h[1..n]≥0h[1..n]\geq 0 , precisa encontrar i,ji,ji,j tal que maximize (h[j]−h[i])(j−i)(h[j]−h[i])(j−i)(h[j]-h[i])(j-i) em O(n)O(n)O(n) tempo. Obviamente, a solução do tempo de...
Acabei de descobrir recentemente sobre o KRR (representação e raciocínio do conhecimento) e o ASP, não ouvindo nada sobre eles antes (exceto um pouco sobre prólogo). Eu li um pouco sobre eles e um de seus principais usos parece ser AIs. Minha pergunta seria o quão amplamente utilizado é o ASP ou...
O problema é provar ou refutar a existência de CCC , st, | c | =6,∀c∈C|c|=6,∀c∈C|c| = 6,\forall c\in C ; | C| =32|C|=32|C| = 32 ; d( cEu, cj) ≥ 2 , 1 ≤ i < j ≤ 32d(ci,cj)≥2,1≤i<j≤32d(c_i,c_j)\geq2,1\leq
Me deparei com esse problema e estou lutando para encontrar uma maneira de abordá-lo. Qualquer pensamento seria muito apreciado! Suponha que recebamos uma matriz , por exemplo,{−1,0,1}n × k{−1,0,1}n × k\{-1, 0, 1\}^{n\ \times\ k}
Existem várias anotações , como ou e assim por diante. Fiquei me perguntando, se existem variações daquelas na realidade, como ou , ou se são matematicamente incorretas.OOOO(n)O(n)O(n)O(n2)O(n2)O(n^2)O(2n2)O(2n2)O(2n^2)O(logn2)O(logn2)O(\log n^2) Ou seria correto dizer que é possível melhorar um...
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...
É 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 inicial....
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...
Em um vídeo discutindo os méritos dos filtros de partículas para localização, estava implícito que há alguma ambiguidade sobre o custo de complexidade das implementações de filtros de partículas. Isso está correto? Alguém poderia explicar
Estou trabalhando em um analisador para uma linguagem no estilo C e, para esse analisador, preciso da expressão regular que corresponda ao estilo C / ** / comentários. Agora, encontrei esta expressão na web: /\*([^\*]*\*+[^\*/])*([^\*]*\*+|[^\*]*\*/ No entanto, como você pode ver, essa é uma...
Estou aprendendo programação em ML (OCaml), e anteriormente perguntei sobre as funções de ML do tipo'a -> 'b . Agora eu tenho experimentado um pouco com funções do tipo 'a list -> 'b list. Existem alguns exemplos simples óbvios: let rec loop l = loop l let return_empty l = [] let rec...
Esta é uma questão de acompanhamento deste . Em uma pergunta anterior sobre máquinas de estado exóticas , Alex ten Brink e Raphael abordaram os recursos computacionais de um tipo peculiar de máquina de estado: autômatos de min-heap. Eles conseguiram mostrar que o conjunto de idiomas aceitos por...