Artifact ba1b2d78835ef59e8248b4cd7a56522db538b766:
0000: 2f 2f 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d //--------------
0010: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0020: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0030: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a ---------------.
0040: 2f 2f 20 4d 61 74 72 69 78 20 4f 70 65 72 61 74 // Matrix Operat
0050: 69 6f 6e 73 0a 2f 2f 0a 2f 2f 20 56 65 72 69 66 ions.//.// Verif
0060: 69 65 64 20 62 79 0a 2f 2f 20 20 20 2d 20 53 52 ied by.// - SR
0070: 4d 33 34 32 20 44 69 76 31 20 4c 56 33 0a 2f 2f M342 Div1 LV3.//
0080: 20 20 20 2d 20 53 52 4d 33 34 31 20 44 69 76 31 - SRM341 Div1
0090: 20 4c 56 33 0a 2f 2f 20 20 20 2d 20 53 52 4d 33 LV3.// - SRM3
00a0: 33 38 20 44 69 76 31 20 4c 56 32 0a 2f 2f 2d 2d 38 Div1 LV2.//--
00b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
00c0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
00d0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
00e0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 0a 74 65 6d -----------..tem
00f0: 70 6c 61 74 65 3c 74 79 70 65 6e 61 6d 65 20 54 plate<typename T
0100: 3e 0a 76 65 63 74 6f 72 3c 54 3e 20 4d 41 54 4d >.vector<T> MATM
0110: 55 4c 28 63 6f 6e 73 74 20 76 65 63 74 6f 72 3c UL(const vector<
0120: 20 76 65 63 74 6f 72 3c 54 3e 20 3e 26 20 61 2c vector<T> >& a,
0130: 20 63 6f 6e 73 74 20 76 65 63 74 6f 72 3c 54 3e const vector<T>
0140: 26 20 76 29 0a 7b 0a 09 69 6e 74 20 4e 20 3d 20 & v).{..int N =
0150: 61 2e 73 69 7a 65 28 29 3b 0a 09 76 65 63 74 6f a.size();..vecto
0160: 72 3c 54 3e 20 75 28 4e 29 3b 0a 09 66 6f 72 28 r<T> u(N);..for(
0170: 69 6e 74 20 69 3d 30 3b 20 69 3c 4e 3b 20 2b 2b int i=0; i<N; ++
0180: 69 29 0a 09 66 6f 72 28 69 6e 74 20 6a 3d 30 3b i)..for(int j=0;
0190: 20 6a 3c 4e 3b 20 2b 2b 6a 29 0a 09 09 75 5b 69 j<N; ++j)...u[i
01a0: 5d 20 2b 3d 20 61 5b 69 5d 5b 6a 5d 2a 76 5b 6a ] += a[i][j]*v[j
01b0: 5d 3b 0a 09 72 65 74 75 72 6e 20 75 3b 0a 7d 0a ];..return u;.}.
01c0: 0a 74 65 6d 70 6c 61 74 65 3c 74 79 70 65 6e 61 .template<typena
01d0: 6d 65 20 54 3e 0a 76 65 63 74 6f 72 3c 20 76 65 me T>.vector< ve
01e0: 63 74 6f 72 3c 54 3e 20 3e 20 4d 41 54 4d 55 4c ctor<T> > MATMUL
01f0: 28 63 6f 6e 73 74 20 76 65 63 74 6f 72 3c 20 76 (const vector< v
0200: 65 63 74 6f 72 3c 54 3e 20 3e 26 20 61 2c 20 63 ector<T> >& a, c
0210: 6f 6e 73 74 20 76 65 63 74 6f 72 3c 20 76 65 63 onst vector< vec
0220: 74 6f 72 3c 54 3e 20 3e 26 20 62 29 0a 7b 0a 09 tor<T> >& b).{..
0230: 69 6e 74 20 4e 20 3d 20 61 2e 73 69 7a 65 28 29 int N = a.size()
0240: 3b 0a 09 76 65 63 74 6f 72 3c 20 76 65 63 74 6f ;..vector< vecto
0250: 72 3c 54 3e 20 3e 20 63 28 4e 2c 20 76 65 63 74 r<T> > c(N, vect
0260: 6f 72 3c 54 3e 28 4e 29 29 3b 0a 09 66 6f 72 28 or<T>(N));..for(
0270: 69 6e 74 20 69 3d 30 3b 20 69 3c 4e 3b 20 2b 2b int i=0; i<N; ++
0280: 69 29 0a 09 66 6f 72 28 69 6e 74 20 6a 3d 30 3b i)..for(int j=0;
0290: 20 6a 3c 4e 3b 20 2b 2b 6a 29 0a 09 66 6f 72 28 j<N; ++j)..for(
02a0: 69 6e 74 20 6b 3d 30 3b 20 6b 3c 4e 3b 20 2b 2b int k=0; k<N; ++
02b0: 6b 29 0a 09 09 63 5b 69 5d 5b 6a 5d 20 2b 3d 20 k)...c[i][j] +=
02c0: 61 5b 69 5d 5b 6b 5d 2a 62 5b 6b 5d 5b 6a 5d 3b a[i][k]*b[k][j];
02d0: 0a 09 72 65 74 75 72 6e 20 63 3b 0a 7d 0a 0a 74 ..return c;.}..t
02e0: 65 6d 70 6c 61 74 65 3c 74 79 70 65 6e 61 6d 65 emplate<typename
02f0: 20 54 3e 0a 76 65 63 74 6f 72 3c 54 3e 20 4d 41 T>.vector<T> MA
0300: 54 50 4f 57 4d 55 4c 28 76 65 63 74 6f 72 3c 20 TPOWMUL(vector<
0310: 76 65 63 74 6f 72 3c 54 3e 20 3e 20 61 2c 20 4c vector<T> > a, L
0320: 4c 20 65 2c 20 76 65 63 74 6f 72 3c 54 3e 20 76 L e, vector<T> v
0330: 29 0a 7b 0a 09 66 6f 72 28 3b 20 65 3b 20 65 3e ).{..for(; e; e>
0340: 3e 3d 31 2c 20 61 3d 4d 41 54 4d 55 4c 28 61 2c >=1, a=MATMUL(a,
0350: 61 29 29 0a 09 09 69 66 28 65 26 31 29 0a 09 09 a))...if(e&1)...
0360: 09 76 20 3d 20 4d 41 54 4d 55 4c 28 61 2c 20 76 .v = MATMUL(a, v
0370: 29 3b 0a 09 72 65 74 75 72 6e 20 76 3b 0a 7d 0a );..return v;.}.
0380: 0a 74 65 6d 70 6c 61 74 65 3c 74 79 70 65 6e 61 .template<typena
0390: 6d 65 20 54 3e 0a 76 65 63 74 6f 72 3c 20 76 65 me T>.vector< ve
03a0: 63 74 6f 72 3c 54 3e 20 3e 20 4d 41 54 50 4f 57 ctor<T> > MATPOW
03b0: 28 76 65 63 74 6f 72 3c 20 76 65 63 74 6f 72 3c (vector< vector<
03c0: 54 3e 20 3e 20 61 2c 20 4c 4c 20 65 29 0a 7b 0a T> > a, LL e).{.
03d0: 09 69 6e 74 20 4e 20 3d 20 61 2e 73 69 7a 65 28 .int N = a.size(
03e0: 29 3b 0a 09 76 65 63 74 6f 72 3c 20 76 65 63 74 );..vector< vect
03f0: 6f 72 3c 54 3e 20 3e 20 63 28 4e 2c 20 76 65 63 or<T> > c(N, vec
0400: 74 6f 72 3c 54 3e 28 4e 29 29 3b 0a 09 66 6f 72 tor<T>(N));..for
0410: 28 69 6e 74 20 69 3d 30 3b 20 69 3c 4e 3b 20 2b (int i=0; i<N; +
0420: 2b 69 29 20 63 5b 69 5d 5b 69 5d 20 3d 20 31 3b +i) c[i][i] = 1;
0430: 0a 09 66 6f 72 28 3b 20 65 3b 20 65 3e 3e 3d 31 ..for(; e; e>>=1
0440: 29 20 7b 0a 09 09 69 66 28 65 26 31 29 0a 09 09 ) {...if(e&1)...
0450: 09 63 20 3d 20 4d 41 54 4d 55 4c 28 63 2c 20 61 .c = MATMUL(c, a
0460: 29 3b 0a 09 09 61 20 3d 20 4d 41 54 4d 55 4c 28 );...a = MATMUL(
0470: 61 2c 20 61 29 3b 0a 09 7d 0a 09 72 65 74 75 72 a, a);..}..retur
0480: 6e 20 63 3b 0a 7d 0a 0a 2f 2a 2a 2a 2a 2a 2a 2a n c;.}../*******
0490: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
04a0: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
04b0: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
04c0: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
04d0: 2a 2a 2a 2a 2a 0a 20 20 20 4e 4f 54 45 53 20 4f *****. NOTES O
04e0: 4e 20 54 48 45 20 55 53 41 47 45 0a 20 2a 2a 2a N THE USAGE. ***
04f0: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
0500: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
0510: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
0520: 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a 2a ****************
0530: 2a 2a 2a 2a 2a 2a 2a 2a 2a 0a 0a 41 5b 74 6f 5d *********..A[to]
0540: 5b 66 72 6f 6d 5d 20 3d 20 23 74 72 61 6e 73 69 [from] = #transi
0550: 74 69 6f 6e 0a 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d tion.-----------
0560: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0570: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0580: 2d 0a 0a 20 20 20 20 20 66 72 6d 0a 20 20 20 28 -.. frm. (
0590: 2e 20 2e 20 2e 29 20 28 71 30 29 0a 74 6f 20 28 . . .) (q0).to (
05a0: 2e 20 2e 20 2e 29 20 28 71 31 29 0a 20 20 20 28 . . .) (q1). (
05b0: 2e 20 2e 20 2e 29 20 28 71 32 29 0a 0a 0a 0a 83 . . .) (q2).....
05c0: b0 20 71 69 0a 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d . qi.-----------
05d0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
05e0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
05f0: 2d 0a 0a 20 20 20 20 20 66 72 6d 0a 20 20 20 28 -.. frm. (
0600: 2e 20 2e 20 2e 20 30 29 20 28 2e 29 0a 74 6f 20 . . . 0) (.).to
0610: 28 2e 20 2e 20 2e 20 30 29 20 28 2e 29 0a 20 20 (. . . 0) (.).
0620: 20 28 2e 20 2e 20 2e 20 30 29 20 28 2e 29 0a 20 (. . . 0) (.).
0630: 20 20 28 30 20 31 20 30 20 31 29 20 28 30 29 0a (0 1 0 1) (0).
0640: 20 20 20 20 20 20 5e 0a 20 20 20 20 20 20 69 0a ^. i.
0650: 54 68 65 6e 2c 0a 20 20 71 5b 69 5d 40 30 20 20 Then,. q[i]@0
0660: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 3d =
0670: 20 28 41 5e 31 20 76 29 5b 24 2d 31 5d 0a 20 20 (A^1 v)[$-1].
0680: 71 5b 69 5d 40 30 20 2b 20 71 5b 69 5d 40 31 20 q[i]@0 + q[i]@1
0690: 20 20 20 20 20 20 20 3d 20 28 41 5e 32 20 76 29 = (A^2 v)
06a0: 5b 24 2d 31 5d 0a 20 20 71 5b 69 5d 40 30 20 2b [$-1]. q[i]@0 +
06b0: 20 2e 2e 2e 20 2b 20 71 5b 69 5d 40 6b 20 20 3d ... + q[i]@k =
06c0: 20 28 41 5e 28 6b 2b 31 29 20 76 29 5b 24 2d 31 (A^(k+1) v)[$-1
06d0: 5d 0a 0a 0a 0a 83 b0 20 71 5f 61 6c 6c 0a 2d 2d ]...... q_all.--
06e0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
06f0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0700: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 0a 20 20 20 20 ----------..
0710: 20 66 72 6d 0a 20 20 20 28 2e 20 2e 20 2e 20 30 frm. (. . . 0
0720: 29 20 28 2e 29 0a 74 6f 20 28 2e 20 2e 20 2e 20 ) (.).to (. . .
0730: 30 29 20 28 2e 29 0a 20 20 20 28 2e 20 2e 20 2e 0) (.). (. . .
0740: 20 30 29 20 28 2e 29 0a 20 20 20 28 31 20 31 20 0) (.). (1 1
0750: 31 20 31 29 20 28 30 29 0a 0a 54 68 65 6e 2c 0a 1 1) (0)..Then,.
0760: 20 20 83 b0 71 20 40 30 20 20 20 20 20 20 20 20 ..q @0
0770: 20 20 20 20 20 20 20 20 20 3d 20 28 41 5e 31 20 = (A^1
0780: 76 29 5b 24 2d 31 5d 0a 20 20 83 b0 71 20 40 30 v)[$-1]. ..q @0
0790: 20 2b 20 2e 2e 2e 20 2b 20 83 b0 71 20 40 6b 20 + ... + ..q @k
07a0: 20 3d 20 28 41 5e 28 6b 2b 31 29 20 76 29 5b 24 = (A^(k+1) v)[$
07b0: 2d 31 5d 0a 0a 0a 0a 0a 0a 41 70 70 6c 69 63 61 -1]......Applica
07c0: 74 69 6f 6e 3a 20 78 5e 30 20 2b 20 78 5e 31 20 tion: x^0 + x^1
07d0: 2b 20 2e 2e 2e 20 2b 20 78 5e 65 2d 31 0a 2d 2d + ... + x^e-1.--
07e0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
07f0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
0800: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 0a 0a 20 20 28 78 ----------.. (x
0810: 20 30 29 5e 65 20 28 31 29 20 20 3d 20 28 78 5e 0)^e (1) = (x^
0820: 65 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 e
0830: 20 20 20 20 20 29 0a 20 20 28 31 20 31 29 20 20 ). (1 1)
0840: 20 28 30 29 20 20 20 20 28 78 5e 30 20 2b 20 78 (0) (x^0 + x
0850: 5e 31 20 2b 20 2e 2e 2e 20 2b 20 78 5e 65 2d 31 ^1 + ... + x^e-1
0860: 29 0a 0a 0a 0a 41 70 70 6c 69 63 61 74 69 6f 6e )....Application
0870: 3a 20 65 20 78 5e 30 20 2b 20 28 65 2d 31 29 20 : e x^0 + (e-1)
0880: 78 5e 31 20 2b 20 2e 2e 2e 20 2b 20 31 20 78 5e x^1 + ... + 1 x^
0890: 65 2d 31 0a 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d e-1.------------
08a0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
08b0: 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d 2d ----------------
08c0: 0a 0a 20 20 28 78 20 30 20 30 29 5e 65 20 28 78 .. (x 0 0)^e (x
08d0: 29 20 20 3d 20 28 78 5e 65 2b 31 20 20 20 20 20 ) = (x^e+1
08e0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
08f0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
0900: 20 20 29 0a 20 20 28 31 20 31 20 30 29 20 20 20 ). (1 1 0)
0910: 28 31 29 20 20 20 20 28 78 5e 30 20 2b 20 78 5e (1) (x^0 + x^
0920: 31 20 2b 20 2e 2e 2e 20 2b 20 78 5e 65 20 20 20 1 + ... + x^e
0930: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
0940: 20 20 20 20 29 0a 20 20 28 30 20 31 20 31 29 20 ). (0 1 1)
0950: 20 20 28 30 29 20 20 20 20 28 83 b0 20 6f 66 20 (0) (.. of
0960: 81 aa 20 3d 20 65 20 78 5e 30 20 2b 20 28 65 2d .. = e x^0 + (e-
0970: 31 29 20 78 5e 31 20 2b 20 2e 2e 2e 20 2b 20 31 1) x^1 + ... + 1
0980: 20 78 5e 65 2d 31 29 0a 2a 2f 0a x^e-1).*/.