장벽미확인
Relativizing versus Nonrelativizing Techniques: The Role of Local CheckabilityS. Arora, R. Impagliazzo, U. Vazirani · 1992미출간 원고 (1992)상대화 장벽을 논리의 말로 다시 풀려 한 1992년의 미출간 원고다. Aaronson 의 소개에 따르면, 상대화하는 증명을 복잡도 클래스를 몇 가지 공리로만 아는 증명으로 보고 P ≠ NP 가 그 공리들로부터 독립임을 논한다. 2-2 의 상대화 글이 인용한다. 원고의 주소를 확인하지 못해 링크가 없다.
확인:원고를 열지 못했고 주소도 확인하지 못함. 서지와 내용은 Aaronson 2017 의 참고문헌 목록과 §6.1.2 의 소개로만 적음.이 카드를 붙인 자료 1