Introduction to algorithms @cormen