Quali sono gli articoli classici dell'area teorica della ricorsione della teoria della complessità?

Due articoli che vorrei includere sono:

D. Kozen, "Indicizzazione delle classi secondarie" , STOC, 1978.
R. Ladner, "On the Structure of Polynomial Time Reducibility" , JACM, 1975.

— Kaveh
fonte

questo dovrebbe essere CW

— Suresh Venkat,

Sono d'accordo con Suresh. Solo per aggiungere: questa domanda potrebbe probabilmente essere riformulata in modo tale che non avrebbe bisogno di essere wiki della comunità (es. "Cosa dovrei leggere quando inizi con la teoria della ricorsione?"), In modo che una sola risposta possa essere sufficiente. Attualmente è troppo aperto.

— Shane,

dovremmo usarlo come esempio per le FAQ

— Suresh Venkat,

Hajek, P. Gerarchia aritmetica e complessità del calcolo . Theoret. Comp. Sci. 8 (2): 227-237, 1979. Ha iniziato lo studio delle complessità degli insiemi di indici (dove le loro "complessità" spesso si trovano da qualche parte nella gerarchia aritmetica; vedere questa risposta a un'altra domanda .)

Sullo studio dei gradi di tempo polinomiale (parola d'ordine = "teoria dei gradi di tempo polinomiale", per motivi di ricerche future) direi che questi articoli sono interessanti (molti di essi sono basati sulla tecnica di Ladner):

Omero, S. Gradi minimi per riducibilità polinomiale . J. ACM 34 (2): 480-491, 1987.
Schöning, U. coppie minime per P . Theoret. Comp. Sci. 31: 41-48, 1984.
Teoremi di Downey, R. Nondiamond per la riducibilità del tempo polinomiale . Journal of Computer and System Sciences 45 (3): 385-195, 1992.
Downey, R. e Fortnow, L. Lingue uniformemente dure . Theoret. Comp. Sci. 298 (2): 303-315, 2003.
Fenner, S., Homer, S., Prium, R. e Schaefer, M. Gerarchie iper-polinomiali e il salto polinomiale . Theoret. Comp. Sci. 262: 241-256, 2001.

Probabilmente una ricerca di riferimento avanti e indietro troverà molti altri documenti nella stessa area (anche se non è un'area così grande!).

— Joshua Grochow
fonte