A note on the complexity of Dijkstra's algorithm for graphs with weighted vertices | Synapse