题目描述
统一说明
本题思路来源于acwing算法提高课
木棍指题目输入数据所指的东西
木棒指最后由木棍拼接而成的最长的东西
看本文需要准备的知识
1.dfs基本思想
2.对“剪枝”这个词汇有一个基本的认识即可
整体分析
这个题目最终是求木棒的最短长度，所以我们可以从长度为1开始，每次加一，一直往后搜索，当搜索到解时，必然是最短长度。而在搜索的过程当中，显然长度满足：sum%length==0，这也是本题的一个小优化，dfs参数说明：
dfs(u,cur,start)
u：当前已经拼接好几根木棒
cur：当前正在拼接的这跟木棒已经拼好的长度
start：对同一根木棒，从哪一根木棍开始遍历
剪枝优化
A.优化搜索顺序
1.为了优先搜索分支较少的节点，我们可以让木棍按长度由大到小排序，优先搜索长度最长的木棍
B.排序等效冗余
1.按照组合数方式枚举，就是给每个木棍编号，有序的遍历，防止出现同一个木棒中由“1,2,3”拼成和“3,2,1”拼成的两种分支情况，毕竟一个木棒是如何拼成的跟木棍的顺序无关，所以对于同一根木棒拼接的时候，可以设置一个下标start，每次遍历木棍的时候从start开始遍历，即dfs(u,cur+w[i],start+1)
2.如果当前木棍加到某个木棒上之后失败了，那么跟这个木棍相同长度的木棍加到这个位置的时候也会失败
C.可行性剪枝
1.如果一个木棍放在某一个木棒的第一个位置时失败了，那么就没有遍历剩下的木棍放在这个位置的必要了，也就是说这时候我们需要回溯了，什么意思呢，我用递归树的方式带领大家理解：
比如说A是在木棒x+1的第一个位置上放置木棍1，如果A的子树向A传递了false，那么接下来的路径就不是：“从A通过a回溯到D再通过b进入B”而是“直接通过a回溯到D再通过d回溯到E了”，其中B是在木棒x+1的第一个位置上放置木棍2，C同理，D是在木棒x的最后一个位置上放置某一个木棍
如何证明上述的剪枝的正确性呢？反证法
假设在木棒x的第一个位置上放木棍1失败，但往后继续搜索还能发现最终的正确方案，那么这个木棍1，一定会被放置在后续木棒的某个位置上，假设这个木棒是p，这个位置是n，这时候，我们可以把木棒p上的第一个位置的木棍和n位置上的木棍1交换，然后再把木棒x和木棒p做一个位置交换，发现：此时木棒x的第一个位置上放的是木棍1！！！与假设矛盾，证毕
2.如果一个木棍1放在一个木棒x的最后一个位置，并且可以使这个木棒的最长度达到length，但是在这个状态节点的子树给这个节点返回了false，那么就可以直接向上面一样，在回溯到D之后直接回溯到E，而不是进入B！
证明：反证法
假设在满足上述情况下，还可以找到某一个或多个木棍的拼接使得木棒x拼成length，此时木棍1一定在下面的某一个木棒的某一个位置中，我直接把木棍1和x此时后面为length长度的一个或几个木棍的拼接对换，就会发现：木棍1放在木棒x的最后一个位置，并且可以使这个木棒的最长度达到length！！！与假设矛盾，证毕
想说的话
感觉这题确实有点抽象，特别是可行性剪枝的两个部分，所以我采用了从递归树的角度，从底层，分析了这个问题，如果有没有看懂的或者我错了的地方，拜托各路大佬在评论区指出，谢谢！
满分代码
#include<iostream>
#include<algorithm>
#include<cstring>
using namespace std;
const int N=70;
int w[N];
int sum,length;
bool st[N];
int n;bool dfs(int u,int cur,int start)
{if(u*length==sum)return true;if(cur==length)return dfs(u+1,0,0);for(int i=start;i<n;i++){if(st[i]||cur+w[i]>length)continue;st[i]=true;if(dfs(u,cur+w[i],start+1))return true;st[i]=false;if(!cur||w[i]+cur==length)return false;int j=i+1;while(j<n&&w[i]==w[j])j++;i=j-1;}return false;
}int main()
{while(cin>>n,n){memset(st,false,sizeof st);sum=0;for(int i=0;i<n;i++)cin>>w[i];for(int i=0;i<n;i++)sum+=w[i];sort(w,w+n);reverse(w,w+n);length=1;while(true){if(sum%length==0&&dfs(0,0,0)){cout<<length<<endl;break;}length++;}}return 0;
}
