bzoj4128 Matrix

传送门：http://www.lydsy.com/JudgeOnline/problem.php?id=4128

【题解】

矩阵版本的BSGS。

至于如何不需要求逆，详见：http://www.cnblogs.com/galaxies/p/bzoj2480.html

# include <map>
# include <math.h>
# include <stdio.h>
# include <string.h>
# include <iostream>
# include <algorithm>
// # include <bits/stdc++.h>

using namespace std;

typedef long long ll;
typedef long double ld;
typedef unsigned long long ull;
const int M = 5e5 + ;

# define RG register
# define ST static

int n, mod;

struct matrix {
    int n, a[][];
    inline void init(int _n) {
        n = _n;
        memset(a, , sizeof a);
    }
    inline void set(int _n) {
        n = _n;
        for (int i=; i<=n; ++i)
            for (int j=; j<=n; ++j)
                scanf("%d", &a[i][j]);
    }
    friend matrix operator * (matrix a, matrix b) {
        matrix c; c.init(a.n);
        for (int i=; i<=a.n; ++i)
            for (int j=; j<=a.n; ++j)
                for (int k=; k<=a.n; ++k) {
                    c.a[i][j] += 1ll * a.a[i][k] * b.a[k][j] % mod;
                    if(c.a[i][j] >= mod) c.a[i][j] -= mod;
                }
        return c;
    }
    friend matrix operator ^ (matrix a, int b) {
        matrix c; c.init(a.n);
        for (int i=; i<=a.n; ++i) c.a[i][i] = ;
        while(b) {
            if(b&) c = c * a;
            a = a * a;
            b >>= ;
        }
        return c;
    }
    friend bool operator == (matrix a, matrix b) {
        for (int i=; i<=a.n; ++i)
            for (int j=; j<=a.n; ++j)
                if(a.a[i][j] != b.a[i][j]) return ;
        return ;
    }
    inline ull ghash() {
        ull ret = ;
        for (int i=; i<=n; ++i)
            for (int j=; j<=n; ++j)
                ret = ret * 20001130ull + a[i][j];
        return ret;
    }
}A, B;

map<ull, int> mp;

inline int BSGS(int P) {
    mp.clear();
    int m = ceil(sqrt(1.0 * P));
    matrix t = B; ull tem;
    for (int i=; i<m; ++i) {
        mp[t.ghash()] = i;
        t = t * A;
    }
    matrix g = A^m; t = g;
    for (int i=; i<=m+; ++i) {
        tem = t.ghash();
        if(mp.count(tem)) return i * m - mp[tem];
        t = t * g;
    }
    return -;
}

int main() {
    cin >> n >> mod;
    A.set(n);
    B.set(n);
    cout << BSGS(mod) << endl;
    return ;
}