Lecture notes for “ Analysis of Algorithms ” : Computing shortest paths and detecting negative cycles Lecturer :