양자서지만 확인
Oracle Separation of BQP and PHRan Raz, Avishay Tal · 2019STOC 2019 (Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing), 13–23쪽 · 학술지판 Journal of the ACM 69(4), 2022 (같은 제목 · 논문별 쪽 1–21)BQP 가 다항 위계에 들지 않게 되는 오라클이 있음을 보인 논문이다. 양자 계산이 NP 는 물론 다항 위계 전체로도 흉내 낼 수 없는 일을 할 수 있다는 상대화된 증거다. 오라클 결과이므로 오라클 없는 세계에 대한 증명은 아니라는 점(2-2)을 함께 적어야 한다.
확인:학회판과 학술지판(DOI 10.1145/3530258) 모두 Crossref 등록 기록으로 확인하고 학술지판 기록의 초록을 읽었다.