A heuristic
h1 is more informed than another
heuristic
h2 if for all states
s,
h1(s) ≥ h2(s).
The more informed the heuristic, the fewer vertices will be expanded.
If a heuristic is more informed without overestimating, then it is more
efficient as well as optimal.