PCP (計算複雑性理論)
計算複雑性理論における PCP とは、確率的検査可能証明(probabilistically checkable proof)系を持つ決定問題の複雑性クラスである。