부분 결과서지만 확인
A complexity theoretic approach to randomnessMichael Sipser · 1983STOC 1983 (Proceedings of the 15th Annual ACM Symposium on Theory of Computing), 330–335쪽BPP 가 다항 위계 안에 들어 있음을 보인 논문으로 널리 인용된다. lautemann-1983 과 묶어 Sipser–Gács–Lautemann 정리의 출전으로 적는다. P = NP 이면 다항 위계가 무너지므로 BPP 도 P 와 같아진다는 귀결을 말할 때 근거가 된다.
확인:Crossref 의 DOI 등록 기록으로 제목·저자·학회·쪽을 확인했다(본문은 열지 못함).