クラス
NP
•
答えが
YES
である証拠が多項式時間で確認
できる決定問題
•
例:(決定問題)
22
時間以内に終了する加工順序はある?
•
(
証拠
)
加工順序を1つ示す
クラス
NP
に属する
OR
の問題の
(
決定問題版
)
は
ほぼクラス
NP
総当り法
(
素朴な方法
)
で理論的には解け
る決定問題は,ほとんどクラス
NP
に属す