Perguntas com a marcação «decidability»

Todo idioma indecidível reconhecível por Turing possui um subconjunto NP-completo? A questão poderia ser vista como uma versão mais forte do fato de que toda linguagem infinita reconhecível de Turing tem um subconjunto infinito e decidível.

9 cc.complexity-theory  np-hardness  complexity-classes  np  decidability 

Se você tem duas funções implementando um algoritmo de classificação diferente, é possível inferir pelo código-fonte que ambas possuem as mesmas propriedades externas? Significando que ambos terão uma sequência não classificada possível como entrada e uma sequência classificada como saída? De que maneira essas propriedades externas podem ser determinadas pelo …

9 pl.programming-languages  decidability  formal-methods  extensionality 

Problema: Considere um número finito de estados de controle (incluindo um estado "inicial" e "ruim"), um número finito de variáveis ​​inteiras e, para cada par de estados ordenados, uma relação de transição expressa na aritmética de Presburger. Decida se existe um invariante indutivo (= estável pelos pós-estados da relação de …

8 lo.logic  pl.programming-languages  decidability 

Resposta Aceita A resposta de Scott Aaronson foi "aceita" (principalmente porque é a única resposta!) Resumo de uma frase da resposta As generalizações plausivelmente naturais da questão P versus NP não são obviamente mais fáceis de resolver do que P versus NP em si. Uma obstrução a uma resposta geral …

8 cc.complexity-theory  decidability