搜索剪枝——小木棍

传送门：167. 木棒 - AcWing题库

代码过不了poj，能过acwing

思路：

剪枝1：枚举小木棍长度的时候可以从最大的一根开始枚举，因为最大的一根一定放的下，同时也可以枚举到所有木棍总长的一半后直接枚举所有木棍长度的总和。

剪枝2：相较于长度大的木棍，长度小的木棍更加灵活，因此对此排个序，优先枚举长度大的木棍。

剪枝3：对于每一种长度一定可以被总长整除才行，跳过不能被总长整除的木棍长度。

剪枝4：对于相同长度的木棍，如果第一根搜索不到答案，那么所有相同长度的木棍都会搜索失败。

剪枝5：对于一根小木棍，如果他的长度和已经拼接好的部分长度加起来已经大于设定好的木棍长度，那么，该该木棍不可用。

剪枝6：假如，当前的木棍长度和已经拼接好的木棍的长度加起来刚好等于设定的长度却依然搜索失败，那么说明当前的这个分支已经失败，直接返回false。

剪枝7：如果当前连一根木棍都放不下，说明当前设定的长度有问题直接返回false
代码：

#include<iostream>
#include<cstring>
#include<algorithm>
#include<cmath>
using namespace std;
typedef long long ll;
const int N=1e5+10;
int cnt;
bool st[N];
int len;
int a[N];
int n;
bool dfs(int u,int cal,int last)
{
    if(u>cnt) return true;
    if(cal==len) return dfs(u+1,0,1);
    int fail=0;
    for(int i=last;i<=n;i++)
        if(!st[i]&&cal+a[i]<=len&&fail!=a[i])//剪枝4+5
    {
        st[i]=1;
        if(dfs(u,cal+a[i],i+1)) return true;
        fail=a[i];
        st[i]=0;
        if(cal==0||cal+a[i]==len) return false;//剪枝6+7
    }
    return false;
}

int main()
{
    while(scanf("%d",&n)!=EOF&&n!=0)
    {
        int m=0;
        int  sum=0;
        for(int i=1;i<=n;i++)
            {
            scanf("%d",&a[i]);
            sum+=a[i];
            m=max(a[i],m);
            }
        sort(a+1,a+n+1);  //剪枝2
        reverse(a+1,a+n+1);
        for(len=m;len<=sum;len++) //剪枝1
        {
            if(sum%len!=0) continue;  //剪枝3
            cnt=sum/len;
            memset(st,0,sizeof st);
            if(dfs(1,0,1)) break;
            if(len==sum/2)
            {
                len==sum-1; //剪枝1
            }
        }
        cout<<len<<endl;
    }
    return 0;
}