連続投稿失礼します。
ちょっと理解。
ヒューリスティック関数がゴールまでの距離を上回らない場合、最短経路になるのか。
あと調べてたら無矛盾という単語出てきたので気になる。恐らく言葉通りの意味だろう。
ヒューリスティック関数が許容的でない場合、解が最短経路である保証はないけど、ヒープが空になるまで探索を続ければいずれ最短経路になる。つまり(2)が成立しない。
そして、ある頂点Nをゴールとした場合のヒューリスティック関数は、スタートからNまでの最短経路に含まれない任意の頂点をゴールと見なしたとき、許容的ではない。
つまり、ヒューリスティック関数が定数でない場合、(2)は成立しない。
(2)が成立しないので、ヒープの要素数は|E|より大きくなる可能性がある。