Introduction to single source shortest paths