Ciência da Computação

13
Etapas que garantem a saída de um labirinto

Dado um labirinto bidimensional onde você pode dar 4 comandos "mover para cima / baixo / direita / esquerda". Conhecendo o labirinto, mas não onde está a pessoa, como encontrar a sequência mínima de comandos que garante a saída do labirinto? Estou procurando uma única sequência de comandos que...

12
Encontre caminhos mais curtos em um gráfico unipático pesado

Diz- se que um gráfico direcionado é unipático se, para quaisquer dois vértices uuu e no gráfico , houver no máximo um caminho simples de para .vvvG=(V,E)G=(V,E)G=(V,E)uuuvvv Suponha que eu receba um gráfico unipático modo que cada aresta tenha um peso positivo ou negativo, mas não contenha ciclos...

12
Sobre o algoritmo de redução do Codd

O algoritmo de Codd converte uma expressão no cálculo relacional da tupla em Álgebra relacional. Existe uma implementação padrão do algoritmo? Esse algoritmo é usado em algum lugar? (Parece que o setor precisa apenas de SQL e variantes, não tenho certeza sobre os teóricos de banco de dados na...

12
O que é a classe de complexidade

O que significa a classe de complexidade ? Eu sei que é a classe de complexidade que contém as linguagens para as quais existe uma máquina de Turing não determinística no tempo polinomial, de modo que se o número de estados de aceitação da máquina na entrada for ímpar.⊕P⊕P⊕P⊕P\oplus P^{\oplus...

12
Um oráculo para separar NP de coNP

Como provar que ? Estou apenas procurando por um oracle TM M e uma linguagem recursiva L ( M ) = L para a qual isso se aplica.NPA≠coNPANPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML(M)=LL(M)=LL(M) = L Eu sei que a prova de que você mostra que há um oráculo tal que P A ≠ N P A e um oráculo A tal...