admissible heuristic
In plain wordsAn estimate of the remaining distance to a goal that is never more than the real distance — an optimistic guess — which lets some search methods guarantee that they find the best route.
A heuristicheuristic, n.: A rule of thumb: a quick, usually good-enough way to make a decision or to estimate how close you are to a goal, without any guarantee of finding the best answer. function h whose estimate h(n) is, for every state n, at most the true cost h*(n) of the cheapest path from n to a goal — possibly too optimistic, never too pessimistic. With an admissible heuristic, A* searchA* search, n.: A method for finding the shortest route on a map or network that weighs both how far you have already come and a smart guess of how far is left, so it tries the most promising paths first. in its tree-search form is guaranteed to return an optimal solution. The stronger property of consistency (or monotonicity) requires that h(n) ≤ c(n, n′) + h(n′) for every action from n to n′ with cost c; consistency implies admissibility and guarantees optimality in graph search without re-expanding nodes. Admissible heuristics are typically obtained by solving a relaxed problem exactly — Manhattan distance for the sliding-tile puzzle relaxes the rule that tiles cannot pass through one another — and the maximum of several admissible heuristics is itself admissible. Among admissible heuristics, larger (better-informed) ones lead A* to expand fewer nodes.
Origin
The idea comes from Peter Hart, Nils Nilsson and Bertram Raphael's 1968 A* paper, which called a search algorithm admissible if it is guaranteed to find an optimal path and showed that A* is admissible when its estimate never exceeds the true cost; later usage transferred the adjective to the heuristic itself.
Related
- heuristicheuristic, n.: A rule of thumb: a quick, usually good-enough way to make a decision or to estimate how close you are to a goal, without any guarantee of finding the best answer.
- A* searchA* search, n.: A method for finding the shortest route on a map or network that weighs both how far you have already come and a smart guess of how far is left, so it tries the most promising paths first.
- best-first searchbest-first search, n.: A family of search methods that rank every option waiting to be explored by a score, such as an estimate of the distance still to go, and always take the top-ranked one next.
- state space searchstate space search, n.: Solving a problem by treating every situation it could be in as a point on a map, with each possible move as a road between points, and searching for a route from the start to a goal.
Sources
- Hart, P. E., Nilsson, N. J. & Raphael, B. (1968). A Formal Basis for the Heuristic Determination of Minimum Cost Paths. IEEE Transactions on Systems Science and Cybernetics 4(2), 100–107.
Mentioned in
A* searchA* search, n.: A method for finding the shortest route on a map or network that weighs both how far you have already come and a smart guess of how far is left, so it tries the most promising paths first., heuristicheuristic, n.: A rule of thumb: a quick, usually good-enough way to make a decision or to estimate how close you are to a goal, without any guarantee of finding the best answer.