PCP定理

計算量理論という計算機の理論的な限界を追求する理論における最も重要な定理の一つとしてPCP定理という定理が知られています. このシリーズではPCP定理とその証明を解説していきます.