RE (clase de complejidad)
En complejidad computacional, RE (abreviación de recursivamente enumerable) es la clase de complejidad conformada por aquellos problemas de decisión para los cuales una respuesta "sí" puede ser verificada por una máquina de Turing en una cantidad de tiempo finito.[1] Informalmente, esto significa que si la respuesta es "sí", entonces existe algún procedimiento que toma tiempo finito para determinarla. Por otro lado, si la respuesta es "no", la máquina podría jamás detenerse. Equivalentemente, haciendo alusión a la palabra "enumerable", RE es la clase de los problemas de decisión para los cuales una máquina de Turing puede listar todas las instancias sí, una por una.
Análogamente, co-RE es el conjunto de todos los lenguajes que son complementos de un lenguaje en RE. En un sentido, co-RE contiene lenguajes cuyos miembros pueden ser rechazados en una cantidad de tiempo finito, pero que aceptarlos podría tardar para siempre.
Cada miembro de RE es un conjunto recursivamente enumerable, y así, un conjunto diofántico.
Relaciones con otras clases editar
RE es estrictamente mayor que la clase R, y estrictamente distinto de co-RE.[2] Adicionalmente, se cumple que:
RE-completo editar
RE-completo es el conjunto de problemas de decisión que son completos para RE (en el mismo sentido que los NP-completos para NP). En cierto sentido, estos son los problemas recursivamente enumerables más "difíciles" (siguiendo la analogía, véase NP-hard). Todos estos problemas son no recursivos.
El problema de la parada es quizá el ejemplo más clásico de problema RE-completo.
co-RE-completo editar
La clase de los co-RE-completo incluye todos los problemas de decisión que son completos para co-RE.
Referencias editar
Datos: Q905621
