乔治拿来一组等长的木棒,将它们随机地砍断,使得每一节木棍的长度都不超过 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;
}