Applied Symbolic Computation CS 300 Karatsubas Algorithm for
Applied Symbolic Computation (CS 300) Karatsuba’s Algorithm for Integer Multiplication Jeremy R. Johnson Applied Symbolic Computation 1
Introduction • Objective: To derive a family of asymptotically fast integer multiplication algorithms using polynomial interpolation – – – – Karatsuba’s Algorithm Polynomial algebra Interpolation Vandermonde Matrices Toom-Cook algorithm Polynomial multiplication using interpolation Faster algorithms for integer multiplication References: Lipson, Cormen et al. Applied Symbolic Computation 2
Karatsuba’s Algorithm • Using the classical pen and paper algorithm two n digit 2) operations. Karatsuba integers can be multiplied in O(n came up with a faster algorithm. • Let A and B be two integers with – A = A 110 k + A 0, A 0 < 10 k – B = B 110 k + B 0, B 0 < 10 k – C = A*B = (A 110 k + A 0)(B 110 k + B 0) = A 1 B 110 2 k + (A 1 B 0 + A 0 B 1)10 k + A 0 B 0 Instead this can be computed with 3 multiplications • T 0 = A 0 B 0 • T 1 = (A 1 + A 0)(B 1 + B 0) • T 2 = A 1 B 1 • C = T 210 2 k + (T 1 - T 0 - T 2)10 k + T 0 Applied Symbolic Computation 3
Complexity of. Karatsuba’s Algorithm • Let T(n) be the time to compute the product of two n-digit numbers using. Karatsuba’s algorithm. Assume n = 2 k. T(n) = (nlg(3) ), lg(3) 1. 58 • T(n) 3 T(n/2) + cn 3(3 T(n/4) + c(n/2)) + cn = 3 2 T(n/2 2) + cn(3/2 + 1) 32(3 T(n/2 3) + c(n/4)) + cn(3/2 + 1) = 3 3 T(n/2 3) + cn(3 2/2 2 + 3/2 + 1) … 3 i. T(n/2 i) + cn(3 i-1/2 i-1 + … + 3/2 + 1). . . cn[((3/2) k - 1)/(3/2 -1)] --- Assuming T(1) c 2 c(3 k - 2 k) 2 c 3 lg(n) = 2 cnlg(3) Applied Symbolic Computation 4
Divide & Conquer Recurrence Assume T(n) = a. T(n/b) + (n) • T(n) = (n) [a < b] • T(n) = (nlog(n)) [a = b] • T(n) = (nlogb(a) ) [a > b] Applied Symbolic Computation 5
Polynomial Algebra • Let F[x] denote the set of polynomials in the variable x whose coefficients are in the field F. • F[x] becomes an algebra where +, * are defined by polynomial addition and multiplication. Applied Symbolic Computation 6
Interpolation • A polynomial of degree n is uniquely determined by its value at (n+1) distinct points. Theorem: Let A(x) and B(x) be polynomials of degree m. If A( i) = B( i) for i = 0, …, m, then A(x) = B(x). Proof. Recall that a polynomial of degree m has m roots. A(x) = Q(x)(x- ) + A( ), if A( ) = 0, A(x) = Q(x) (x- ), and deg(Q) = m-1 Consider the polynomial C(x) = A(x) - B(x). Since C( i) = A( i) B( i) = 0, for m+1 points, C(x) = 0, and A(x) must equal B(x). Applied Symbolic Computation 7
Lagrange Interpolation Formula • Find a polynomial of degree m given its value at (m+1) distinct points. Assume A( i) = yi • Observe that Applied Symbolic Computation 8
Matrix Version of Polynomial Evaluation • Let A(x) = a 3 x 3 + a 2 x 2 + a 1 x + a 0 • Evaluation at the points , , , is obtained from the following matrix-vector product Applied Symbolic Computation 9
Matrix Interpretation of Interpolation • Let A(x) = anxn + … + a 1 x +a 0 be a polynomial of degree n. The problem of determining the (n+1) coefficientsna, …, a 1, a 0 from the (n+1) values A( 0), …, A( n) is equivalent to solving the linear system Applied Symbolic Computation 10
Vandermonde Matrix V( 0, …, n) is non-singular when 0, …, n are distinct. Applied Symbolic Computation 11
Polynomial Multiplication using Interpolation • Compute C(x) = A(x)B(x), where degree(A(x)) = m, and degree(B(x)) = n. Degree(C(x)) = m+n, and C(x) is uniquely determined by its value at m+n+1 distinct points. • [Evaluation] Compute A( i) and B( i) for distinct i, i=0, …, m+n. • [Pointwise Product] Compute C( i) = A( i)*B( i) for i=0, …, m+n. • [Interpolation] Compute the coefficients of C(x) c =nxm+n + … + c 1 x +c 0 from the points C( i) = A( i)*B( i) for i=0, …, m+n. Applied Symbolic Computation 12
Interpolation and. Karatsuba’s Algorithm • Let A(x) = A 1 x + A 0, B(x) = B 1 x + B 0, C(x) = A(x)B(x) = C 2 x 2 + C 1 x + C 0 • Then A(10 k) = A, B(10 k) = B, and C = C(10 k) = A(10 k)B(10 k) = AB • Use interpolation based algorithm: – – Evaluate A( ), A( ) and B( ), B( ) for = 0, = 1, and =. Compute C( ) = A( )B( ), C( ) = A( )B( ) Interpolate the coefficients. C 2, C 1, and C 0 Compute C = C 210 2 k + C 110 k + C 0 Applied Symbolic Computation 13
Matrix Equation for. Karatsuba’s Algorithm • Modified Vandermonde Matrix • Interpolation Applied Symbolic Computation 14
Integer Multiplication Splitting the Inputs into 3 Parts • Instead of breaking up the inputs into 2 equal parts as is done for Karatsuba’s algorithm, we can split the inputs into three equal parts. • This algorithm is based on an interpolation based polynomial product of two quadratic polynomials. • Let A(x) = A 2 x 2 + A 1 x + A 0, B(x) = B 2 x 2 + B 1 x + B, C(x) = A(x)B(x) = C 4 x 4 + C 3 x 3 + C 2 x 2 + C 1 x + C 0 • Thus there are 5 products. The divide and conquer part still takes time = O(n). Therefore the total computing time T(n) = 5 T(n/3) + O(n) = (nlog 3(5) ), log 3(5) 1. 46 Applied Symbolic Computation 15
Asymptotically Fast Integer Multiplication • We can obtain a sequence of asymptotically faster multiplication algorithms by splitting the inputs into more and more pieces. • If we split A and B into k equal parts, then the corresponding multiplication algorithm is obtained from an interpolation based polynomial multiplication algorithm of two degree (k-1) polynomials. • Since the product polynomial is of degree 2(k-1), we need to evaluate at 2 k-1 points. Thus there are (2 k-1) products. The divide and conquer part still takes time = O(n). Therefore the total computing time T(n) = (2 k-1)T(n/k) + O(n) = (nlogk(2 k-1) ). Applied Symbolic Computation 16
Asymptotically Fast Integer Multiplication • Using the previous construction we can find an algorithm to multiply two n digit integers in time (n 1+ ) for any positive. – logk(2 k-1) = logk(k(2 -1/k)) = 1 + logk(2 -1/k) – logk(2 -1/k) logk(2) = ln(2)/ln(k) 0. • Can we do better? • The answer is yes. There is a faster algorithm, with computing time (nlog(n)loglog(n)), based on the fast Fourier transform (FFT). This algorithm is also based on interpolation and the polynomial version of the CRT. Applied Symbolic Computation 17
- Slides: 17