POJ 1014——Dividing（深搜+剪枝）

题目链接：http://poj.org/problem?id=1014点击打开链接

简单来说就是在一堆数中能否找到一组组合使它们的值等于所有数的值的一般，所以第一个条件就是所有数的和应能被整除，看到这题首先想到的就是背包，看了评论大多数人都用的多重背包，因为不熟悉多重背包，只能用深搜去碰运气，结果贡献了好多次超时，深搜在这题来说就是不断递归寻找一种组合能够使它们的总值达到要求，找到则递归结束，输出答案，直到找完所有组合还未找到则没有这种组合。数的数目小的话是很简便的，但是数量一旦过千甚至过百，庞大的递归规模必定超时，这时就需要剪枝来减小规模了，这个剪枝想法也是参考了讨论区里一位名字是fqaq的评论，贴上其想法：

考虑值为6的石头：
将值为6的石头分为两部分，一部分均分为两堆，另一部分用于填补缺口。
所谓填缺口就是当其他的石头分完之后再把这部分石头分入两堆(也有可能只放入一堆)。
现在考虑需要多少6值石头用于填缺口。
假设左边的总值小于右边的总值
1.要能均分，剩下的缺口一定是6的倍数;
2.在分配其他的石头时，可以做到尽可能的是缺口小
（比如，如果可以在右边找到几个石头使它们的值之和为6，可以把它们匀给左边）;
3.当不能再从右边匀给左边时，可能出现的缺口在大是多少？(缺口大小确定了就可以确定需要的用于填缺口的石头数量)
        缺口可能是30(右边刚好比左边多6个5值石头)
        缺口可能是是36？ 
        {要能产生36的缺口，需要在右边从值为1-5的石头中拿出几个使它们的总值不小于36，并且这几个石头匀不过去。
         2值石头不能超过2个（超过了可以匀一个6过去），3值石头不能超过1个（超过了可以匀一个6到左边），4值石头不能超过2个（超过了可以匀一个12到左边），5值石头不能超过5（超过了可以匀一个30到左边，缺口转移到右边为24<36），1值石头不能超过5个。
                1*5+2*2+3*1+4*2=20 36-20=16,5值石头至少需要3个;
                5值石头有3个：4值石头只能有1个(4+4+5+5=18 可以匀一个18到左边),不能有3值石头(3+5+5+5=18),凑不齐;
                5值石头有4个: 同样凑不齐;
                5值石头有5个: 同样凑不齐。
      }        
能得到的最小缺口不可能是36,因为总能匀几个石头使缺口小于36。

所以对于6值石头，最多需要5个来填缺口，其余均分即可。

对于其他值的石头，可以采用同样的分析;
值              需要用于填缺口的数量
1               6
2               5
3               5
4               5
5               6
6               5

统一一下
1               6
2               6
3               6
4               6
5               6
6               6

留下需要填补缺口的石头，把剩下的石头(偶数个)均分为两堆
需要考虑的也只是用来填缺口的石头。

if(marbles[i]>6){
        if(marbles[i]%2)
                marbles[i]=5;
        else marbles[i]=6;
}

多余的值根本没有意义，就像消消乐那样，只要去掉那些能自己对消掉，留下至少能填补其他缺口的就行，6这个值说实话我至今不太明白，我原本的想法是取1，2，3，4，5，6的公倍数，留下至少60应该就可以了，也许是我考虑不太周全，结果是错的，上面贴的那些想法按我自己理解，应该是取最少的需要留下填补缺口的数量，2和3互补至少要留3个，3和4互补至少要留4个，4和5互补至少要留5个，5和6互补至少要留6个，1和6也是6个，综上，要留出足够的弹珠能够填补缺口的需要。可能解释得不太清楚，大家可以去poj翻翻这个题目的讨论区

AC代码：

#include<stdio.h>
#include<stdlib.h>
#include<string.h>
int a[7];
int dfs(int value)
{
	if(value==0){
		return 1;
	}
	int i;
	for(i=7;i>0;i--){
		if(a[i]==0||value-i<0){
			continue;
		}
		a[i]--;
		if(dfs(value-i)==1){
			return 1;
		}
		a[i]++;
	} 
	return 0;
}
int main()
{
	int i;
	int n;
	int sum;
	n=1;
	//freopen("d://in.txt","r",stdin);
	for(i=1,sum=0;i<7;i++){
		scanf("%d",&a[i]);
		if(a[i]>6){
                    if(a[i]%2)
                        a[i]=5;
                    else a[i]=6;
                }
		sum=sum+a[i]*i;
	}
	while(sum!=0){
		if(sum%2!=0){
			printf("Collection #%d:\nCan't be divided.\n\n",n++);
		}
		else{
			if(dfs(sum/2)==1){
				printf("Collection #%d:\nCan be divided.\n\n",n++);
			}
			else{
				printf("Collection #%d:\nCan't be divided.\n\n",n++);
			}
		}
		for(i=1,sum=0;i<7;i++){
		    scanf("%d",&a[i]);
		    if(a[i]>6){
                        if(a[i]%2)
                            a[i]=5;
                        else a[i]=6;
                    }
		    sum=sum+a[i]*i;
	    }
	}
	return 0;
}