【C++算法基础】#2暴力枚举的方法论与优化技巧 - 大力出奇迹

暴力枚举法（Brute Force）是许多刚接触编程或算法的选手最容易上手，也最明显的算法。虽然暴力枚举往往效率极低，但是可以很快地解决一些问题。

本文将介绍暴力枚举法的方法和优化技巧。注意本文中许多名字并非专业学名，而是我自己定义的，请不要过于纠结。

作者：Eriktse
简介：19岁，211计算机在读，CCPC全国赛金牌，ICPC区域赛银牌退役选手力争以通俗易懂的方式讲解编程和算法！❤️欢迎关注我，一起交流C++/Python算法。（优质好文持续更新中……）
欢迎加群一起玩耍~QQ群：600240150

1.确定解的形式（枚举变量）

在进行暴力之前，我们需要分析出解的形式，比如要求满足条件的三元组的个数，我们就枚举所有三元组，检查哪些满足条件。比如我们要求满足条件的区间的个数，就可以枚举所有的二元组（表示左右端点）。

有些题目解的形式可能不太唯一，需要选择合适的形式，对于不同的形式选择不同的枚举方法。比如枚举子集，可以用循环，也可以用dfs，有时候在能够剪枝的情况下，dfs会比循环直接枚举子集快很多。

2.选择枚举方法

常见的枚举方法有直接枚举法和递归枚举法，根据题目不同，有时候也可能有用一些构造方法来进行枚举。

常见的直接枚举（循环）不会超过4层循环，且循环层数固定。

如果你发现循环层数是可变的，往往就要用递归枚举，比如你要枚举所有长度小于等于$n$的一个东西，就需要用到递归。

3.判断函数

在枚举出一个解后，我们需要判断其是否是可行解，于是我们要写一个判断函数。

这个判断函数可以根据你枚举出的一个解，来判断这个解是否可能。

举个例子

我们要求范围$[1, n]$的所有质数。

那么我们解的形式就是一个整数，于是我们遍历解空间$x \in [1, n], x \in Z^+$的所有解，说人话就是$[1, n]$的所有整数，然后编写判断函数，用于判断一个解$x$是否是可行解，即判断一个数字$x$是否是质数，并执行操作：[YES->将解加入到解集中，NO->舍弃]。

例题

ETOJ 1014: straax'aks Array

链接：http://oj.eriktse.com/problem.php?id=1014

这道题看数据范围，明显支持$O(n^3)$，所以可以大胆地暴力，枚举所有$i < j < k$的三元组，并$O(1)$判断是否满足条件即可。

代码：

#include 
using namespace std;
  
using ll = long long;
const ll N = 1e6 + 9, inf = 8e18;
ll a[N];
 
 
bool check(ll a, ll b, ll c, ll m)
{
    return (a + b + c) * (a ^ b ^ c) >= m;
}
 
void solve()
{
    int n, m;cin >> n >> m;
    for(int i = 1;i <= n; ++ i)cin >> a[i];
 
    ll ans = 0;
    for(int i = 1;i <= n; ++ i)
        for(int j = i + 1;j <= n; ++ j)
            for(int k = j + 1;k <= n; ++ k)
                if(check(a[i], a[j], a[k], m))
                {
                    ans ++;
                    //cout << a[i] << ' ' << a[j] << ' ' << a[k] << '\n';
                }
     
    cout << ans << '\n';
}
 
signed main()
{
    ios::sync_with_stdio(0), cin.tie(0), cout.tie(0);
    int _ = 1;
    while(_ --)solve();
    return 0;
}

ETOJ 1016: 全排列

链接：http://cdn.oj.eriktse.com/problem.php?id=1016

暴力枚举，但是我们发现这次用循环来写其实不好写了，所以改用递归。

注意需要按照字典序升序来写。

代码：

#include 
using namespace std;
  
using ll = long long;
const ll N = 20, inf = 8e18;
 
ll a[N];
bitset vis;
 
void dfs(ll dep, ll n)
{
    if(dep == n + 1)
    {
        for(ll i = 1;i <= n; ++ i)cout << a[i] << " \n"[i == n];
        return;
    }
 
    for(ll i = 1;i <= n; ++ i)
    {
        if(vis[i])continue;
        vis[i] = true;
        a[dep] = i;
        dfs(dep + 1, n);
        vis[i] = false;
    }
}
 
void solve()
{
    ll n;cin >> n;
    dfs(1, n);
}
 
signed main()
{
    ios::sync_with_stdio(0), cin.tie(0), cout.tie(0);
    int _ = 1;
    while(_ --)solve();
    return 0;
}