Introduction to The design and Analysis of Algorithms (3rd ed.). Solutions manual by Anany Levitin (2011)