How it works?

Mantenha um array dist: dist[source] = 0 e todos os outros vértices começam no "infinito" (um número muito grande). Mantenha uma flag visited por vértice.

Processo Passo a Passo:

1. Entre os vértices não visitados, escolha aquele u com o menor dist. Se nenhum for alcançável, pare.
2. Marque u como visitado: sua distância agora é final.
3. Relaxe cada aresta u -> v de peso w: se dist[u] + w < dist[v], diminua dist[v].
4. Repita até que todos os vértices alcançáveis sejam finalizados.

Ao final, qualquer vértice que ainda estiver no infinito é inalcançável (nós o reportamos como -1).