부분 결과서지만 확인
PP is as Hard as the Polynomial-Time HierarchySeinosuke Toda · 1991SIAM Journal on Computing 20(5), 865–877쪽 (1991) · 학회 발표 FOCS 1989 (30th Annual Symposium on Foundations of Computer Science), 514–519쪽 — 학회판 제목은 「On the computational power of PP and ⊕P」다항 위계의 모든 문제가 PP 에 속한 문제 하나로 다항 시간 튜링 환산됨을 보인, Toda 정리의 출전이다. 세기(#P·PP)가 양화사를 유한 번 번갈아 쓰는 것 전부보다 약하지 않다는 뜻이다. PP 나 ⊕P 가 다항 위계 안에 들어가면 위계가 무너진다는 귀결도 초록에 적혀 있다. 세기 문제의 힘을 인용하는 글에 필요하다.
확인:학술지판과 학회판 모두 Crossref 의 DOI 등록 기록으로 확인하고 학술지판 기록의 초록을 읽었다.