Para garantizar la optimización del algoritmo, la función formula_10 debe ser heurística admisible, esto es, que no sobrestime el coste real de alcanzar el nodo objetivo.