CS 477/677: Design and Analysis of Algorithms