Các bài báo kinh điển từ khu vực lý thuyết đệ quy của lý thuyết phức tạp là gì?

Hai giấy tờ tôi sẽ bao gồm:

D. Kozen, "Lập chỉ mục các lớp học phụ" , STOC, 1978.
R. Ladner, "Về cấu trúc của thời gian đa thức" , JACM, 1975.

— Kaveh
nguồn

đây phải là CW

— Suresh Venkat

Tôi đồng ý với Suresh. Chỉ cần thêm: câu hỏi này có thể được trả lời theo cách mà nó không cần phải là wiki cộng đồng (ví dụ: "Tôi nên đọc gì khi bắt đầu với lý thuyết đệ quy?"), Để một câu trả lời duy nhất có thể đủ. Hiện tại nó đã quá mở.

— Shane

chúng ta nên sử dụng điều này như một ví dụ cho Câu hỏi thường gặp

— Suresh Venkat

Hajek, P. Phân cấp số học và độ phức tạp của tính toán . Định lý. Comp. Khoa học. 8 (2): 227-237, 1979. Bắt đầu nghiên cứu về độ phức tạp của các bộ chỉ số (trong đó "độ phức tạp" của chúng thường nằm ở đâu đó trong hệ thống phân cấp số học; xem câu trả lời này cho câu hỏi khác .)

Trong nghiên cứu về mức độ thời gian đa thức (buzzword = "lý thuyết mức độ thời gian đa thức", vì lợi ích của các tìm kiếm trong tương lai) tôi muốn nói rằng các bài báo này được quan tâm (một số trong số chúng dựa trên kỹ thuật của Ladner):

Homer, S. Độ tối thiểu để giảm đa thức . J. ACM 34 (2): 480-491, 1987.
Schöning, U. cặp tối thiểu cho P . Định lý. Comp. Khoa học. 31: 41-48, 1984.
Định lý Downey, R. Nondihua để giảm thời gian đa thức . Tạp chí Khoa học Máy tính và Hệ thống 45 (3): 385-195, 1992.
Downey, R. và Fortnow, L. Ngôn ngữ cứng thống nhất . Định lý. Comp. Khoa học. 298 (2): 303-315, 2003.
Fenner, S., Homer, S., Prium, R. và Schaefer, M. Hyper-polynomial phân cấp và nhảy đa thức . Định lý. Comp. Khoa học. 262: 241-256, 2001.

Có lẽ một tìm kiếm tham chiếu tiến và lùi sẽ tìm thấy nhiều bài báo hơn trong cùng một khu vực (mặc dù đó không phải là một khu vực lớn!).

— Joshua Grochow
nguồn