장벽서지만 확인
Are There Interactive Protocols for co-NP Languages?L. Fortnow, M. Sipser · 1988Information Processing Letters 28(5), 249–251쪽 (1988)coNP 가 IP 에 들어가지 않게 되는 오라클을 만든 논문이다. coNP 문제를 위한 대화형 증명은 상대화하는 기법으로는 찾을 수 없다는 뜻이다. 뒤에 증명된 IP = PSPACE 가 상대화하지 않는 결과임을 보여 주는 근거로, 2-2 의 상대화 글과 2-4 의 IP = PSPACE 글이 인용한다.
확인:게시자 누리집이 자동 접속을 막아 원문을 열지 못함. 서지는 Crossref 의 DOI 등록 기록으로, 내용은 Aaronson 2017 §6.3.1 로 확인.