부분 결과서지만 확인
Cook's versus Valiant's HypothesisPeter Bürgisser · 2000Theoretical Computer Science 235(1), 71–88쪽 (2000)Valiant 의 추측이 틀리면 NP ⊆ P/poly 가 따라 나옴을 보인 논문이다(표수 0 인 체에서는 일반화 리만 가설을 가정한다). 퍼머넌트 대 행렬식 문제가 P 대 NP 의 「산술판 예행연습」으로 여겨지는 근거다. 1-1 의 「여러 얼굴」 글과 2-3 의 GCT 글이 인용한다.
확인:논문 본문은 열지 못함. 서지는 Crossref 의 DOI 등록 기록으로, 내용은 Aaronson 2017 §6.5.1 로 확인.