标准整数类型不能直接算大数乘法,因为int、long long等有固定位宽,超限即溢出;Karatsuba通过字符串均分、补零对齐、合理设递归终止条件(如长度≤2)来避免索引越界与错位。

为什么标准整数类型不能直接算大数乘法
因为 int、long long 等内置类型有固定位宽,超限就溢出或截断。比如两个 1000 位十进制数相乘,结果最多 2000 位,远超 unsigned long long 的 64 位表达能力。必须用字符串或 vector 存储每一位,再手动模拟乘法逻辑——而 Karatsuba 是其中少有的能突破 O(n²) 时间瓶颈的方案。
Karatsuba 的核心拆分逻辑怎么写才不出错
关键不是“递归调用”,而是如何把字符串按长度均分、补零对齐、避免索引越界。常见错误是:没处理奇数长度导致左右半边不等长;没统一补前导零导致后续加减错位;递归基没设好(比如长度 ≤ 2 时直接转 stoi 会崩)。
- 用
string表示大数,从高位到低位存储(如"123"就是百位在前) - 拆分时取
len / 2,左半用s.substr(0, mid),右半用s.substr(mid),不足位补'0'前缀 - 递归终止条件建议设为
s1.length() ,此时转成 <code>stoll计算再转回string,比手写个位乘更稳 - 中间三项计算顺序别乱:
z0 = karatsuba(low1, low2)、z1 = karatsuba(high1 + low1, high2 + low2)、z2 = karatsuba(high1, high2),最后组合为z2 * 10^(2*mid) + (z1 - z2 - z0) * 10^mid + z0
字符串模拟大数加减时容易漏掉的细节
Karatsuba 里频繁出现字符串加法(如 high1 + low1)和减法(z1 - z2 - z0),但 C++ 没原生支持。自己写 string_add 和 string_sub 时,最容易翻车的是:没处理借位导致负结果、没删前导零让后续长度判断失效、加法进位漏加到最后一位。
-
string_add(a, b):从末尾对齐逐位加,用carry记进位,结果反转后去掉开头的'0'(但全零要留一个) -
string_sub(a, b):先确保a >= b(可写个string_cmp),再从末尾减,借位用borr标记,结果同样去前导零 - 所有中间结果(如
z1 - z2 - z0)必须允许负值,所以string_sub要能返回带负号的字符串,或者统一用绝对值+符号位管理
性能陷阱:什么时候该切回普通乘法
Karatsuba 理论复杂度是 O(n^log₂3) ≈ O(n^1.585),但常数很大。实际中,对 50 位以下的数,朴素 O(n²) 乘法反而更快——因为函数调用开销、字符串拷贝、内存分配拖累太大。
立即学习“C++免费学习笔记(深入)”;
- 实测经验:当
max(s1.length(), s2.length()) 时,直接用双层 for 循环模拟竖式乘法更高效 - 别在每次递归都 new string;用
const string&传参,内部只拷贝必要子串 - 如果输入含大量前导零(如
"000...0123"),务必提前用erase清理,否则长度误判会让拆分完全错乱
真正卡点的往往不是算法逻辑,而是字符串边界处理和小规模退化策略——写完先拿 "999 * 999" 和 "12345678901234567890 * 98765432109876543210" 这类样例跑一遍,再看中间步骤的 high1、low2 是否真按预期切开了。


















