Acwing：小木棍（DFS+剪枝 Python）

题目链接🔗：167. 木棒 - AcWing题库

分析 ：

因为求的是最小成立的情况，所以很自然的想到从小到大枚举木棍长度，注意这里木棍长度必须能被所有木棒长度的和整除，因为题目规定了原木棍都一样长。搜索思想很简单，若长度没到木棍长度，则加入新的一段木棒，否则就将当前木棒加入下一个木棍。

我们需要关注的是剪枝策略 可以根据以下几条进行剪枝：

优化搜索序列:优先选择较长的木棍
排除等效冗余:要求先后加入的木棍有单调性,因为先来一根长度为x的木棍,再来一个长度为y的木棍,其实他们反过来是一样的,既然如此当然要有单调性.
排除等效冗余:对于当前木棍,记录最近一次尝试拼接失败的木棍,因为它失败了,那么肯定之后不能尝试再次凭借和他长度一模一样的木棍.因为他们是一模一样,没有任何差别,那么A死了,后面的A自然也得死,虽然他们下标不一样.
排除等效冗余:如果第一次尝试拼入木棍就失败的话,那么这个分治必然也是失败的,因为在拼入这些木棍前,面对的原始木棍都是还没有拼接的,他们都是等效的.

其余请看注释

def dfs(sect,num,last) : # 当前是第几根木棍，当前正在拼的木棍的长度，上一根木棒的索引+1
    global vis
    if sect > cnt : 
        return True
    if num == i :
        return dfs(sect+1,0,0)
    fail = 0 # 定义失败的情况，若出现和上次一样长的木棒则可以跳过
    for j in range(last,N) :
        if not vis[j] and fail != lst[j] and num+lst[j] <= i :
            vis[j] = 1
            if dfs(sect,num+lst[j],j+1) :
                return True
            fail = lst[j]
            vis[j] = 0
            if num == 0 or num+lst[j] == i : # 如果在这个木棍上失败了，其他木棍必然也失败
                return False
                
while 1 :
    N = int(input())
    if N :
        lst = list(map(int,input().split()))
        tot = sum(lst)
        wait = []
        for i in range(1,tot+1) :
            if tot % i == 0 :
                wait.append(i)
        lst.sort(reverse = True) # 由大到小枚举
        for i in wait :
            cnt = tot//i
            vis = [0 for j in range(N)] # 记录该木棒是否被用过
            if dfs(1,0,0) :
                print(i)
                break 
            
    else : break