>>303
なるほど、よくわかった。
いくつか質問等を

計算量としては
NP完全≦NP困難
FNP完全≦FNP困難
NP完全≦FNP完全
NP困難≦FNP困難
ってゆう認識であってる？

あと、一般的な問題でなら経路存在判定はNPだけど
経路を求めるのはFNPにすら属さない(FPSPACEってのがあるかは知らないけれど)って
問題もありえるわけでしょ？
この可能性を言及せずに、NP困難かNP完全かを示さなきゃならないほど
「完全」ってのは重要なの？

# あと、上の計算量から言って
# NP困難じゃね？ → NP完全だよ → 実はFNP完全でした
# って話の流れはソフトバンクに通じる詐欺くささを感じる件