动态规划之01背包问题

01背包

01背包的状态转换方程 f[i,j] = Max{ f[i-1,j-Wi]+Pi( j >= Wi ),  f[i-1,j] }

f[i,j]表示在前i件物品中选择若干件放在承重为 j 的背包中，可以取得的最大价值。

Pi表示第i件物品的价值。

决策：为了背包中物品总价值最大化，第 i件物品应该放入背包中吗 ？

题目描述：

有编号分别为a,b,c,d,e的五件物品，它们的重量分别是2,2,6,5,4，它们的价值分别是6,3,5,4,6，现在给你个承重为10的背包，如何让背包里装入的物品具有最大的价值总和？

name	weight	value	1	2	3	4	5	6	7	8	9	10
a	2	6	0	6	6	9	9	12	12	15	15	15
b	2	3	0	3	3	6	6	9	9	9	10	11
c	6	5	0	0	0	6	6	6	6	6	10	11
d	5	4	0	0	0	6	6	6	6	6	10	10
e	4	6	0	0	0	6	6	6	6	6	6	6

只要你能通过找规律手工填写出上面这张表就算理解了01背包的动态规划算法。

首先要明确这张表是至底向上，从左到右生成的。

为了叙述方便，用e2单元格表示e行2列的单元格，这个单元格的意义是用来表示只有物品e时，有个承重为2的背包，那么这个背包的最大价值是0，因为e物品的重量是4，背包装不了。

对于d2单元格，表示只有物品e，d时,承重为2的背包,所能装入的最大价值，仍然是0，因为物品e,d都不是这个背包能装的。

同理，c2=0，b2=3,a2=6。

对于承重为8的背包，a8=15,是怎么得出的呢？

根据01背包的状态转换方程，需要考察两个值，

一个是f[i-1,j],对于这个例子来说就是b8的值9，另一个是f[i-1,j-Wi]+Pi；

在这里，

 f[i-1,j]表示我有一个承重为8的背包，当只有物品b,c,d,e四件可选时，这个背包能装入的最大价值

f[i-1,j-Wi]表示我有一个承重为6的背包（等于当前背包承重减去物品a的重量），当只有物品b,c,d,e四件可选时，这个背包能装入的最大价值

f[i-1,j-Wi]就是指单元格b6,值为9，Pi指的是a物品的价值，即6

由于f[i-1,j-Wi]+Pi = 9 + 6 = 15 大于f[i-1,j] = 9，所以物品a应该放入承重为8的背包

代码示例：

#include<stdio.h>
int V[200][200];
int max(int a,int b)
{
    return a>=b?a:b;
}
int zxc(int n,int w[],int v[],int x[],int c)
{
    int i,j;
    for(i=1;i<=n;i++)
        for(j=1;j<=c;j++)
        if(j<w[i])
            V[i][j]=V[i-1][j];
        else
            V[i][j]=max(V[i-1][j],V[i-1][j-w[i]]+v[i]);
        j=c;
        for(i=n-1;i>=0;i--)
        {
            if(V[i][j]>V[i-1][j])
            {
                x[i]=1;
                j=j-w[i];
            }
            else
                x[i]=0;
        }
        printf("选中的物品是:\n");
        for(i=0;i<n;i++)
            printf("%d ",x[i]);
        printf("\n");
        return V[n][c];
}
int main()
{
    int s;//获得的最大价值
    int w[15];//物品的重量
    int v[15];//物品的价值
    int x[15];//物品的选取状态
    int n,i;
    int c;//背包最大容量
    printf("请输入背包的最大容量\n");
    scanf("%d",&c);
    printf("输入物品数\n");
    scanf("%d",&n);
    printf("请分别输入物品的重量\n");
    for(i=1;i<=n;i++)
        scanf("%d",&w[i]);
    printf("请分别输入物品的价值\n");
    for(i=1;i<=n;i++)
        scanf("%d",&v[i]);
    s=zxc(n,w,v,x,c);
    printf("最大物品的价值为:\n");
    printf("s=%d\n",s);
}

这里是用二位数组存储的，可以把空间优化，用一位数组存储。

用f[0..v]表示，f[v]表示把前i件物品放入容量为v的背包里得到的价值。把i从1~n(n件)循环后，最后f[v]表示所求最大值。

*这里f[v]就相当于二位数组的f[i][v]。那么，如何得到f[i-1][v]和f[i-1][v-c[i]]+w[i]？（重点！思考）
首先要知道，我们是通过i从1到n的循环来依次表示前i件物品存入的状态。即：for i=1..N
现在思考如何能在是f[v]表示当前状态是容量为v的背包所得价值，而又使f[v]和f[v-c[i]]+w[i]标签前一状态的价值？

逆序！

这就是关键！

1 for  i = 1 ..N
2     for  v = V.. 0
3         f[v] = max {f[v],f[v-c[i]]+w[i]} ;
4

分析上面的代码：当内循环是逆序时，就可以保证后一个f[v]和f[v-c[i]]+w[i]是前一状态的！
这里给大家一组测试数据：

测试数据：
10,3
3,4
4,5
5,6

这个图表画得很好，借此来分析：

C[v]从物品i=1开始，循环到物品3，期间，每次逆序得到容量v在前i件物品时可以得到的最大值。（请在草稿纸上自己画一画）

对上面的题目，我们来试试一维数组，只需要稍微修改一下

核心代码：

for(i=1;i<=n;i++)
for(j=c;j>=w[i];j--)
V[j]=max(V[j-w[i]]+v[i],V[j]);