考虑朴素 DP 的转移，会算重是因为画成折线之后平移的部分会被算重。
不妨钦定一个代表元，只有直线碰到 \(0\) 的时候才会被计算，也就是让红球为 \(0\) 的时候才会被计算一次。
可以考虑容斥，也可以考虑在普通 DP 的限制下加上一维表示是否到达过 \(0\)。
考虑朴素 DP 的转移，会算重是因为画成折线之后平移的部分会被算重。
不妨钦定一个代表元，只有直线碰到 \(0\) 的时候才会被计算，也就是让红球为 \(0\) 的时候才会被计算一次。
可以考虑容斥，也可以考虑在普通 DP 的限制下加上一维表示是否到达过 \(0\)。