장벽서지만 확인
Relative to a Random Oracle A, P^A ≠ NP^A ≠ co-NP^A with Probability 1C. H. Bennett, J. Gill · 1981SIAM Journal on Computing 10(1), 96–113쪽 (1981)오라클을 무작위로 골라도 확률 1 로 P 와 NP 가 갈림을 보인 논문이다. Baker–Gill–Solovay 정리의 후속 결과로, 2-2 의 상대화 글이 인용한다. SIAM 페이지로 연결된다.
확인:원문은 확인하지 못함. 서지는 DOI 등록 기록으로 확인.