hola Juan
la etapa "Resolve" de los algoritmos de saturación, la inician los dos nodos saturados. los dos nodos saturados son, en cierta forma, los "padres" de dos árboles que se forman en la etapa de "Saturation". lo que esta haciendo esa linea a la que referís en bajar desde los nodos saturados por esos dos árboles hacia los nodos hoja, recorriendo todos los nodos. si enviaran el mensaje a los padres terminarían volviendo hacia arriba en el árbol.
hoy en clase hablamos de este algoritmo y vemos este ejemplo con una figura.
¡saludos!
J