分治法的经典问题——大整数相乘

请设计一个有效的算法，可以进行两个n位大整数的乘法运算。

 

参考解答

设X和Y都是n位的二进制整数，现在要计算它们的乘积XY。我们可以用小学所学的方法来设计一个计算乘积XY的算法，但是这样做计算步骤太多，显得效率较低。如果将每2个1位数的乘法或加法看作一步运算，那么这种方法要作O(n²)步运算才能求出乘积XY。下面我们用分治法来设计一个更有效的大整数乘积算法。

我们将n位的二进制整数X和Y各分为2段，每段的长为n/2位(为简单起见，假设n是2的幂)

由此，X=A2^n/2+B ，Y=C2^n/2+D。这样，X和Y的乘积为：

XY=(A2^n/2+B)(C2^n/2+D)=AC2ⁿ+(AD+CB)2^n/2+BD             (1)

如果按式(1)计算XY，则我们必须进行4次n/2位整数的乘法(AC，AD，BC和BD)，
以及3次不超过n位的整数加法(分别对应于式(1)中的加号)，此外还要做2次移位(分别对应于式(1)中乘2ⁿ和乘2^n/2)。所有这些加法和移位共用O(n)步运算。设T(n)是2个n位整数相乘所需的运算总数，则由式(1)，我们有:

                             (2)

由此可得T(n)=O(n²)。因此，用(1)式来计算X和Y的乘积并不比小学生的方法更有效。要想改进算法的计算复杂性，必须减少乘法次数。为此我们把XY写成另一种形式:

XY=AC2ⁿ+[(A-B)(D-C)+AC+BD]2^n/2+BD                     (3)

虽然，式(3)看起来比式(1)复杂些，但它仅需做3次n/2位整数的乘法(AC，BD和(A-B)(D-C))，6次加、减法和2次移位。由此可得:

                                 (4)

用解递归方程的套用公式法马上可得其解为T(n)=O(n^log3)=O(n^1.59)。利用式(3)，并考虑到X和Y的符号对结果的影响，我们给出大整数相乘的完整算法MULT如下:

function MULT(X，Y，n); {X和Y为2个小于2n的整数，返回结果为X和Y的乘积XY}
begin
  S:=SIGN(X)*SIGN(Y); {S为X和Y的符号乘积}
  X:=ABS(X);
  Y:=ABS(Y); {X和Y分别取绝对值}
  if n=1 then
     if (X=1)and(Y=1) then return(S)
                      else return(0)
         else begin
                A:=X的左边n/2位;
                B:=X的右边n/2位;
                C:=Y的左边n/2位;
                D:=Y的右边n/2位;
                ml:=MULT(A,C,n/2);
                m2:=MULT(A-B,D-C,n/2);
                m3:=MULT(B,D,n/2);
                S:=S*(m1*2n+(m1+m2+m3)*2n/2+m3);
                return(S);
              end;
end;

 

上述二进制大整数乘法同样可应用于十进制大整数的乘法以提高乘法的效率减少乘法次数。下面的例子演示了算法的计算过程。

设X=314l,Y=5327，用上述算法计算XY的计算过程可列表如下，其中带^'号的数值是在计算完成AC，BD，和(A-B)(D-C)之后才填入的。

---

X=3141        A=31       B=41        A-B=-10

Y=5327        C=53       D=27        D-C=-26

           AC=(1643)^'

           BD=(1107)^'

          (A-B)(D-C)=(260)^'

XY=(1643)^'10⁴+[(1643)^'+(260)^'+(1107)^']10²+(1107)^'

  =(16732107)^'

---

A=31        A₁=3       B₁=1        A₁-B₁=2

C=53        C₁=5       D₁=3        D₁-C₁=-2

           A₁C₁=15     B₁D₁=3     (A₁-B₁)(D₁-C₁)=-4

AC=1500+(15+3-4)10+3=1643

---

B=41        A₂=4       B₂=1        A₂-B₂=3

D=27        C₂=2       D₂=7        D₂-C₂=5

           A₂C₂=8     B₂D₂=7     (A₂-B₂)(D₂-C₂)=15

BD=800+(8+7+15)10+7=1107

---

|A-B|=10        A₃=1       B₃=0        A₃-B₃=1

|D-C|=26        C₃=2       D₃=6        D₃-C₃=4

           A₃C₃=2     B₃D₃=0     (A₃-B₃)(D₃-C₃)=4

(A-B)(D-C)=200+(2+0+4)10+0=260

---

如果将一个大整数分成3段或4段做乘法，计算复杂性会发生会么变化呢?是否优于分成2段做的乘法？这个问题请大家自己考虑。

 

 

代码的实现

[cpp]  view plain copy

1. /************************************************************************/  
2. //函数功能：分治法求两个N为的整数的乘积  
3. //输入参数：X,Y分别为两个N为整数  
4. //算法思想：  
5. //时间复杂度为：T(n)=O(nlog3)=O(n1.59)  
6. /************************************************************************/  
7. #define SIGN(A) ((A > 0) ? 1 : -1)  
8. int IntegerMultiply(int X, int Y, int N)  
9. {  
10.     int sign = SIGN(X) * SIGN(Y);  
11.     int x = abs(X);  
12.     int y = abs(Y);  
13.     if((0 == x) || (0 == y))  
14.         return 0;  
15.     if (1 == N)  
16.         return x*y;  
17.     else  
18.     {  
19.         int XL = x / (int)pow(10., (int)N/2);   
20.         int XR = x - XL * (int)pow(10., N/2);  
21.         int YL = y / (int)pow(10., (int)N/2);  
22.         int YR = y - YL * (int)pow(10., N/2);  
23.           
24.         int XLYL = IntegerMultiply(XL, YL, N/2);  
25.         int XRYR = IntegerMultiply(XR, YR, N/2);  
26.         int XLYRXRYL = IntegerMultiply(XL - XR, YR - YL, N/2) + XLYL + XRYR;  
27.         return sign * (XLYL * (int)pow(10., N) + XLYRXRYL * (int)pow(10., N/2) + XRYR);  
28.     }  
29. }  
30. int _tmain(int argc, _TCHAR* argv[])  
31. {  
32.     int x = 1234;  
33.     int y = 4321;  
34.     cout<<"x * y = "<<IntegerMultiply(x, y, 4)<<endl;  
35.     cout<<"x * y = "<<x*y<<endl;  
36.     return 0;  
37. }