POJ1011 木棒（dfs+剪枝）

问题重述：

Description
乔治拿来一组等长的木棒，将它们随机地砍断，使得每一节木棍的长度都不超过50个长度单位。然后他又想把这些木棍恢复到为裁截前的状态，但忘记了初始时有多少木棒以及木棒的初始长度。请你设计一个程序，帮助乔治计算木棒的可能最小长度。每一节木棍的长度都用大于零的整数表示。

Input
输入包含多组数据，每组数据包括两行。第一行是一个不超过64的整数，表示砍断之后共有多少节木棍。第二行是截断以后，所得到的各节木棍的长度。在最后一组数据之后，是一个零。

Output
为每组数据，分别输出原始木棒的可能最小长度，每组数据占一行。

Sample Input

9
5 2 1 5 2 1 5 2 1
4
1 2 3 4
0

Sample Output

6
5

解题思路： 搜索+枚举+递归

1. /**  POJ 1011 sticks problem  **/
2. //totalSticks    木棒的总数
3. //len            正在尝试的原始木棍长度
4. //unusedSticks   尚未拼接到len中的木棍
5. //temp           当前正在拼接的木棍的剩余长度
6. #include <stdio.h>
7. #include <stdlib.h>
8. bool is_original(int,int,int,int); //递归函数，判断某一长度是否可能是木棒的原始长度
9. int cmp(const void *elem1,const void *elem2)  //qsort比较函数
10. {
11. return *(int *)elem2 - *(int *)elem1;   //降序排列
12. }
13. int sticks[100];  //存放木棍的数组
14. bool used[100];    //记录木棍的使用情况
15. int main()
16. {
17. //freopen("in.txt","r",stdin);
18. int n;
19. scanf("%d",&n);   //木棍数量
20. while(n!=0)
21. {
22. int i,sum=0,len;
23. for(i=0; i<n; i++)
24. {
25. used[i] = false;  //初始化 ，未使用
26. scanf("%d",&(sticks[i])); //输入各个木棍长度
27. sum += sticks[i];   //木棍总长度
28. }
29. qsort(sticks,n,sizeof(int),cmp);  //对木棍进行排序
30. len = sticks[0];      //len的最小可能就是 最长的那一条木棍
31. for(i=len; i<=sum; i++)  //按升序枚举原始木棒的可能长度
32. {
33. if(sum%i!=0)         //总长度不能整除可能长度 ，跳过
34. continue;
35. if(is_original(n,n,0,i))  //如果可能是原始长度
36. {
37. printf("%d\n",i);   //输出所需答案
38. break;
39. }
40. }
41. scanf("%d",&n);
42. }
43. return 0;
44. }
45. bool is_original(int totalSticks,int unusedSticks,int temp,int len)
46. {
47. int i;
48. if(unusedSticks == 0&&temp == 0)  //如果剩余木棍为0，剩余长度为0，拼接完成
49. return true;
50. if(temp  == 0)         //当前拼接木棍剩余长度为0；
51. temp = len;        //尝试新的一个原始长度
52. for(i=0; i<totalSticks; i++) //从头到尾寻找可用的木棍
53. {
54. if(used[i]==true)      //用过了，跳过
55. continue ;
56. if(sticks[i]>temp)      //木棍大于剩余长度，跳过
57. continue ;
58. used[i] = true;         //标记为用过了
59. if(is_original(totalSticks,unusedSticks-1,temp-sticks[i],len))
60. return true;  //temp和unusedSticks 都减小 ，向下递归
61. used[i] = false;     //退出上次尝试的木棍,准备开始下一个
62. if(sticks[i]==temp||temp==len) //如果尝试的是某个木棍的第一位置或者最后位置
63. break;      //并且导致失败，就不必尝试剩余的木棍了
64. }
65. return false;
66. }

转载自：http://blog.csdn.net/skc361/article/details/10028743

这个回溯的剪枝实在是太精妙了，只有一句话，但是确实很难想到。这篇博客的代码我觉得是风格最优雅的一个了，就是里面的原理讲的不是太清楚，在这里记一下。

1. if(sticks[i]==temp||temp==len) //如果尝试的是某个木棍的第一位置或者最后位置
2. break;      //并且导致失败，就不必尝试剩余的木棍了

上面的代码里只有这一句话是剪枝用的。下面对这一句有深刻内涵的代码进行详解。

我们首先已经把木棍长度从大到小排序了，然后每次去探测木棍的时候也都是从大到小去探测。假设当前我们要判断L这个长度是否符合题意，木棍给了n个，总长度是sum。

　　显然sum能被L整除，而且目标是让所有木棍组成sum/L个L长度的木棍。

　　我们可以想象着sum/L个长度的东西为sum/L个桶，每个桶可以装长度为L的木棍。

　　那么上面这段剪枝temp==len这个条件的具体意思就是：我们在判断搜到这个状态是否能够到达我们希望的终点时，我们需要去尝试每一个当前可以尝试的木棍，那么当我们放上一个木棍失败了，而且目前这根木棍又放在了桶底，那后面连试都不用试了，必定失败。因为剩下的木棍是一定的，当前还要从桶底开始放，所以这一次放哪一根木棍对结果没有影响，放这个木棍失败了，后面的必定也失败。

　　那么上面这段剪枝sticks[i]==temp这个条件的具体意思是：当前这个木棍正好把一个桶填满了，然而失败，那么后面的都不用试了，必定失败。这里就是因为：我们的木棒是从大到小排序的。所以先试了长的木棒，不行。假设这根木棒长度为k，那么后面短的木棒肯定得能组成长度为k的木棒，否则这段空就填不起来了。然而如果后面的木棒能组成长度为k的填好这个桶的空，那这些木棒跟这根k木棒就等价（否则这个k木棒就没处放了），因此后面必定失败。（这里很绕，如果更详细的话可以分类讨论一下，总之就是不管什么情况后面都必定失败）

　　真是神奇的剪枝……