DP中关于一维数组的滚动优化

近些天来做DP关于滚动优化云里雾里，目前现在还算清楚，赶紧记录一下，免得日后再忘记如何理解的了。
下面列举三种情况帮助理解

1. 0-1背包问题中

for(从小到大枚举物品）
{
 f[i][j]=f[i-1][j];
 if(当前体积大于物品体积） f[i][j]=max(f[i][j],f[i-1][j-v[i]]+w[i];
}
 -------
 此时如果直接删掉第一维
 f[j]=f[j];//恒等式，不用予以理会可直接删去
  if(当前体积大于物品体积） f[j]=max(f[j],f[j-v[i]]+w[i];
  
 要想删掉if条件改变循环初始位置即可。
 但是第二种情况删掉以后真的与原来等价吗，答案是否定的。
 仔细观察下面两个式子
 f[i][j]=max(f[i][j],f[i-1][j-v[i]]+w[i]
 f[j]=max(f[j],f[j-v[i]]+w[i]
 下面这个式子中j-v[i]<=j，而j是从小到达进行枚举，所以j之前已经被更新过即不是i-1行的内容了，已经被更新为第i行内容。
 等价与了f[i][j-v[i]]，明显二者不等。
 解决办法：循环变量从大到小进行循环，小的不会被先更新，用到的还是之前i-1行的内容。

2. 完全背包中

for(从小到大枚举物品）
{
 f[i][j]=f[i-1][j];
 if(当前体积大于物品体积） f[i][j]=max(f[i][j],f[i][j-v[i]]+w[i];
}
-------
 此时如果直接删掉第一维
 f[j]=f[j];//恒等式，不用予以理会可直接删去
  if(当前体积大于物品体积） f[j]=max(f[j],f[j-v[i]]+w[i];
  要想删掉if条件改变循环初始位置即可。
 但是第二种情况删掉以后真的与原来等价吗，答案是肯定的。
 下面这个式子中j-v[i]<=j，而j是从小到达进行枚举，正好用到的是第i行的内容
 等价与了f[i][j-v[i]]。

3. 整数划分题目中

转移方程为
  f[i][j]=f[i−1][j]+f[i][j−i];
  此时删掉第一维，
  f[j]=f[j]+f[j−i];
  还可以从小到大枚举吗？答案是肯定的
  j-i从小到大，但正好需要的是第i行的内容，
  虽然j用到的是第i-1行的内容，但是j不同于j-i会先被更新。

自此分析完毕，似乎当用滚动数组优化时，要同时考虑到这二维，
当第一维是i-1时，第二维从小到大枚举会被更新时，例如1中的f[i-1][j-v[i]]，则需要从大到小枚举。
当第一维是i-1时，第二维从小到大枚举不会被更新时，例如3中的f[i−1][j]
当第二维是i时，第二维从小到大枚举会被更新时，例如2中的f[i][j-v[i]]，此时可以从小到大枚举