Quais são os trabalhos clássicos da área teórica da recursão da teoria da complexidade?

Dois artigos que eu incluiria são:

D. Kozen, "Indexação de classes sub-recursivas" , STOC, 1978.
R. Ladner, "Sobre a estrutura da redutibilidade do tempo polinomial" , JACM, 1975.

cc.complexity-theory lo.logic computability big-list structural-complexity Kaveh
fonte

esse deve ser o CW

Suresh Venkat

Eu concordo com Suresh. Apenas para acrescentar: essa pergunta provavelmente poderia ser reformulada de tal forma que não precisaria ser um wiki da comunidade (por exemplo, "O que devo ler ao iniciar a teoria da recursão?"), De modo que uma única resposta seja suficiente. Atualmente, é muito aberto.

Shane

devemos usar isso como um exemplo para o FAQ

Suresh Venkat

Respostas:

Hajek, P. Hierarquia aritmética e complexidade da computação . Theoret. Comp. Sci. 8 (2): 227-237, 1979. Iniciou o estudo das complexidades dos conjuntos de índices (onde suas "complexidades" geralmente se encontram em algum lugar da hierarquia aritmética; veja esta resposta para outra pergunta ).

No estudo dos graus de tempo polinomial (palavra-chave = "teoria dos graus de tempo polinomial", para fins de pesquisas futuras), eu diria que esses trabalhos são de interesse (vários deles são baseados na técnica de Ladner):

Homer, S. Graus mínimos para reducibilidades polinomiais . J. ACM 34 (2): 480-491, 1987.
SCHÖNING, U. pares mínimos para P . Theoret. Comp. Sci. 31: 41-48, 1984.
Downey, teoremas de R. Nondiamond para redução do tempo polinomial . Journal of Computer and System Sciences 45 (3): 385-195, 1992.
Downey, R. e Fortnow, L. Linguagens uniformemente difíceis . Theoret. Comp. Sci. 298 (2): 303-315, 2003.
Fenner, S., Homer, S., Prium, R. e Schaefer, M. Hierarquias hiper-polinomiais e o salto polinomial . Theoret. Comp. Sci. 262: 241-256, 2001.

Provavelmente, uma pesquisa de referência para frente e para trás encontrará vários outros artigos na mesma área (embora não seja uma área tão grande!).

Joshua Grochow
fonte