Was sind die klassischen Arbeiten aus dem rekursionstheoretischen Bereich der Komplexitätstheorie?

Zwei Papiere, die ich einschließen würde, sind:

D. Kozen, "Indexing of subrecursive classes" , STOC, 1978.
R. Ladner, "Über die Struktur der Polynomzeitreduzierbarkeit " , JACM, 1975.

— Kaveh
quelle

Dies sollte CW sein

— Suresh Venkat

Ich stimme Suresh zu. Nur um hinzuzufügen: Diese Frage könnte wahrscheinlich so umformuliert werden, dass es sich nicht um ein Community-Wiki handeln müsste (z. B. "Was soll ich lesen, wenn ich mit der Rekursionstheorie beginne?"), Sodass eine einzige Antwort ausreichen könnte. Es ist derzeit zu offen.

— Shane

Wir sollten dies als Beispiel für die FAQ verwenden

— Suresh Venkat

Hajek, P. Arithmetische Hierarchie und Komplexität der Berechnung . Theoret. Comp. Sci. 8 (2): 227-237, 1979. Beginn der Untersuchung der Komplexität von Indexmengen (wobei ihre "Komplexität" häufig irgendwo in der arithmetischen Hierarchie liegt; siehe diese Antwort auf eine andere Frage ).

Zum Studium von Polynom-Zeit-Graden (Schlagwort = "Polynom-Zeit-Grad-Theorie", für zukünftige Recherchen) würde ich sagen, dass diese Artikel von Interesse sind (einige davon basieren auf Ladners Technik):

Homer, S. Minimale Grade für Polynomreduzierbarkeiten . J. ACM 34 (2): 480-491, 1987.
Schoning, U. Minimalpaare für P . Theoret. Comp. Sci. 31: 41 & ndash; 48, 1984.
Downey, R. Nondiamond-Theoreme für die Polynomzeitreduzierbarkeit . Journal of Computer and System Sciences 45 (3): 385-195, 1992.
Downey, R. und Fortnow, L. Einheitlich harte Sprachen . Theoret. Comp. Sci. 298 (2): 303 & ndash; 315, 2003.
Fenner, S., Homer, S., Prium, R. und Schaefer, M. Hyperpolynom -Hierarchien und der Polynom-Sprung . Theoret. Comp. Sci. 262: 241 & ndash; 256, 2001.

Wahrscheinlich werden bei einer Referenzsuche in Vorwärts- und Rückwärtsrichtung mehrere Artikel in demselben Bereich gefunden (obwohl es sich nicht um einen so großen Bereich handelt!).

— Joshua Grochow
quelle