Introduction to algorithms (MIT Press [u.a.], 2003)