The second task from day 1 of CEOI 2016 is a task with a solution that confuses me, not because it is hard to understand, but because of the fact that I cannot understand how someone could come up with it. When I read the official solution, it just looks like they shuffled some formulas around until they got an expression with an invariant with no real motivation for the process. Is there any, more intuitive approach for solving this problem? Thanks in advance.
Auto comment: topic has been updated by dino_merlin (previous revision, new revision, compare).
Yes, there is a more intuitive solution. It uses a technique sometimes called "Connected Component DP". There is also comment under this blog explaining how to apply it to Kangaroo.