Boolean satisfiability problem
PCP アルゴリズムの多くは明確に説明するのが困難だが、3CNFSAT のための単純なアルゴリズムの考え方をここで解説する。3CNFSAT とは、各節に必ず3つのリテラルがある連言標準形（CNF）で構成される論理式についての充足可能性問題である。これはNP完全問題である。