RQNOJ 金明的预算方案依赖背包

题目链接http://www.rqnoj.cn/Problem_6.html
详细分析引自DD《背包九讲》
分组背包问题

有N件物品和一个容量为V的背包。第i件物品的费用是c[i]，价值是w[i]。这些物品被划分为若干组，每组中的物品互相冲突，最多选一件。求解将哪些物品装入背包可使这些物品的费用总和不超过背包容量，且价值总和最大。

算法
这个问题变成了每组物品有若干种策略：是选择本组的某一件，还是一件都不选。也就是说设f[k][v]表示前k组物品花费费用v能取得的最大权值，则有f[k][v]=max{f[k-1][v],f[k-1][v-c[i]]+w[i]|物品i属于第k组}。

使用一维数组的伪代码如下：

for 所有的组k

for v=V..0
for 所有的i属于组k

f[v]=max{f[v],f[v-c[i]]+w[i]}

另外，显然可以对每组中的物品应用P02中“一个简单有效的优化”。

小结
分组的背包问题将彼此互斥的若干物品称为一个组，这建立了一个很好的模型。不少背包问题的变形都可以转化为分组的背包问题（例如P07），由分组的背包问题进一步可定义“泛化物品”的概念，十分有利于解题。

P07: 有依赖的背包问题
简化的问题
这种背包问题的物品间存在某种“依赖”的关系。也就是说，i依赖于j，表示若选物品i，则必须选物品j。为了简化起见，我们先设没有某个物品既依赖于别的物品，又被别的物品所依赖；另外，没有某件物品同时依赖多件物品。

算法
这个问题由NOIP2006金明的预算方案一题扩展而来。遵从该题的提法，将不依赖于别的物品的物品称为“主件”，依赖于某主件的物品称为“附件”。由这个问题的简化条件可知所有的物品由若干主件和依赖于每个主件的一个附件集合组成。

按照背包问题的一般思路，仅考虑一个主件和它的附件集合。可是，可用的策略非常多，包括：一个也不选，仅选择主件，选择主件后再选择一个附件，选择主件后再选择两个附件……无法用状态转移方程来表示如此多的策略。（事实上，设有n个附件，则策略有2^n+1个，为指数级。）

考虑到所有这些策略都是互斥的（也就是说，你只能选择一种策略），所以一个主件和它的附件集合实际上对应于P06中的一个物品组，每个选择了主件又选择了若干个附件的策略对应于这个物品组中的一个物品，其费用和价值都是这个策略中的物品的值的和。但仅仅是这一步转化并不能给出一个好的算法，因为物品组中的物品还是像原问题的策略一样多。

再考虑P06中的一句话： 可以对每组中的物品应用P02中“一个简单有效的优化”。这提示我们，对于一个物品组中的物品，所有费用相同的物品只留一个价值最大的，不影响结果。所以，我们可以对主件i的“附件集合”先进行一次01背包，得到费用依次为0..V-c[i]所有这些值时相应的最大价值f'[0..V-c[i]]。那么这个主件及它的附件集合相当于V-c[i]+1个物品的物品组，其中费用为c[i]+k的物品的价值为f'[k]+w[i]。也就是说原来指数级的策略中有很多策略都是冗余的，通过一次01背包后，将主件i转化为 V-c[i]+1个物品的物品组，就可以直接应用P06的算法解决问题了。

更一般的问题
更一般的问题是：依赖关系以图论中“森林”的形式给出（森林即多叉树的集合），也就是说，主件的附件仍然可以具有自己的附件集合，限制只是每个物品最多只依赖于一个物品（只有一个主件）且不出现循环依赖。

解决这个问题仍然可以用将每个主件及其附件集合转化为物品组的方式。唯一不同的是，由于附件可能还有附件，就不能将每个附件都看作一个一般的01 背包中的物品了。若这个附件也有附件集合，则它必定要被先转化为物品组，然后用分组的背包问题解出主件及其附件集合所对应的附件组中各个费用的附件所对应的价值。

事实上，这是一种树形DP，其特点是每个父节点都需要对它的各个儿子的属性进行一次DP以求得自己的相关属性。这已经触及到了“泛化物品”的思想。看完P08后，你会发现这个“依赖关系树”每一个子树都等价于一件泛化物品，求某节点为根的子树对应的泛化物品相当于求其所有儿子的对应的泛化物品之和。

小结

NOIP2006的那道背包问题我做得很失败，写了上百行的代码，却一分未得。后来我通过思考发现通过引入“物品组”和“依赖”的概念可以加深对这题的理解，还可以解决它的推广问题。用物品组的思想考虑那题中极其特殊的依赖关系：物品不能既作主件又作附件，每个主件最多有两个附件，可以发现一个主件和它的两个附件等价于一个由四个物品组成的物品组，这便揭示了问题的某种本质。

#include <iostream>
#include <string.h>
#define MAX_money 32000
#define MAX 60
using namespace std;

int f[MAX_money];
int v[MAX],p[MAX],q[MAX];

struct T
{
       int num;
       int V[5],W[5]; // 每一组组背包里的五种状态 
}T[60];

int main()
{
    int n,m,count = 0;
    while(scanf("%d%d",&n,&m) != EOF)
    {
        memset(f,sizeof(f));
        for(int i = 0; i < MAX; i++) T[i].num = 0; 
        for(int i = 1; i <= m; i++) // 对每一组背包里的主件
        {
                scanf("%d%d%d",&v[i],&p[i],&q[i]);
                T[i].num = 0;
                if(q[i] == 0)
                {
                        T[i].num++;
                        T[i].V[1] = v[i];
                        T[i].W[1] = v[i] * p[i];
                }
        }
        for(int i = 1; i <= m; i++) // 附件处理，看其属于哪一个主件 
        {
                if(q[i])  
				{
					count = T[q[i]].num;
					while(count)
					{
						T[q[i]].num++;  
						T[q[i]].V[T[q[i]].num] = T[q[i]].V[count] + v[i];
						T[q[i]].W[T[q[i]].num] = T[q[i]].W[count] + v[i] * p[i];
						count--;
					}
				}
        }
        for(int i = 1; i <= m; i++) // 分组背包 
        {
        	if(T[i].num != 0)
            {
				for(int k = n; k >= 0; k--)
	            {
	                    for(int j = 1; j <= T[i].num; j++)
	                    {
	                            if(k >= T[i].V[j])
	                            {
	                                 f[k] = max(f[k],f[k - T[i].V[j]] + T[i].W[j]);
	                            }
	                    }
	            }
			}
        }
        printf("%d\n",f[n]);
    }
}