>>569

貴殿のおっしゃるヒューリスティックと、Wikipedia のヒューリスティック、
以下のサイトに説明があるが、どうやら一致するようである。
単なる解釈の違い。

http://research.nii.ac.jp/~uno/approx.htm

確かにヒューリスティックは適用範囲は狭く、「人間くさい」といえる。
しかし、必ずしも正確な解はえられない（誤解を恐れずに言うと近次解）、
という点で、>>573 と 上記のサイトの説明は一致している。

どの道、証明可能・不可能の判定には適さない。