La búsqueda entonces progresa moviéndose iterativamente de una solución formula_1 hacia una solución formula_2 en formula_4.