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


 



你可能感兴趣的:(------DP------)