장벽원문 확인
The Role of Relativization in Complexity TheoryLance Fortnow · 1994Bulletin of the EATCS 52 (1994년 2월), 229–244쪽 — Computational Complexity Column복잡도 이론가들이 오라클 결과를 어떻게 쓰고 또 잘못 쓰는지를 따져 본 글이다. IP = PSPACE 같은 상대화되지 않는 결과가 나온 뒤 상대화의 의미를 다시 묻는 글로, 대화형 증명 결과가 왜 상대화되지 않는지를 설명한다. 2-2 의 상대화 장벽을 「그래서 오라클 결과를 어떻게 읽어야 하나」까지 넓혀 쓰려는 사람에게 맞다.
확인:저자 공개본 PDF 를 열어 제목·저자·초록을 읽었고, 권·쪽은 저자가 공개한 출판 목록(BibTeX)으로 확인했다.