A*
consistent な h は、常に admissible である。
ある2つのヒューリスティック関数 h1, h2 について、 ∀ n , h 1 ( n ) ≤ h 2 ( n ) {\displaystyle \forall n,h_{1}(n)\leq h_{2}(n)} が成り立つ時、 h2 は h1 を支配する (dominate) とよぶ。このとき、特に両者が許容的な場合、h2 を用いた探索はより効率的だろうと考えられている。しかし、いくつかのコーナーケースではこのことは成り立たない。
このアルゴリズムはCPUの使用率、メモリの使用率など、計算負荷は高いが、問題に応じた適切なヒューリスティック関数を用いることにより、問題に対しての最適化が可能である。