Implementations of various algorithms from CLRS.