접근서지만 확인
Completeness Classes in AlgebraLeslie G. Valiant · 1979STOC 1979 (Proceedings of the 11th Annual ACM Symposium on Theory of Computing), 249–261쪽산술 회로 모델에서 P 와 NP 에 대응하는 클래스(VP·VNP)를 세우고 퍼머넌트가 VNP-완전임을 보인 논문이다. VP ≠ VNP 추측(Valiant 의 추측)의 원전으로, P 대 NP 의 대수적 닮은꼴이다. 1-1 의 「여러 얼굴」 글이 인용한다. ACM 디지털 도서관으로 연결된다.
확인:논문 본문은 열지 못함. 서지는 Crossref 의 DOI 등록 기록으로, 내용은 Bürgisser 2024 의 개관과 Aaronson 2017 §6.5.1 로 확인.