>91, >93
いや……なんか話がズレているような……

>88 まさかNP困難問題は有限時間内に計算する事が出来ないとでも思っているの?
--> はい＆いいえ。TMで有限時間内に計算できる問題も計算できない問題も両方あります。

>93 停止問題はNP困難には属さないということ。
--> いいえ。NP困難はNP完全を多項式時間帰着できる問題なので、停止問題を含みます。

ttp://ja.wikipedia.org/wiki/NP困難 の通りですね。