Karatsuba与大数相乘

最新推荐文章于 2024-03-28 10:38:45 发布

noob张

最新推荐文章于 2024-03-28 10:38:45 发布

阅读量569

点赞数

分类专栏：算法文章标签：矩阵算法

本文链接：https://blog.csdn.net/noob_zhang/article/details/106875901

版权

本文介绍了Karatsuba乘法算法，一种比暴力算法更高效的分治策略，用于大数相乘。通过二分法将乘法问题分解，减少乘法操作，从而降低时间复杂度到Θ(nlog23)。此外，还探讨了基于Karatsuba的三分法，进一步优化算法，时间复杂度达到O(nlog35)。

摘要由CSDN通过智能技术生成

Karatsuba算法-大数相乘

暴力算法
- 时间复杂度： $O(n^{2})$
Karatsuba乘法（二分法）
- - 注：
- 时间复杂度： $\Theta(n^{log^{3}_{2}})$
对Karatsuba算法进行类推（三分法）
- 时间复杂度： $T(n)=O(n^{log^{5}_{3}})$

暴力算法

	  X X X X
	  X X X X
	---------
	  X X X X		\
    X X X X		 	 \ O(n^2) 次相乘 + O(n^2)次相加
  X X X X		     / = O(n^2)
X X X X				/
--------------
X X X X X X X

时间复杂度： $O(n^{2})$

Karatsuba乘法（二分法）

基于Divide-and-conquer，将一个大小为 $n$ 的问题分解（divide）成 $a$ 个大小为 ${\frac{n}{a}}$ 小问题，再对每一个小问题进行处理。

对输入的两个数 $A, B$ ，分为两段：
$\begin{aligned} &A = A{_1}2^{\frac{n}{2}} + A{_0} \\ &B = B{_1}2^{\frac{n}{2}} + B{_0} \\ &AB = A{_1}B{_1}2^{n} + (A{_1}B{_0}+A{_0}B{_1})2^{\frac{n}{2}}+A{_0}B{_0} \\ &AB = A{_1}B{_1}2^{n} + ((A{_1}+A{_0})(B{_0}+B{_1})-A{_1}B{_1}-A{_0}B{_0})2^{\frac{n}{2}}+A{_0}B{_0} \end{aligned}$

现在只有3个乘法： $A{_1}+A{_0})(B{_0}+B{_1}), A{_1}B{_1}, A{_0}B{_0}$ ，省去一个乘法。

注：

计算机在完成 $A{_1}B{_1}, A{_0}B{_0}$ 的计算后，可以存储在内存中等待直接调用
计算机本质都是以二进制进行存储，所以基于这种方式拆分数字是很效的

时间复杂度： $\Theta(n^{log^{3}_{2}})$

设两个长度为 $n$ 的数字相乘所需的时间为 $T (n)$ ，分解为2段大小为 ${\frac{n}{2}}$ ，需要进行 3 次长度为 ${\frac{n}{2}}$ 的数字相乘 $T(n)=3T({\frac{n}{2}})$ ，每一项相乘所得结果进行相加，为线性关系，即 $c n$ 。
$T(n)=3T({\frac{n}{2}})+cn$

对 $T (n)$ 进行求解，基于master therom：
$\qquad b=2; \qquad f(n) = cn; \qquad n^{log^{b}_{a}} =n^{log^{3}_{2}}$ $\begin{aligned} &f(n) = cn=cn^{log^{3}_{2}-\varepsilon} \\ &0 < \varepsilon < 0.5 \\ &T(n) = \Theta(n^{log^{3}_{2}}) \le \Theta(n^{1.585}) \end{aligned}$