Why does Dijkstra's algorithm not re-evaluate/re-expand nodes who have been expanded and later had their weight changed?
For example, in the accepted answer of this question (link), if the algorithm simply understands that d(b) has been updated and it should re-expand b, the shortest cost would be found.
Am i missing something?