>>648
どうでもいいが、問題がクラス NP に含まれることと、問題が NP 完全であることは
イコールじゃないぞ。

　P != NP のときに、NP に含まれる最も難しい判定問題が NP 完全問題

集合の広さとして、こんな感じ。（P != NP かどうかは、良く分からん）

　NP ⊃ P
　NP ⊃ NP完全問題の集合
　P != NP なら P ∩ NP完全問題の集合 = φ