Lecture notes Algorithms I, FSS 2013, University of Mannheim