2017-07-24 Notes on Dijkstra's Algorithm