《算法竞赛进阶指南》木棒

乔治拿来一组等长的木棒，将它们随机地砍断，使得每一节木棍的长度都不超过 5050 个长度单位。

然后他又想把这些木棍恢复到为裁截前的状态，但忘记了初始时有多少木棒以及木棒的初始长度。

请你设计一个程序，帮助乔治计算木棒的可能最小长度。

每一节木棍的长度都用大于零的整数表示。

输入格式

输入包含多组数据，每组数据包括两行。

第一行是一个不超过 6464 的整数，表示砍断之后共有多少节木棍。

第二行是截断以后，所得到的各节木棍的长度。

在最后一组数据之后，是一个零。

输出格式

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

数据范围

数据保证每一节木棍的长度均不大于 5050。

输入样例：

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

输出样例：

6
5

解题思路：按每根大棍的长度来枚举每个小棍判断是否合法； 

剪枝1：优化搜所顺序，先枚举长度最长的小棍，使得每次扩展的层数最小 

剪枝2：可行性剪枝：若当前枚举的长度不是大棍总和的倍数，则直接忽略
{
    因为每根大棍的和为大棍的总和，所以要满足条件每根木棍的长度必需为大棍总和的倍数
}

 剪枝3：

3-1：若当前枚举的长度为length的小棍不可以放在某个位置，则与它长度相等的小棍也不可以放在该位置：
    {
        证明如图：

    }

 3 - 2：
    {
        因为一个大棍内的小棍的放置顺序随意，所以可以定义一个start，用来记录当前枚举到哪根木棍了
    }

3 - 3：若某根大棍的开头不能匹配小木棍。则直接返回：
    {
        证明如图：
        
    } 

 

3 - 4：同理若某跟大棍结尾不能匹配小木棍，则直接返回 

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>

using namespace std;

const int N = 70;

int n;
int sum;
int w[N];
bool st[N];

bool dfs(int u, int now_sum, int start, int length)
{
    if (u * length == sum) return true;//说明小棍全部用完匹配成功
    if (now_sum == length) return dfs(u + 1, 0, 0, length);//说明该大棍以及匹配完，新开一个大棍
    
    for (int i = start; i < n; i ++ )//剪枝3 - 2
    {
        if (st[i]) continue;//若i被用过
        if (w[i] + now_sum > length) continue;
        
        st[i] = true;//若i成功匹配
        if (dfs(u, now_sum + w[i], i + 1, length)) return true;
        st[i] = false;//若i匹配失败
        
        if (!now_sum || now_sum + w[i] == length) return false;//剪枝3 - 3，3 - 4
        
        int j = i;
        while (j < n && w[i] == w[j]) j ++ ;//剪枝3 - 1
        i = j - 1;
    }
    
    return false;
}

int main()
{
    while (cin >> n, n)
    {
        sum = 0;
        for (int i = 0; i < n; i ++ )
        {
            cin >> w[i];
            sum += w[i];
        }
        
        sort(w, w + n);//剪枝1
        reverse(w, w + n);
        
        int length = 1;
        memset(st, false, sizeof st);
        while (true)
        {
            if (sum % length == 0 && dfs(0, 0, 0, length))//剪枝2
            {
                cout << length << endl;
                break;
            }
            
            length ++ ;
        }
    }
    
    return 0;
}