MDOLLS, MSTICK from spoj, these type of problems can be solved using LIS method. But why does it work?