Karmaşıklık teorisinin özyineleme teorik alanından klasik makaleler nelerdir?

Ekleyeceğim iki makale:

D. Kozen, "Subremursif sınıfların indekslenmesi" , STOC, 1978.
R. Ladner, "Polinom Zaman İndirgenebilirliğinin Yapısı Üzerine" , JACM, 1975.

— Kaveh
kaynak

bu CW olmalıdır

— Suresh Venkat

Suresh ile aynı fikirdeyim. Sadece eklemek için: bu soru muhtemelen topluluk wiki'si olmayacak şekilde (örneğin, özyineleme teorisiyle başlarken ne okumalıyım? ”), Yani tek bir cevap yeterli olabilir. Şu anda çok açık uçlu.

— Shane

bunu SSS için örnek olarak kullanmalıyız

— Suresh Venkat

Hajek, P. Aritmetik hiyerarşi ve hesaplamanın karmaşıklığı . Theoret. Zorunlu. Sci. 8 (2): 227-237, 1979. indeks setlerinin karmaşık çalışma başladı (onların "karmaşıklıklar" çoğu zaman aritmetik hiyerarşisinde bir yere yalan; bkz bu cevabı için başka bir soru .)

Polinom-zaman dereceleri (buzzword = "polinom-zaman derecesi teorisi", gelecekteki araştırmalar uğruna) çalışmasında, bu makalelerin ilgi çekici olduğunu söyleyebilirim (bazıları Ladner'ın tekniğine dayanmaktadır):

Homer, S. Polinom indirgenmeleri için minimum dereceler . J. ACM 34 (2): 480-491, 1987.
Schöning, U. P için minimal çiftler . Theoret. Zorunlu. Sci. 31: 41-48,1984.
Downey, R. Polinom zaman indirgenebilirliği için Nondiamond teoremleri . Bilgisayar ve Sistem Bilimleri Dergisi 45 (3): 385-195, 1992.
Downey, R. ve Fortnow, L. Düzgün sert diller . Theoret. Zorunlu. Sci. 298 (2): 303-315,2003.
Fenner, S., Homer, S., Prium, R. ve Schaefer, M. Hiper-polinom hiyerarşileri ve polinom sıçraması . Theoret. Zorunlu. Sci. 262: 241-256,2001.

Muhtemelen ileri ve geri referans araması aynı alanda birkaç kağıt daha bulacaktır (bu kadar büyük bir alan olmasa da!).

— Joshua Grochow
kaynak