Preguntas etiquetadas con decidability

¿Cada lenguaje indecidible reconocible de Turing tiene un subconjunto NP-completo? La pregunta podría verse como una versión más fuerte del hecho de que cada lenguaje infinito reconocible de Turing tiene un subconjunto infinito decidible.

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

Si tiene dos funciones que implementan un algoritmo de clasificación diferente, ¿es posible inferir por código fuente que ambas tienen las mismas propiedades externas? ¿Significa que ambos tendrán una posible secuencia sin clasificar como entrada y tendrán una secuencia ordenada como salida? ¿De qué manera el código fuente podría determinar …

9 pl.programming-languages  decidability  formal-methods  extensionality 

Problema: Considere un número finito de estados de control (incluyendo un estado "inicial" y un estado "malo"), un número finito de variables enteras y para cada par ordenado de estados una relación de transición expresada en aritmética de Presburger. Decida si existe una invariante inductiva (= estable por los estados …

8 lo.logic  pl.programming-languages  decidability 

Respuesta aceptada La respuesta de Scott Aaronson ha sido "aceptada" (¡principalmente porque es la única respuesta!) Resumen de respuesta de una oración Las generalizaciones plausiblemente naturales de la pregunta P versus NP no son obviamente más fáciles de resolver que P versus NP en sí. Una obstrucción a una respuesta …

8 cc.complexity-theory  decidability