Maths Olympiad Prep

Library / /80 of 520

Algebra Difficulty 5.5 AIME, harder Prove it

22. a) If AA and BB are n×nn \times n matrices, with entries aija_{i j} and bijb_{i j} for 1in1 \leqslant i \leqslant n, 1jn1 \leqslant j \leqslant n, then ABA B is the n×nn \times n matrix with entries cij=k=1naikbkjc_{i j}=\sum_{k=1}^{n} a_{i k} b_{k j}. Show that n3n^{3} multiplications of integers are used to find ABA B directly from its definition.
b) Show it is possible to multiply two 2×22 \times 2 matrices using only seven multiplications of integers by using the identity
where x=a11b11(a11a21a22)(b11b12+b22)x=a_{11} b_{11}-\left(a_{11}-a_{21}-a_{22}\right)\left(b_{11}-b_{12}+b_{22}\right).
c) Using an inductive argument, and splitting 2n×2n2 n \times 2 n matrices into four n×nn \times n matrices, show that it is possible to multiply two 2k×2k2^{k} \times 2^{k} matrices using only 7k7^{k} multiplications, and less than 7k+17^{k+1} additions.
d) Conclude from part (c) that two n×nn \times n matrices can be multiplied using O(nlog27)O\left(n^{\log _{2} 7}\right) bit operations when all entries of the matrices have less than cc bits, where cc is a constant.
(a11a12a21a22)(b11b12b21b22)=(a11b11+a12b21x+(a21+a22)(b12b11)+(a11+a12a21a22)b22x+(a11a21)(b22b12)x+(a11a21)(b22b12)+a22(b11b21b12+b22)(a21+a22)(b12b11))\begin{array}{l} \left(\begin{array}{ll} a_{11} & a_{12} \\ a_{21} & a_{22} \end{array}\right) \quad\left(\begin{array}{ll} b_{11} & b_{12} \\ b_{21} & b_{22} \end{array}\right)= \\ \left(\begin{array}{cc} a_{11} b_{11}+a_{12} b_{21} & x+\left(a_{21}+a_{22}\right)\left(b_{12}-b_{11}\right)+ \\ & \left(a_{11}+a_{12}-a_{21}-a_{22}\right) b_{22} \\ x+\left(a_{11}-a_{21}\right)\left(b_{22}-b_{12}\right)- & x+\left(a_{11}-a_{21}\right)\left(b_{22}-b_{12}\right)+ \\ a_{22}\left(b_{11}-b_{21}-b_{12}+b_{22}\right) & \left(a_{21}+a_{22}\right)\left(b_{12}-b_{11}\right) \end{array}\right) \end{array}

Solution

None

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.