クラスPとクラスNP
最適解を多項式時間
で見つけることが可
クラスPに属す決定問題は
必ずクラスNPに属す
クラスNP
YESの証拠を多項式
時間で確認可
クラスP