记忆化搜索数位DP

数位DP 简介#

数位DP是一种基于按位枚举的计数类DP。一般来说，当题目要求对所有符合特殊性质的数字计数（且这些性质可以转化到数位上讨论）、对给定区间内的合法数做统计、数据范围中出现了超大的上界时，就可以考虑使用数位DP来进行求解。

数位DP的时间复杂度基本上是级别的，其中为状态数，可以看作是记忆化搜索数组每一维上界的总乘积。因此在大多数情况下它能做得很好。

数位DP 基本实现#

数位DP运用了前缀和的思想，假设代求区间为，它的基本思路是求出内的方案数，再求出内的方案数，答案就是后者减去前者。

其次，数位DP还支持搜索记忆化。具体来说就是把搜索时的传参记录下来，方便后期调用。由于不同数的上界（或枚举到的前导零）状态不甚相同，故当前数较为特殊时（顶上界/存在前导零）不进行记忆化。

基本模板如下（代码来自 P2657 windy 数）：

1
int dfs(int pos, int pre, bool limit, bool zero) {
2
    //  当前位置 上一个数  是否顶上界 是否有前导零
3
    int sum = 0;
4
    if (pos < 0) return 1; // 当前符合要求，是一种合法解
5
    if (!limit && pre >= 0 && f[pos][pre] != -1) return f[pos][pre]; // 记忆化剪枝
6
    for (int i = 0; i <= (limit ? num[pos] : 9); i++) { // 顶上界就只能最大枚举到上界当前位的数
7
        if (abs(i - pre) < 2) continue; // 判断合法性
8
        if (!i && zero) sum += dfs(pos - 1, -2, limit && i == num[pos], true); // 当前是前导零
9
        else sum += dfs(pos - 1, i, limit && i == num[pos], false); // 不为前导零
10
    }
11
    if (!limit && !zero) f[pos][pre] = sum; // 加入记忆化
12
    return sum;
13
}

注意到程序的整体复杂度与记忆化数组的维度有关，因此把无用的参数尽可能省去会提高运行效率（因题而异，但基本上都是省去判断前导零和前一个数的状态）

数位DP 经典例题#

例题按照难度升序排序。

Warning

受限于篇幅，仅在第一题给出完整代码，其余题目只会给出部分核心代码

洛谷 P1708 [入门赛 #21] 星云 hard ver.#

题目地址：P1708

题目难度：普及/提高-

定义星云数为位数不大于且各数位之和不超过的正整数，给定，求星云数的个数。
共组测试数据
对于的数据，，，。

~~当时比赛时没想出来该怎么搞，下来发现原来正解是打表吗？？？不，肯定不是，这道题就是数位DP！建议升绿。~~

考虑到都很小，打表确实可行。但是既然这道题给你说的都这么明显了，那咱们就用数位DP来做。

题目转化成，求内符合要求的数的数量。因此记忆化搜索维护一个当前的数位和，在搜索终点时判断是否小于等于，或者途中判断，都是可行的。注意到数的前导零不会产生影响、也无需记录上一步选择的数字，我们可以把记忆化压缩至三维的。

1
#include <bits/stdc++.h>
2
#define N 10
3
#define K 110
4
using namespace std;
5

6
typedef long long ll;
7

8
int f[N][K];
9
vector<int> num;
10
int k;
11
int power10[10] = {1, 10, 100, 1000, 10000, 100000, 1000000, 10000000};
12

13
int dfs(int pos, bool limit, int tot) {
14
    if (pos < 0) return tot > 0 && tot <= k;
15
    if (tot > k) return 0;
16
    if (!limit && f[pos][tot] >= 0) return f[pos][tot];
17
    int sum = 0;
18
    for (int i = 0; i <= (limit ? num[pos] : 9); i++) {
19
        sum += dfs(pos - 1, limit & (i == num[pos]), tot + i);
20
    }
21
    if (!limit) f[pos][tot] = sum;
22
    return sum;
23
}
24

25
int calc(int x) {
26
    num.clear();
27
    int tmp = x;
28
    while (tmp) {
29
        num.push_back(tmp % 10);
30
        tmp /= 10;
31
    }
32
    memset(f, -1, sizeof f);
33
    return dfs(num.size() - 1, true, 0);
34
}
35

36
int main() {
37
    ios::sync_with_stdio(false);
38
    cin.tie(nullptr);
39
    cout.tie(nullptr);
40

41
    int t;
42
    cin >> t;
43
    while (t--) {
44
        int n;
45
        cin >> n >> k;
46
        cout << calc(power10[n] - 1) << endl;
47
    }
48
    return 0;
49
}

洛谷 P2602 [ZJOI2010] 数字计数#

题目地址：P2657

题目难度：普及+/提高

给定两个正整数和，求在中的所有整数中，每个数码(digit)各出现了多少次。
对于的数据，保证。

考虑对于每一次记忆化搜索，只搜索内其中某个数的出现次数。因此在整个范围内搜索次并分别输出答案即可。由于前导零不能算作的出现次数，因此需要加入前导零的判断。

1
ll dfs(int pos, int pre, bool limit, bool zero, int cnt, int target) {
2
    //  位置    上一个数    顶上界      前导零   出现次数    搜索目标
3
    if (pos < 0) return cnt;
4
    if (!limit && !zero && f[pos][pre][cnt][target] >= 0) return f[pos][pre][cnt][target];
5
    ll sum = 0;
6
    for (int i = 0; i <= (limit ? num[pos] : 9); i++) {
7
        if (!i && zero) sum += dfs(pos - 1, i, limit & (i == num[pos]), true, 0, target);
8
        else sum += dfs(pos - 1, i, limit & (i == num[pos]), false, cnt + (i == target), target);
9
    }
10
    if (!limit && !zero) f[pos][pre][cnt][target] = sum;
11
    return sum;
12
}

其实不用记录上一个数也是没问题的，因为历史遗留问题没删罢了。

洛谷 P2657 [SCOI2009] windy 数#

题目地址：P2657

题目难度：提高+/省选-

题目来源：四川 2009 各省省选

不含前导零且相邻两个数字之差至少为的正整数被称为 windy 数。windy 想知道，在和之间，包括和，总共有多少个 windy 数？
对于全部的测试点，保证。

对于当前所填的数位，能进入下层循环的充要条件是它和前一个填入的数的绝对值大于等于。只需要在枚举当前为所填数字时加入判断即可，这也预示着我们的状态中就需要额外添加一维用来记录前一个填入的数。

特殊地，如果当前是前导零，那么下一个填入的非零数将作为数字的开头，应该是不受绝对值限制的。

1
int dfs(int pos, int pre, bool limit, bool zero) {
2
    // 当前位置  上一个数    顶上界      前导零
3
    int sum = 0;
4
    if (pos < 0) return 1;
5
    if (!limit && pre >= 0 && f[pos][pre] != -1) return f[pos][pre];
6
    for (int i = 0; i <= (limit ? num[pos] : 9); i++) {
7
        if (abs(i - pre) < 2) continue; // 绝对值之差必须大于等于2
8
        if (!i && zero) sum += dfs(pos - 1, -2, limit && i == num[pos], true); // 当前为前导零，下一位不受限制，填入小于等于-2或大于等于12的数均可
9
        else sum += dfs(pos - 1, i, limit && i == num[pos], false);
10
    }
11
    if (!limit && !zero) f[pos][pre] = sum;
12
    return sum;
13
}

洛谷 P4124 [CQOI2016] 手机号码#

题目地址：P4124

题目难度：提高+/省选-

题目来源：重庆 2016 各省省选

一个符合要求的电话号码必须同时包含以下两个条件：号码中要出现至少个相邻的相同数字；号码中不能同时出现和。
手机号码一定是位数，且不含前导的。请你统计出区间内所有满足条件的号码数量。和也是位的手机号码。
数据范围：。

考虑加入维度，一个用来判定电话号码中是否出现、一个判断的存在，此时再来维护“三个相邻的相同数字”这一条件，用一个布尔值来判断是否已经有三个及以上的相邻数字，此时再加一个最长连续长度，每次判断是否大于等于即可。

由于计算时涉及到前缀和相减，当下界卡在上时可能就错了。最好的方法是先用代码求解一遍取值为时的结果，特判并减去这个特殊值即可。

1
ll dfs(int pos, int pre, bool limit, bool zero, bool _4, bool _8, bool cont, int last) {
2
    //  位置    前一个数    顶上界      前导零     出现4    出现8  是否三数连续 当前连续数
3
    if (_4 & _8) return 0;
4
    if (pos < 0) return cont;
5
    if (!limit && pre >= 0 && f[pos][pre][last][_4][_8][cont] >= 0) return f[pos][pre][last][_4][_8][cont];
6
    ll sum = 0;
7
    for (int i = 0; i <= (limit ? num[pos] : 9); i++) {
8
        if (!i && zero) sum += dfs(pos - 1, -1, limit & i == num[pos], true, _4, _8, false, 0);
9
        else sum += dfs(pos - 1, i, limit & i == num[pos], false, _4 | i == 4, _8 | i == 8, cont | (i == pre ? last + 1 >= 3 : false), i == pre ? last + 1 : 1);
10
    }
11
    if (!limit && !zero) f[pos][pre][last][_4][_8][cont] = sum;
12
    return sum;
13
}
14

15
ll calc(ll x) {
16
    num.clear();
17
    ll tmp = x;
18
    while (tmp) {
19
        num.push_back(tmp % 10);
20
        tmp /= 10;
21
    }
22
    if (num.size() < 11) return 485218848ll; // 特判
23
    memset(f, -1, sizeof f);
24
    return dfs(num.size() - 1, -2, true, true, false, false, false, 0);
25
}

洛谷 P4317 花神的数论题#

题目地址：P4317

题目难度：提高+/省选-

设表示的二进制表示中的个数。给出一个正整数，花神要问你，也就是的乘积。结果对取模。
对于的数据，。

乍看还不太好想，但是当我们把数字变为二进制表示后，最多也只有位。一般地，对于任意，我们求出二进制表示下恰好包含个的数的总数，假设结果记作，那么最终答案就会是，此时使用快速幂维护即可。

1
ll dfs(int pos, bool pre, bool limit, int cnt, int target) {
2
    //  位置    前一个数    顶上界    填入1的个数 要求的1的个数
3
    if (pos < 0) return cnt == target;
4
    if (!limit && f[pos][cnt][pre] >= 0) return f[pos][cnt][pre];
5
    ll sum = 0;
6
    for (int i = 0; i <= (limit ? num[pos] : 1); i++) {
7
        sum += dfs(pos - 1, i, limit & i == num[pos], cnt + i, target);
8
    }
9
    if (!limit) f[pos][cnt][pre] = sum;
10
    return sum;
11
}

洛谷 P4127 [AHOI2009] 同类分布#

题目地址：P4127

题目难度：提高+/省选-

题目来源：安徽 2009 各省省选

给出两个数，求出中各位数字之和能整除原数的数的个数。
对于所有的数据，

根据题目所给的数据范围，最大可能的数位和仅为。于是考虑枚举这个数位和，同时维护一个当前数模这个数位和的余数，一个数符合要求当且仅当填完所有数之后余数为。末尾填数的过程可以看作把原数乘再加上当前的数，余数也可以通过乘十加上当前数再取模得到。

1
ll dfs(int pos, int cur, ll now, bool limit, int m) {
2
    //  位置   当前数位和 当前余数   顶上界  枚举的数位和
3
    if (pos < 0) return cur == m && now == 0;
4
    if (!limit && f[pos][now][cur] >= 0) return f[pos][now][cur];
5
    ll sum = 0;
6
    for (int i = 0; i <= (limit ? num[pos] : 9); i++) {
7
        sum += dfs(pos - 1, cur + i, (now * 10 + i) % m, limit & i == num[pos], m);
8
    }
9
    if (!limit) f[pos][now][cur] = sum;
10
    return sum;
11
}

洛谷 P6218 [USACO06NOV] Round Numbers S#

题目地址：P6218

题目难度：提高+/省选-

题目来源：USACO 2006

如果一个正整数的二进制表示中，的数目不小于的数目，那么它就被称为「圆数」。请你计算，区间中有多少个「圆数」。
对于的数据，。

（二进制下）维护当前填了多少个和多少个，同时注意前导零对数位统计上的影响即可。一个数合法当且仅当的个数大于等于的个数。

1
int dfs(int pos, bool pre, int _0, int _1, bool limit, bool zero) {
2
    //   位置    上一个数   0的个数 1的个数    顶上界      前导零
3
    if (pos < 0) return _0 >= _1 && _0; // 必须填过0，以防前导零带来错误
4
    if (!limit && !zero && f[pos][_0][_1][pre] >= 0) return f[pos][_0][_1][pre];
5
    int sum = 0;
6
    for (int i = 0; i <= (limit ? num[pos] : 1); i++) {
7
        sum += dfs(pos - 1, i, !i & zero ? 0 : _0 + !i, !i & zero ? 0 : _1 + i, limit & i == num[pos], zero & !i);
8
    }
9
    if (!limit && !zero) f[pos][_0][_1][pre] = sum;
10
    return sum;
11
}

CF 55D Beautiful Numbers#

题目地址：CF 55D

题目难度：省选/NOI-

Volodya 认为一个数字是美丽的，当且仅当并且对于的每一个非零位上的数，都有。你需要帮助他算出在区间中有多少个数是美丽的。
组数据。。保证都是整数，且的十进制表示小于等于位。

感觉跟刚刚切掉的“同类分布”这道题很像，但是这道题要求每一位上的数都整除原数。我们引入一个很有趣的数学常识。

Note

某个数若能被若干个数整除，那么这个数也一定能被它们的最小公倍数整除。

因为它们的最小公倍数的因子一定能够完全包含这些数，因此结论显然是成立的。那么我们可以维护一个已填入的所有非零数的最小公倍数，解合法当且仅当最终的数字能被这个最小公倍数整除。但是这样就还得维护当前拼出的数，这显然不现实（），转而寻找替代方案。

注意到填入的数字最多把都选一遍（不计入最小公倍数）。无论如何，每个数位都只能是一个区间内的数字。最坏情况下把都选进数中，此时所有数位的最小公倍数就是。也就是说，只要我们拼出来的数能够被整除，那么无论每一位上是多少，它都是合法的。于是可以效仿“同类分布”这道题，采用记录余数的方法来判别。此时记忆化维度仍然过高，又注意到的因数仅有个，于是将每个因数离散化存在一个数组中，不难发现，维护的最小公倍数永远都是的某个因子。至此，我们就做完了这道题。

1
ll dfs(int pos, bool limit, int m, int lcm) {
2
    //  位置      顶上界     余数  最小公倍数
3
    if (pos < 0) return m % lcm == 0;
4
    if (!limit && f[pos][m][fac[lcm]] >= 0) return f[pos][m][fac[lcm]];
5
    ll sum = 0;
6
    for (int i = 0; i <= (limit ? num[pos] : 9); i++) {
7
        // 若该位非零，则更新最小公倍数；反之不更新
8
        sum += dfs(pos - 1, limit & (i == num[pos]), (m * 10 + i) % 2520, i ? std::lcm(i, lcm) : lcm);
9
    }
10
    if (!limit) f[pos][m][fac[lcm]] = sum;
11
    return sum;
12
}
13

14
void init() {
15
    // 离散化因子
16
    int idx = 0;
17
    for (int i = 1; i <= 2520; i++) {
18
        if (2520 % i == 0) {
19
            fac[i] = ++idx;
20
        }
21
    }
22
}

洛谷 P3413 SAC#1 萌数#

题目地址：P3413

题目难度：省选/NOI-

定义萌数为满足“存在长度至少为的回文子串”的数。请求出到内有多少个萌数。答案对（）取模。
对于全部的数据，，。

这道题如果遍历整个数去判断是否存在回文会非常难办，因此想个办法来简化这一过程。注意到我们其实只关注数字中是否出现符合要求的回文串，而不关心这个回文串有多少。当一个串是回文串时，两个端点同时向内收缩一个字符得到的子串也同样是一个回文串。因此其实只用分两种最简情况讨论即可，因为其他情况都可以被转化为这两种情况。

第一种是长度恰好为的回文串，也就是前后两个数相同。此时只需要维护前一个数的情况就好；第二种是长度为的回文串，显然首尾需相同，中间任意填。此时就需要额外维护前第二个数的情况。

注意由于答案输出需要取模，而数位DP又涉及到减法，为了避免负数取模出错，故在差后加上一个模数再整体取模。并且注意到读入数据特大，因此写一个高精度减一的函数来预处理。

1
ll dfs(int pos, int pre, int pre2, bool limit, bool zero, bool ok) {
2
    //  位置    前一个数  再前一个    顶上界      前导零   是否是萌数
3
    if (pos < 0) return ok;
4
    if (!limit && !zero && f[pos][pre][pre2][ok] >= 0) return f[pos][pre][pre2][ok];
5
    ll sum = 0;
6
    for (int i = 0; i <= (limit ? num[pos] : 9); i++) {
7
        if (!i && zero) sum = (sum + dfs(pos - 1, 10, 10, limit & (i == num[pos]), true, false)) % MOD;
8
        else sum = (sum + dfs(pos - 1, i, pre, limit & (i == num[pos]), false, ok | (i == pre | i == pre2))) % MOD; // 要么是长度为2，要么长度为3
9
    }
10
    if (!limit && !zero) f[pos][pre][pre2][ok] = sum;
11
    return sum;
12
}
13

14
void init(string &s) {
15
    // 高精度
16
    for (size_t i = s.length() - 1; ~i; i--) {
17
        if (s[i] > '0') {
18
            s[i]--;
19
            break;
20
        }
21
        s[i] = '9';
22
    }
23
}

洛谷 P6371 [COCI2006-2007 #6] V#

题目地址：P6371

题目难度：省选/NOI-

题目来源：COCI Croatian 2007

使用给定的数字，组成一些在之间的数使得这些数每个都能被整除。
对于的数据，保证，。

我们已经解决了很多关于整除的数位DP了，状态设计感觉还挺简单，预处理能填的数字，然后从备选能填的数字中选数来填，维护模数即可。由于状态普通数组存不下（万一模数会很大），考虑使用 STL 来处理这个点。填数时有一个细节是，如果备选数字中没有给，但是我们仍然可以用来当前导零占位，如果不判会 WA 一个点。

然后我们成功 MLE/TLE 了，这是因为我们记录了太多无用且为的状态。也就是说我们需要找到一个方法来加速无解情况的判断，无解其实就是最终的模数不为。如果不是全，那么要让模数为，只有在当前的数大于等于给定模数时才能做到。

假设当前位置为，当前的模数为，要求被整除。我们大胆假设一个特殊情况——后面的位全填。那么当全填上后，模数就应该是。要想最终模数为，那么至少就应该让模数增加，那么当剩下的位全填都还小于这个标准时，那么铁定无解，判断即可。

1
ll dfs(int pos, bool limit, bool zero, ll m, ll x) {
2
    //  位置      顶上界      前导零    模数  题目中的X
3
    if (pos < 0) return !zero && m == 0;
4
    if (!limit && !zero && f.count((PILL) {pos, m})) return f[(PILL) {pos, m}];
5
    ll sum = 0;
6
    // 无解特判部分
7
    ll check = m, tmp = 0;
8
    for (int i = 1; i <= pos + 1; i++) check = check * 10ll % x;
9
    check = (x - check + x) % x;
10
    for (int i = 1; i <= pos + 1; i++) {
11
        tmp = tmp * 10 + candidates.back();
12
        if (tmp > check) break;
13
    }
14
    if (tmp < check) return 0;
15
    for (int i: candidates) {
16
        if (limit && i > num[pos]) break;
17
        if (!i && zero) sum += dfs(pos - 1, limit & (i == num[pos]), true, 0, x);
18
        else if (!allowZero && !i) continue; // 不为前导零，但是不允许填零
19
        else sum += dfs(pos - 1, limit & (i == num[pos]), false, (m * 10 % x + i) % x, x);
20
    }
21
    if (!limit && !zero) f[(PILL) {pos, m}] = sum;
22
    return sum;
23
}

音乐

JustPureH₂O

穷方圆平直之情，尽规矩准绳之用

音乐

数位DP 简介#

数位DP 基本实现#

数位DP 经典例题#

洛谷 P1708 [入门赛 #21] 星云 hard ver.#

洛谷 P2602 [ZJOI2010] 数字计数#

洛谷 P2657 [SCOI2009] windy 数#

洛谷 P4124 [CQOI2016] 手机号码#

洛谷 P4317 花神的数论题#

洛谷 P4127 [AHOI2009] 同类分布#

洛谷 P6218 [USACO06NOV] Round Numbers S#

CF 55D Beautiful Numbers#

洛谷 P3413 SAC#1 萌数#

洛谷 P6371 [COCI2006-2007 #6] V#

支持与分享

评论区

音乐

目录

音乐

JustPureH2O

穷方圆平直之情，尽规矩准绳之用

音乐

记忆化搜索 数位DP

数位DP 简介#

数位DP 基本实现#

数位DP 经典例题#

洛谷 P1708 [入门赛 #21] 星云 hard ver.#

洛谷 P2602 [ZJOI2010] 数字计数#

洛谷 P2657 [SCOI2009] windy 数#

洛谷 P4124 [CQOI2016] 手机号码#

洛谷 P4317 花神的数论题#

洛谷 P4127 [AHOI2009] 同类分布#

洛谷 P6218 [USACO06NOV] Round Numbers S#

CF 55D Beautiful Numbers#

洛谷 P3413 SAC#1 萌数#

洛谷 P6371 [COCI2006-2007 #6] V#

支持与分享

评论区

音乐

目录

JustPureH₂O

记忆化搜索数位DP