부분 결과서지만 확인
On the Structure of Polynomial Time ReducibilityRichard E. Ladner · 1975Journal of the ACM 22(1), 155–171쪽 (1975)P ≠ NP 라면 P 에도 속하지 않고 NP-완전도 아닌 NP 문제가 반드시 있음을 증명한 논문이다. NP-중간이라는 개념의 근거가 되는 정리의 원전이다. 복잡도 이론 교과서에서 래드너의 정리를 먼저 읽고 원문을 찾는 독자에게 맞다. ACM 디지털 도서관으로 연결된다.
확인:게시자 누리집이 자동 접속을 막아 원문을 열지 못함. 서지는 Crossref 의 DOI 등록 기록으로, 정리의 진술은 Aaronson 2017 정리 5 와 Arora–Barak 공개 초고 정리 3.4 로 확인.