Idiomas como son bajo muchas reducciones. Es trivial ver que tiene problemas completos. S. Schmitz [1] considera algunas clases entre y . Presentan problemas completos para estas clases bajo reducciones específicamente diseñadas.
¿Existen problemas completos para (también conocido como ) en relación con reducciones más débiles? Las reducciones de Turing son inapropiadas porque son capaces de hacer todo el trabajo. ¿Deberíamos esperar que tales reducciones sean artificiales o no ( por ejemplo , reducciones de muchos que están restringidas a la recursividad primitiva)?
[1] Sylvain Schmitz Complex Jierarchies Beyond Elementary 2013 http://arxiv.org/abs/1312.5686
Respuestas:
Generalmente, una clase que tiene un problema completo bajo una buena clase de reducciones implica que la clase puede ser enumerada.R no es computablemente enumerable, por lo tanto, no tiene un problema completo con respecto a una buena clase de reducciones.
Aquí está el argumento:
Supongamos que hay un problema completo de R . Por lo tanto, para cualquier problema en R se puede obtener de una reducción (digamos tiempo polinómico many-uno reducciones) en combinación con una . Podemos enumerar de manera computacional las reducciones, por lo tanto, podemos enumerar R de manera computacional . Pero RA R R A R R no es computablemente enumerable (de lo contrario podríamos diagonalizar).
En la literatura, busque el conjunto de funciones recursivas / computables totales .
fuente