Added analysis of Dijkstra.