¿Cuáles son los trabajos clásicos del área teórica de recursión de la teoría de la complejidad?

Dos documentos que incluiría son:

D. Kozen, "Indización de clases subrecursivas" , STOC, 1978.
R. Ladner, "Sobre la estructura de la reducibilidad del tiempo polinomial" , JACM, 1975.

— Kaveh
fuente

esto debería ser CW

— Suresh Venkat

Estoy de acuerdo con Suresh. Solo para agregar: esta pregunta probablemente podría reformularse de tal manera que no sea necesario que sea un wiki de la comunidad (por ejemplo, "¿Qué debería leer al comenzar con la teoría de la recursión?"), De modo que una sola respuesta podría ser suficiente. Actualmente es demasiado abierto.

— Shane

deberíamos usar esto como ejemplo para las preguntas frecuentes

— Suresh Venkat

Hajek, P. Jerarquía aritmética y complejidad de la computación . Theoret Comp. Sci. 8 (2): 227-237, 1979. Comenzó el estudio de las complejidades de los conjuntos de índices (donde sus "complejidades" a menudo se encuentran en algún lugar de la jerarquía aritmética; consulte esta respuesta a otra pregunta ).

En el estudio de los grados de tiempo polinomial (palabra de moda = "teoría del grado de tiempo polinomial", en aras de futuras búsquedas), diría que estos documentos son de interés (varios de ellos se basan en la técnica de Ladner):

Homero, S. Grados mínimos para reducibilidades polinómicas . J. ACM 34 (2): 480-491, 1987.
Schøning, U. Los pares mínimos para P . Theoret Comp. Sci. 31: 41-48, 1984.
Downey, R. Teoremas de Nondiamond para la reducibilidad del tiempo polinomial . Journal of Computer and System Sciences 45 (3): 385-195, 1992.
Downey, R. y Fortnow, L. Lenguas uniformemente duras . Theoret Comp. Sci. 298 (2): 303-315, 2003.
Fenner, S., Homer, S., Prium, R. y Schaefer, M. Jerarquías hiperpolinomiales y el salto polinomial . Theoret Comp. Sci. 262: 241-256, 2001.

Probablemente, una búsqueda de referencia hacia adelante y hacia atrás encontrará varios documentos más en la misma área (¡aunque no es un área tan grande!).

— revs Joshua Grochow
fuente