Introduction to Algorithms, Spring, 2012