気がつかなかったんですけどP!=NPは懸賞問題なんでね。
ところでそれ、
「与えられたプログラムと、与えられた入力に対して、そのプログラムが計算を終えて止まるか、
あるいはいつまで経っても計算し続けて止まらないかを判定するアルゴリズムは存在しない。」
とか論理的に言って自明じゃんって思うわたしにとっては、そのクラスPとNPの問題にいまいち面白さを感じないんですが、何が魅力で何が面白いんですか？