![AT_agc013_d [AGC013D] Piling Up](http://pic.xiahunao.cn/yaotu/AT_agc013_d [AGC013D] Piling Up)
考虑朴素 DP 的转移，会算重是因为画成折线之后平移的部分会被算重。
不妨钦定一个代表元，只有直线碰到 \(0\) 的时候才会被计算，也就是让红球为 \(0\) 的时候才会被计算一次。
可以考虑容斥，也可以考虑在普通 DP 的限制下加上一维表示是否到达过 \(0\)。
AT_agc013_d [AGC013D] Piling Up
深耕网站建设、视觉设计与SEO优化的一线实战洞察。
考虑朴素 DP 的转移，会算重是因为画成折线之后平移的部分会被算重。
不妨钦定一个代表元，只有直线碰到 \(0\) 的时候才会被计算，也就是让红球为 \(0\) 的时候才会被计算一次。
可以考虑容斥，也可以考虑在普通 DP 的限制下加上一维表示是否到达过 \(0\)。