クラス
P
に(まだ)属さない問題達
問題の難しさ
この部分をもう少し
整理したい
理論的にアルゴリズムで
解けない問題
(
例
) HALT
素朴な方法で理論的には解けるが,
現実的な時間では解けない問題
整理する問題の
タイプを限定⇒クラス
NP
(
例
)
多機械の最適加工順序問題
ジョブショップ・オープンショップ
多数の問題が
残っている
多くの
OR
の問題
更なる高速化
は重要な課題
現実に解ける問題