บทความคลาสสิคจากทฤษฎีการเรียกซ้ำของทฤษฎีความซับซ้อนมีอะไรบ้าง

สองเอกสารที่ฉันจะรวมคือ:

1. D. Kozen, "การจัดทำดัชนีของคลาสย่อย" , STOC, 1978

2. ร. Ladner, "ในโครงสร้างของการลดเวลาพหุนาม" , JACM, 1975

Hajek, P. ลำดับชั้นคณิตศาสตร์และความซับซ้อนของการคำนวณ Theoret คอมพ์ วิทย์ 8 (2): 227-237 1979 เริ่มต้นการศึกษาของความซับซ้อนของชุดดัชนี (ที่ "ซับซ้อน" ของพวกเขามักจะอยู่ที่ไหนสักแห่งในลำดับชั้นของคณิตศาสตร์ดูคำตอบนี้ไปคำถามอื่น .)

จากการศึกษาองศาพหุนาม - เวลา (buzzword = "ทฤษฎีองศาพหุนาม - เวลา" เพื่อประโยชน์ในการค้นหาในอนาคต) ฉันจะบอกว่าเอกสารเหล่านี้มีความน่าสนใจ (หลายคนขึ้นกับเทคนิคของ Ladner):

• โฮเมอร์เอสองศาน้อยที่สุดสำหรับ reducibilities J. ACM 34 (2): 480-491, 1987
• Schöning, U. คู่น้อยที่สุดสำหรับ P Theoret คอมพ์ วิทย์ 31: 41-48, 1984
• ดาวนีย์, อาร์Nondiamond theorems สำหรับ reducibility วารสารคอมพิวเตอร์และวิทยาศาสตร์ระบบ 45 (3): 385-195, 1992
• Downey, R. และ Fortnow, L. ภาษาที่ยากเหมือนกัน Theoret คอมพ์ วิทย์ 298 (2): 303-315, 2003
• Fenner เอสโฮเมอร์เอส Prium หม่อมราชวงศ์และ Schaefer, M. วรรณะ Hyper-พหุนามและกระโดดพหุนาม Theoret คอมพ์ วิทย์ 262: 241-256, 2001

อาจเป็นการค้นหาแบบอ้างอิงไปข้างหน้าและข้างหลังจะพบว่ามีเอกสารอีกหลายฉบับในพื้นที่เดียวกัน (แม้ว่ามันจะไม่ใช่พื้นที่ขนาดใหญ่!)