Introduction to Algorithms, Fall, 2017