u
d[u] = 5
w = 3
v
d[v] = 10
Relaxation check
The fundamental operation behind shortest-path algorithms