No me esta quedando claro si cuando vayamos a computar esta parte, hay que ver los w a los que v tiene un camino, porque en la formula dice todos los w de V, y en el codigo dice: "For v ∈ V in any order" dando a entender que se prueban todos los nodos del grafo, no solo a los que v tiene una arista.
Desde ya muchas gracias.