Poj 1011：sticks通俗易懂 大法师+强力剪枝

题目描述

乔治有一些同样长的小木棍，他把这些木棍随意砍成几段，直到每段的长都不超过$50$。

现在，他想把小木棍拼接成原来的样子，但是却忘记了自己开始时有多少根木棍和它们的长度。

给出每段小木棍的长度，编程帮他找出原始木棍的最小可能长度。

输入格式

共二行。

第一行为一个单独的整数N表示砍过以后的小木棍的总数，其中$N\le 65$

（管理员注：要把超过$50$的长度自觉过滤掉，坑了很多人了！）

第二行为$N$个用空个隔开的正整数，表示$N$根小木棍的长度。

输出格式

一个数，表示要求的原始木棍的最小可能长度

思路

最近二分法写的有点多，看到题就想二分搜索，但是如何更新$l,r$的值是一个问题，因为目标长度是否可以作为最小原始长度这个条件不单调，比如如果切割后的总长是40，那么11肯定不可能是最小原始长度，但是10和20却都有可能，所以二分法不好。我们只能依次遍历，但这时候又会出现问题，对某一个长度，要判断他能否作为最小原始长度我们会想到大法师（DFS）不断回溯，这个过程一定会TLE可能会TLE，必须剪枝 剪枝再剪枝。

大法师

先来看看大法师应该怎么写，效率比较高。给定一个目标长度$target$，我们通过木棍的总长$tot$可以计算出需要把它还原成$tot/target=num$个木棍，假设一个参数$sum$表示目前已经凑了多长的木棍，初始化为0，统计出切割后的最长木棍的长度$maxn$。对大法师而言，

• 什么时候截止？所有木棍都进行了还原，当前还需要还原的木棍数目为0时，就可以成功返回。

if (num == 0) return true;//没有木棍了，所有木棍都凑完了

• 如何进行状态的更新？（i）当前已经凑出$target$长的木棍的话，就可以开始拼凑下一个木棍，即下图。（ii）如果还没有拼凑成功，那我们需要选一根木棍继续拼凑，这个木棍的长度加上当前拼凑的长度一定会小于$target$，这里需要回溯，尝试各种各样的木棍。$cnt[i]$记录长度为$i$的木棍出现的次数。现在没讲的都是剪枝操作了，后面再讲。

	if (sum == target) return dfs(num - 1, 0, target, maxx);//这里的参数始终是maxx
	for (ll i = maxn; i >= minn; i--) {//(2) 从大到小遍历，
		if (cnt[i] && sum + i <= target) {
			cnt[i]--;
			if (dfs(num, sum + i, target, i)) return true;//(3) 这里最后一个参数是i
			cnt[i]++;//回溯
			if (sum == 0 || sum + i == target)//(4)
				break;
		}
	}
	return false;

如何剪枝？

1. 从最长的木棍的长度开始，枚举原先每根木棍的可能长度，一直到（剪枝一：） 总长度的一半（如果原先木棍的数量不为1，则原先木棍的长度必然小于所有木棍总长度的一半）。（小贴士：如果枚举完后，仍然没有输出答案，则直接输出总长度即可）（因为如果一直到总长度的一半都没有解，则说明原先的木棍就只有一根而已）
2. 我们需要对这些进来的数据排个序，大的在前小的在后。为什么呢？因为打怪的时候不都是先开大再A一下补刀的吗排好序的数组更方便优化2的操作，而且小的木棒灵活性更强，放在前面可以组合出非常多没用的结果，你想想看大木棒都被你扔一边去了，小木棍给用完了，到时候怎么拼成长度一样的木棍？
3. 经过一番哲学分析我们可以发现，拼好的木棍的长度肯定是所有砍成的小木棍长度之和的因数。也就是说，在遍历所有的原长时，应该判断木棍总长是否可以整除原长。
4. 在拼一根原木棍的时候注意，一定要从比上一根拼进此原木棍的木棍长度更小的木棍开始尝试拼接。你想想你曾经尝试过将一根大木棍拼进去发现拼不了，选了一个较小的，现在叫你选下一根，你却又选了那根大木棍……（警告：当你新开始拼一根新的原木棒时请从头开始尝试拼接）
5. 还有一个难想却特别特别重要的优化：若某组拼接不成立，且此时 已拼接的长度为0 或 当前已拼接的长度与刚才枚举的长度之和为最终枚举的答案 时，则可直接跳出循环，因为此时继续枚举其它更小的值时，显然可能情况更少，且同样凑不完。比如我选这里刚开始进行搜索，目标长度为5，木棍$5,5,5,2,2,2,1,1,1$,我先选了$5$,最后没有拼凑成功，返回后这里$sum=0$，那么选$2$从头开始还有用吗？思考ing

#include<iostream>
#include<cmath>
#include<iomanip>
#include<string.h>
#include<vector>
#include<map>
#include<queue>
#include<algorithm>
using namespace std;

#define MAX 70
#define inf 1e9
#define ll int
#define p pair<ll, ll>

ll n, s[MAX], tot = 0, minn = inf, maxx = 0, tmp, cnt[MAX];
bool cmp(ll a, ll b) { return a > b; }

//num:木棍的总数目 sum:目前凑了多长 target：目标长度 maxn：最长木棍
bool dfs(ll num, ll sum, ll target, ll maxn) {
	if (num == 0) return true;//没有木棍了，所有木棍都凑完了
	if (sum == target) return dfs(num - 1, 0, target, maxx);//这里的参数始终是maxx
	for (ll i = maxn; i >= minn; i--) {//(2) 从大到小遍历，
		if (cnt[i] && sum + i <= target) {
			cnt[i]--;
			if (dfs(num, sum + i, target, i)) return true;//(3) 这里最后一个参数是i
			cnt[i]++;//回溯
			if (sum == 0 || sum + i == target)//(4)
				break;
		}
	}
	return false;
}
int main() {
	while (cin >> n && n) {
		tot = 0, minn = MAX, maxx = 0; memset(cnt, 0, sizeof(cnt));
		for (ll i = 0; i < n; i++)
		{
			cin >> s[i];
			if (s[i] <= 50) {
				tot += s[i]; cnt[s[i]]++;
				minn = min(minn, s[i]); maxx = max(maxx, s[i]);
			}
		}
		sort(s, s + n, cmp);//(1)
		ll l = maxx, r = tot;
		for (ll i = maxx; i <= tot; i++) {//从小到大依次判断他们能否作为最小长度
			if (tot%i == 0 && dfs(tot / i, 0, i, maxx))//不能整除肯定不行的啦
			{
				cout << i << endl; break;
			}
		}
	}
}