부분 결과서지만 확인
Some Connections between Nonuniform and Uniform Complexity ClassesRichard M. Karp, Richard J. Lipton · 1980STOC 1980 (Proceedings of the 12th Annual ACM Symposium on Theory of Computing), 302–309쪽NP 가 다항 크기 회로를 가진다면 다항 위계가 둘째 층으로 무너짐을 보인 논문이다. NP ⊄ P/poly 와 P ≠ NP 를 잇는 가장 가까운 결과(Karp–Lipton 정리)의 원전이다. 1-1 의 「여러 얼굴」 글과 2-3 의 회로 하한 글이 인용한다.
확인:논문 본문은 열지 못함. 서지는 Crossref 의 DOI 등록 기록으로, 정리의 진술은 Aaronson 2017 정리 26 과 Arora–Barak 공개 초고 정리 6.13 으로 확인.