深搜的剪枝技巧C++详解

前言

众所周知，搜索的算法时间复杂度大多是指数级的。即使是简单的不加优化的搜索，其时间效率也低得让人无法忍受，难以满足我们竞赛时对程序的运行时间的要求。

所以建立算法结构之后，有一种对程序进行优化的基本方法——剪枝。

所谓剪枝，就是通过某种判断，避免不必要的的遍历过程，形象的过程

一、剪枝策略的寻找的方法

1）微观方法：

从问题本身出发，发现剪枝条件。

2）宏观方法：

从整体出发，发现剪枝条件。

3）注意提高效率这是关键，最重要的。

总之，剪枝策略，属于算法优化范畴；通常应在BFS 搜索算法中；剪枝策略就是寻找过滤条件，提前减少不必要的搜索路径。

二、剪枝优化三原则

搜索算法,绝大部分需要用到剪枝.然而,不是所有的枝条都可以剪掉,这就需要通过设计出合理的判断方法,以决定某一分支的取舍. 在设计判断方法的时候,需要遵循一定的原则.

1.正确性

正如上文所述,枝条不是爱剪就能剪的. 如果随便剪枝,把带有最优解的那一分支也剪掉了的话,剪枝也就失去了意义. 所以,剪枝的前提是一定要保证不丢失正确的结果.

2.准确性

在保证了正确性的基础上,我们应该根据具体问题具体分析,采用合适的判断手段,使不包含最优解的枝条尽可能多的被剪去,以达到程序“最优化”的目的. 可以说,剪枝的准确性,是衡量一个优化算法好坏的标准.

3.高效性

设计优化程序的根本目的,是要减少搜索的次数,使程序运行的时间减少. 但为了使搜索次数尽可能的减少,我们又必须花工夫设计出一个准确性较高的优化算法,而当算法的准确性升高,其判断的次数必定增多,从而又导致耗时的增多,这便引出了矛盾. 因此,如何在优化与效率之间寻找一个平衡点,使得程序的时间复杂度尽可能降低,同样是非常重要的. 倘若一个剪枝的判断效果非常好,但是它却需要耗费大量的时间来判断、比较,结果整个程序运行起来也跟没有优化过的没什么区别,这样就太得不偿失了.

综上所述，可以把剪枝优化的主要原则归结为六个字：正确，准确，高效。

在应用剪枝优化的时候，仅有上述的原则是不够的，还需要具体研究一些设计剪枝判断方法的思路。

三、深度优先搜索的优化技巧

1.优化搜索顺序

在一些搜索问题中，搜索树的各个层次，各个分支之间的顺序是不固定的。不同的搜索顺序会产生不同的搜索树形态，其规模大小也相差甚远。

2.排除等效冗余

在搜索过程中，如果我们能够判定从搜索树的当前节点上沿着某几条不同分支到达的子树是等效的，那么只需要对其中的一条分支执行搜索。

3.可行性剪枝（上下界剪枝）

该方法判断继续搜索能否得出答案，如果不能直接回溯。在搜索过程中，即使对当前状态进行检查，如果发现分支已经无法到达递归边界，就执行回溯。

4.最优性剪枝

最优性剪枝，是一种重要的搜索剪枝策略。它记录当前得到的最优值，如果当前结点已经无法产生比当前最优解更优的解时，可以提前回溯。

5.记忆化

可以记录每个状态的搜索结果，再重复遍历一个状态时直接检索并返回。这好比我们对图进行深度优先遍历时，标记一个节点是否已经被访问过。

四、例题

例题一（可行性剪枝，上下界剪枝）：

问题 A: 【一本通提高篇深搜的剪枝技巧】数的划分

时间限制: 1 Sec 内存限制: 128 MB

提交: 106 解决: 284

[题目描述]

将整数n分成k份，且每份不能为空，任意两分不能相同（不考虑顺序）。

例如：n=7,k=3,下面三种分法被认为是相同的。

1，1，5； 1，5，1； 5，1，1；

问有多少种不同的分法。

输入

n,k (6<n≤200,2≤k≤6)

输出

一个整数，即不同的分法。

样例输入

7 3

样例输出

4

算法分析

本题是求把数字n无序划分为k份的方案数，等价于求方程x[1] + x[2] + x[3]+...+x[k] = n。

搜索的方法是依次枚举xi的值，然后判断是否合法，这样程序的运行速度是非常慢点。本题数据规模较小(6<n<=200, 2<=k<=6)，通过控制拓展的xi的上下界，也能很快的得出解。

本题用的剪枝方法是上下界剪枝。

下界：由于题目不考虑顺序，不妨设x[i]>=x[i - 1]，即x为非严格单调递增序列。

上界：假设m = x[1] + x[2] +...+ x[i-1]；那么x[i] + x[i + 1] + ...+x[k] = n - m；又由x非严格单调递增得，x[i] * (k - i + 1) <= n - m，当且仅当x[i] = x[i + 1] = ... = x[k]时

取零,所以x[i]<=(n-m)/(k - i + 1)，即x[i]的上界为(n - m) / (k - i + 1)

代码

#pragma GCC optimize(3)
#pragma GCC target("avx")
#pragma GCC optimize("Ofast")
#pragma GCC optimize("inline")
#pragma GCC optimize("-fgcse")
#pragma GCC optimize("-fgcse-lm")
#pragma GCC optimize("-fipa-sra")
#pragma GCC optimize("-ftree-pre")
#pragma GCC optimize("-ftree-vrp")
#pragma GCC optimize("-fpeephole2")
#pragma GCC optimize("-ffast-math")
#pragma GCC optimize("-fsched-spec")
#pragma GCC optimize("unroll-loops")
#pragma GCC optimize("-falign-jumps")
#pragma GCC optimize("-falign-loops")
#pragma GCC optimize("-falign-labels")
#pragma GCC optimize("-fdevirtualize")
#pragma GCC optimize("-fcaller-saves")
#pragma GCC optimize("-fcrossjumping")
#pragma GCC optimize("-fthread-jumps")
#pragma GCC optimize("-funroll-loops")
#pragma GCC optimize("-fwhole-program")
#pragma GCC optimize("-freorder-blocks")
#pragma GCC optimize("-fschedule-insns")
#pragma GCC optimize("inline-functions")
#pragma GCC optimize("-ftree-tail-merge")
#pragma GCC optimize("-fschedule-insns2")
#pragma GCC optimize("-fstrict-aliasing")
#pragma GCC optimize("-fstrict-overflow")
#pragma GCC optimize("-falign-functions")
#pragma GCC optimize("-fcse-skip-blocks")
#pragma GCC optimize("-fcse-follow-jumps")
#pragma GCC optimize("-fsched-interblock")
#pragma GCC optimize("-fpartial-inlining")
#pragma GCC optimize("no-stack-protector")
#pragma GCC optimize("-freorder-functions")
#pragma GCC optimize("-findirect-inlining")
#pragma GCC optimize("-fhoist-adjacent-loads")
#pragma GCC optimize("-frerun-cse-after-loop")
#pragma GCC optimize("inline-small-functions")
#pragma GCC optimize("-finline-small-functions")
#pragma GCC optimize("-ftree-switch-conversion")
#pragma GCC optimize("-foptimize-sibling-calls")
#pragma GCC optimize("-fexpensive-optimizations")
#pragma GCC optimize("-funsafe-loop-optimizations")
#pragma GCC optimize("inline-functions-called-once")
#pragma GCC optimize("-fdelete-null-pointer-checks")
#pragma GCC optimize(2)
#include <bits/stdc++.h>
using namespace std;
int n, k, ans;//n, k意思如题目描述，ans为答案 
int a[10];
void dfs(int m)//当前要分出第m个数，已经分完了m-1个数, 剩余n没有被分解 
{
    if(n == 0) return;
    if(m == k)
    {
        if(a[m - 1] > n) return;
        else
        {
            ans++;
            return;
        }
    }
    for(int i = a[m - 1]; i <= n / (k - m + 1); i++)//剪枝
    {
        a[m] = i;
        n -= i;
        dfs(k + 1);
        n += i; 
    }
} 
int main()
{
    scanf("%d%d", &n, &k);
    a[0] = 1;
    dfs(1);
    printf("%d\n", ans);
    return 0;
}

更多例题

1.生日蛋糕

2.小木棍

3.埃及分数