题目描述

这是 LeetCode 上的 ​​306. 累加数​​ ,难度为 中等

Tag : 「回溯算法」、「高精度」

累加数 是一个字符串,组成它的数字可以形成累加序列。

一个有效的 累加序列 必须 至少 包含 ​​3​​ 个数。除了最开始的两个数以外,字符串中的其他数都等于它之前两个数相加的和。

给你一个只包含数字 ​​'0'-'9'​​​ 的字符串,编写一个算法来判断给定输入是否是 累加数 。如果是,返回 ​​true​​​ ;否则,返回 ​​false​​ 。

说明:累加序列里的数 不会 以 ​​0​​​ 开头,所以不会出现 ​​1​​​, ​​2​​​, ​​03​​​ 或者 ​​1​​​, ​​02​​​, ​​3​​ 的情况。

示例 1:

输入:"112358"

输出:true

解释:累加序列为: 1, 1, 2, 3, 5, 8 。1 + 1 = 2, 1 + 2 = 3, 2 + 3 = 5, 3 + 5 = 8

示例 2:

输入:"199100199"

输出:true

解释:累加序列为: 1, 99, 100, 199。1 + 99 = 100, 99 + 100 = 199

提示:

  • ​num​​​ 仅由数字(​​0​​​ -​​9​​)组成

进阶:你计划如何处理由过大的整数输入导致的溢出?

回溯 + 高精度加法

给定的 的长度只有 ,且要求序列的第三个数开始由前两个数相加而来。

容易想到通过 ​​DFS​​ 爆搜每个数的分割点,同时利用累加数的特性(第三个数起,每个数均由为前两数之和)进行剪枝。

具体的,我们可以实现一个 ​​boolean dfs(int u)​​​ 函数,入参为当前决策到 的哪一位,返回值为决策结果(序列)是否为累加数序列,爆搜过程中的分割数序列存放到 中。

由于是 从位置 作为开始位置决策如何分割出当前数 ,我们可以枚举当前数的结束位置,范围为 ,但需要注意分割数不能包含前导零,即如果 ,则当前数只能为

同时,一个合法的分割数必然满足「其值大小为前两数之和」,因此当前数 能够被添加到 的充要条件为:

  1. 长度不足,即为序列中的前两数,不存在值大小的约束问题,可以被直接到并继续爆搜;
  2. 长度大于等于,即需要满足「其值大小为前两数之和」要求,以此条件作为剪枝,满足要求的才能追加到中并继续爆搜。

最后,在整个 ​​DFS​​​ 过程中我们需要监测「当前数」与「前两数之和」是否相等,而分割数长度最大为 ,存在溢出风险,我们需要实现「高精度加法」,实现一个 ​​​check​​​ 函数,用于检查 ​​a + b​​​ 是否为 ​​c​​​,其中 ​​a​​​、​​b​​​ 和 ​​c​​​ 均为使用「逆序」存储数值的数组(最高位对应个位,举个 ????,,则有 ​​​[5, 3]​​)。

若爆搜过程能顺利结束(得到长度至少为 的序列),则说明能够拆分出累加数序列,返回 ​​​True​​​,否则返回 ​​False​​。

至此,我们解决了本题,并通过引入「高精度」来回答了「进阶」部分的问题。

代码:

class Solution {
String num;
int n;
List<List<Integer>> list = new ArrayList<>();
public boolean isAdditiveNumber(String _num) {
num = _num;
n = num.length();
return dfs(0);
}
boolean dfs(int u) {
int m = list.size();
if (u == n) return m >= 3;
int max = num.charAt(u) == '0' ? u + 1 : n;
List<Integer> cur = new ArrayList<>();
for (int i = u; i < max; i++) {
cur.add(0, num.charAt(i) - '0');
if (m < 2 || check(list.get(m - 2), list.get(m - 1), cur)) {
list.add(cur);
if (dfs(i + 1)) return true;
list.remove(list.size() - 1);
}
}
return false;
}
boolean check(List<Integer> a, List<Integer> b, List<Integer> c) {
List<Integer> ans = new ArrayList<>();
int t = 0;
for (int i = 0; i < a.size() || i < b.size(); i++) {
if (i < a.size()) t += a.get(i);
if (i < b.size()) t += b.get(i);
ans.add(t % 10);
t /= 10;
}
if (t > 0) ans.add(t);
boolean ok = c.size() == ans.size();
for (int i = 0; i < c.size() && ok; i++) {
if (c.get(i) != ans.get(i)) ok = false;
}
return ok;
}
}
  • 时间复杂度:爆搜的复杂度为指数级别,且存在剪枝操作,分析时空复杂度意义不大
  • 空间复杂度:爆搜的复杂度为指数级别,且存在剪枝操作,分析时空复杂度意义不大

最后

这是我们「刷穿 LeetCode」系列文章的第 ​​No.306​​ 篇,系列开始于 2021/01/01,截止于起始日 LeetCode 上共有 1916 道题目,部分是有锁题,我们将先把所有不带锁的题目刷完。

在这个系列文章里面,除了讲解解题思路以外,还会尽可能给出最为简洁的代码。如果涉及通解还会相应的代码模板。

为了方便各位同学能够电脑上进行调试和提交代码,我建立了相关的仓库:​​github.com/SharingSour…​​ 。

在仓库地址里,你可以看到系列文章的题解链接、系列文章的相应代码、LeetCode 原题链接和其他优选题解。