부분 결과원문 확인
Algebraic methods for interactive proof systemsCarsten Lund, Lance Fortnow, Howard Karloff, Noam Nisan · 1992Journal of the ACM 39(4), 859–868쪽 (1992) · 학회 발표 FOCS 1990 (31st Annual Symposium on Foundations of Computer Science), 2–10쪽대화형 증명을 짓는 대수적 기법(산술화)을 도입해 다항 위계의 모든 문제가 대화형 증명을 가짐을 보인 논문이다. IP = PSPACE 와 PCP 정리로 이어지는 흐름의 출발점이다. 산술화가 어떻게 상대화 장벽을 넘는지 원문으로 보려는 독자에게 권한다. 공저자 Fortnow 의 누리집에 있는 공개본으로 연결한다.
확인:저자 공개본을 열어 초록과 서론을 읽음.원문 주소 (lance.fortnow.com)이 카드를 붙인 자료 4