01背包的常数优化的一点解释
01背包的常数优化的一点解释
在大牛dd的背包九讲中,提及01背包在一个常数级别的优化,不过作者未做出解释(个优化之所以成立的原因请读者自己思考)。下面记录自己的理解心得。
for i ← 1 to N
for v ← V to max (V−key, Ci )
其中\(key=sum_{j=i}^NV_j\) .
注意到在空间优化后,内层循环已经变成逆序的了。也就是说,在给定物品i的时候,假设\(v > v'\),那么\(dp[v]\)总是会先\(dp[v']\)更新,\(dp[v']\)被更新了的话,\(dp[v]\)一定也被更新过了。也就是说,算法更偏向于信息靠右存放。既然这样,我们就不要更新到过左的位置,如何划定这个过左的位置?只需要保证当前的物品可以放下以及后面的物品都能放下。
这种优化在背包体积贼大的情况下较为有优势。
夜空中最亮的星,照亮我前行