Dijkstra's explanation of Maximum increasing subseqeuence [pdf](cs.utexas.edu)