Ciência da Computação

Minhas árvores estão enraizadas e têm no máximo dois filhos em cada vértice. Preciso de referências que me ajudem a resolver uma ou todas as perguntas abaixo: Quantas classes de isomorfismo de árvores com n vértices existem? Quais são os algoritmos clássicos para decidir se duas árvores dadas são isomórficas? …

7 algorithms  graph-theory  reference-request  combinatorics  trees 

ALLALL\text{ALL} é literalmente a classe de todos os idiomas. Existem problemas completos? Ou seja, existem problemas para os quais uma solução permitiria resolver qualquer problema? Tais problemas poderiam razoavelmente ser considerados "os problemas mais difíceis, exceto nenhum".ALLALL\text{ALL} Um desses problemas parece ser: dado um problema e um tamanho de entrada, …

7 undecidability 

Alguém conseguiu implementar ou projetar um sistema de tipos que combina o tipo de estado (tipos lineares) e os tipos de efeito (por exemplo, Koka )?

7 reference-request  type-theory 

Então, eu estava lendo sobre o ZKP na wikipedia , o exemplo abstrato em resumo é assim: Peggy quer provar a Victor que conhece o segredo de uma porta dentro de uma caverna que conecta A e B (veja o diagrama) sem revelar a palavra secreta a Victor. Peggy leva …

7 algorithms  cryptography  security  authentication 

Os algoritmos podem ser inconscientes ou inconscientes, mas qual é a diferença real entre os dois?

7 algorithms  complexity-theory  sorting 

(Espero que isso não tenha sido solicitado antes, mas não encontrei nada.) No meu entendimento, o não determinismo se aplica apenas a problemas de decisão, devido à exigência da existência de um caminho de aceitação . Na Wikipedia, a classeNPNPNP-easy é definido como solucionável em poltime determinístico, com acesso a …

7 turing-machines  computation-models  nondeterminism 

No livro de Lance Fortnow, The Golden Ticket , ele menciona que uma vez que você tenha um algoritmo de tempo polinomial para um problema completo de NP, poderá usá-lo para encontrar um algoritmo mais rápido. Você pode me dizer como isso é feito? E uma vez feito isso, você …

7 algorithms  np-complete  p-vs-np  sat-solvers 

Eu nunca usei um depurador que pode executar um programa para trás, mas gostaria. Agora, pergunto-me se há muita evidência e teoria sobre programação executável reversa, quando e por que um programa pode ser executado inversamente ou quando e por que não? Intuitivamente, acho que o computador deve ser capaz …

7 automata  programming-languages 

De Simon Peyton Jones (recente membro da Royal Society), lemos o artigo: Implementando linguagens funcionais preguiçosas no hardware de estoque: a G-Machine Spineless Tagless . Agora, este artigo é parte de como eles fizeram do Haskell uma linguagem preguiçosa quando a estavam implementando e resolveram alguns problemas que eles tinham …

7 compilers 

Eu tenho tentado encontrar um algoritmo para listar todas as árvores binárias de uma determinada altura hhh. Observe que não estou tentando contá-las: o número dessas árvores é fornecido no OEIS ( A001699 ). Todos os algoritmos que eu pude ver listam todas as árvores binárias para um determinado número …

7 algorithms  binary-trees  enumeration 

Recentemente, estou lendo um documento [1]. Neste documento, o Prof. Cook fornece uma breve prova deP⊆NPP⊆NP\mathbf{P} \subseteq \mathbf{NP}, que é apenas uma frase: É trivial mostrar que P⊆NPP⊆NP\mathbf{P} \subseteq \mathbf{NP}, já que para cada idioma LLL sobre ΣΣ\Sigma, E se L∈PL∈PL \in \mathbf{P} então podemos definir a relação de verificação …

7 complexity-theory  np 

Este documento http://www.mountainvistasoft.com/docs/BattleshipsAsDecidabilityProblem.pdf diz que o problema de decisão "Dado um quebra-cabeça específico, existe uma solução?" é NP-completo. Não entendo por que isso não pode ser feito em tempo polinomial. Dadas as restrições de que dois navios não podem ser ortogonais ou diagonalmente adjacentes, por que não criar uma grade …

7 np-complete  np-hard 

Estou menos interessado em idiomas em que você pode escrever quase tudo, mas depois é necessário escrever uma prova de que o que você escreveu termina. Estou mais interessado no espaço de design de linguagens inerentemente confinadas a determinadas classes de complexidade por construção. Existe algum tipo de hierarquia teórica …

7 programming-languages  termination 

Vai L={a∗b∗}L={a∗b∗}L = \{a^* b^*\} ser classificado como um idioma regular? Estou confuso porque sei que L={anbn}L={anbn}L = \{a^n b^n\}não é regular. Que diferença faz a estrela kleene?

7 formal-languages  regular-languages  kleene-star 

Eu tenho procurado uma linguagem prototípica para linguagens recursivas (decidíveis) que não seja sensível ao contexto sem sucesso. Por exemplo, é prototípico de linguagens regulares, para linguagens livres de contexto e para linguagens sensíveis ao contexto. Eu costumo considerar a linguagem que é aceita por uma máquina universal de Turing …

7 formal-languages  turing-machines  context-sensitive