Які класичні статті з теорії теорії складності теорії рекурсії?

Я б включив два документи:

Д. Козен, "Індексація субрекурсивних класів" , STOC, 1978.
Р. Ладнер, "Про структуру скорочення поліноміального часу" , JACM, 1975.

— Kaveh
джерело

це має бути CW

— Суреш Венкат,

Я згоден із Сурешем. Додамо лише: це питання, можливо, можна перефразувати таким чином, що не потрібно мати вікі спільноти (наприклад, "Що я повинен читати, починаючи з теорії рекурсії?"), Таким, щоб однозначної відповіді було достатньо. Наразі це занадто відкрито.

— Шейн

ми повинні використати це як приклад для поширених запитань

— Суреш Венкат,

Гаек, П. Арифметична ієрархія та складність обчислення . Теорет. Склад. Наук. 8 (2): 227-237, 1979 р. Розпочав дослідження складності наборів індексів (де їх "складності" часто лежать десь у арифметичній ієрархії; див. Цю відповідь на інше запитання .)

Щодо вивчення ступенів многочленного часу (buzzword = "теорія ступеня поліноміального часу", заради майбутніх пошуків), я б сказав, що ці статті представляють інтерес (кілька з них базуються на техніці Ладнера):

Гомер, С. Мінімальні ступені для поліноміальних скорочень . J. ACM 34 (2): 480-491, 1987.
Schöning, U. Мінімальні пари для P . Теорет. Склад. Наук. 31: 41-48, 1984.
Дауні, Р. Нондіамантові теореми про скорочення поліноміального часу . Журнал комп'ютерних та системних наук 45 (3): 385-195, 1992.
Дауні, Р. і Фортноу, Л. жорсткі мови . Теорет. Склад. Наук. 298 (2): 303-315, 2003.
Fenner, S., Homer, S., Prium, R. and Schaefer, M. ієрархії та поліномний стрибок . Теорет. Склад. Наук. 262: 241–256, 2001.

Ймовірно, пошук в прямому і зворотному напрямку знайде ще кілька паперів у тій самій області (хоча це не така велика область!).

— Джошуа Грохов
джерело