6.1210 Introduction to Algorithms