> 20 10
> 14 3
> 15 20
> 10 4
> 13 15
> 5 12
> 8 13
> 4 9
> 11 12
> 14 8
> 17 12
> 18 7
> 13 4
> 15 15
> 14 7
> 20 17
> 5 10
> 4 1
> 9 2
> 15 20
> 6 4
> 0 0
> 
> 某已过程序结果为135 135，我的程序为136 136，手算证明我的程序更优……然后我的程序一直wa……不知道是不是跟这个有关系

顶这个反例。2维DP怎么保证正确性？3维DP水过去的，空间好大……