Redigerer A* (avsnitt)

== Egenskaper ==
I likhet med [[bredde-først-søk]] er A* komplett og vil alltid finne en løsning om den finnes.

Om heuristikk funksjonen er tillatelig (at den aldri overestimerer), er A* selv tillatelig og optimal såvidt at vi ikke bruker et lukket sett. 

A* er også optimalt effektiv for hvilken som helst heuristikk <math>h</math>. Dette betyr at ingen annen algoritme som tar i bruk samme heuristikk vil besøke færre noder enn A*.