Proud Merchants HDU - 3466 贪心背包的证明

做状态更新是使用[ qi - pi , m - pi ]去更新[ qi , m ]，对于第i个物品前者是利用域，后者是更新域。

当m足够大，两个区间会产生相交，这段相交会更新在从dp[m]向前一段等长上，更新为为w1+w2

先1的交区间是[ q1 , m - p2]，先2的交区间是[ q2 , m - p1 ]，考虑m越来越小，两张图上两个区间右端点都在左移

如果有q1-p1<q2-p2，显然第二个图的交区间会更快退化，那么必然可以构造一个m只让先1后2的dp[m]取到w1+w2