Fundamentals of algorithms