UOJ241(递推＋矩阵快速幂）

题目链接：UOJ241

先吐槽一下UOJ，额，注册了没做看题就要算参加的，可能是实在比较难参加的人比较少吧，傻傻地一场掉回解放前。

这是UR16的A题。

一句话题意：长度为n的环，每个点染色，有m种颜色，要求相邻相对不能同色，求方案数。（定义两个点相对为去掉这两个点后环能被分成相同大小的两段）

思路：
如果n是奇数，就转化为了一个比较简单的递推，可以像题解中那样开两维，也可以直接写，如果第n－1个和第1个同色，则第n个有m － 1种涂色方案，这时有(m - 1) * f(n - 2)种方案，如果两者不同色，则有(m - 2) * f(n - 1)种方案，化出来的矩阵应该是一样的，但是考虑到偶数的情况，我发现开两维会想的清楚许多。

如果n是偶数，那么照题解中说的，多开一维，设 F[i][0..8]表示推到第 i 格的所有二元三进制状态的合法方案数，然后递推一波即可。其中设第一个颜色为A，与其相对的格子颜色为B。

然后一些边界情况要考虑清楚。

#include <iostream>
#include <cstdio>
#include <algorithm>
#include <cstring>
#include <vector>

using namespace std;

typedef long long ll;
typedef vector<ll> vec;
typedef vector<vec> mat;

const ll mod = 998244353;

mat mul(mat & A,mat & B){
    mat C(A.size(),vec(B[0].size()));
    for(int i = 0;i < (int) A.size();i++){
        for(int k = 0;k < (int) B.size();k++) if(A[i][k] != 0){
            for(int j = 0;j < (int)B[0].size();j++){
                C[i][j] = (C[i][j] + A[i][k] * B[k][j]) % mod;
            }
        }
    }
    return C;
}

mat pow(mat A,ll n){
    mat B(A.size(),vec(A.size()));
    for(int i = 0;i < A.size();i++){
        B[i][i] = 1;
    }
    while(n > 0){
        if(n & 1) B = mul(B,A);
        A = mul(A,A);
        n >>= 1;
    }
    return B;
}

ll n,m;


int main(int argc, const char * argv[]) {
    cin >> n >> m;
    if(n & 1){
        if(m == 1){
            cout << 0 << endl;
            return 0;
        }
        mat A(2,vec(2));
        A[0][0] = (m - 2) % mod;
        A[0][1] = (m - 1) % mod;
        A[1][0] = 1;
        A[1][1] = 0;
        A = pow(A,n - 1);
        ll ans = A[0][1] * m % mod;
        cout << ans << endl;
    }else{
        if(m == 1){
            cout << 0 << endl;
            return 0;
        }
        if(n == 2){
            cout << m * (m - 1) % mod << endl;
            return 0;
        }else{
            if(m == 2){
                if(n % 4 == 0){
                    cout << 0 << endl;
                }else{
                    cout << 2 << endl;
                }
                return 0;
            }
            else{
                mat A(9,vec(9));
                for(int i = 0;i < 9;i++){
                    for(int j = 0;j < 9;j++){
                        A[i][j] = 0;
                    }
                }
                A[5][0] = 1;
                A[5][6] = 1;
                A[5][7] = 1;
                A[5][1] = 1;
                A[7][0] = 1;
                A[7][2] = 1;
                A[7][5] = 1;
                A[7][3] = 1;
                A[3][1] = (m - 2) % mod;
                A[3][0] = (m - 3) % mod;
                A[3][2] = (m - 2) % mod;
                A[3][6] = (m - 3) % mod;
                A[3][7] = (m - 2) % mod;
                A[1][3] = (m - 2) % mod;
                A[1][0] = (m - 3) % mod;
                A[1][6] = (m - 2) % mod;
                A[1][2] = (m - 3) % mod;
                A[1][5] = (m - 2) % mod;
                A[6][2] = (m - 2) % mod;
                A[6][0] = (m - 3) % mod;
                A[6][1] = (m - 2) % mod;
                A[6][3] = (m - 3) % mod;
                A[6][5] = (m - 2) % mod;
                A[2][6] = (m - 2) % mod;
                A[2][0] = (m - 3) % mod;
                A[2][3] = (m - 2) % mod;
                A[2][1] = (m - 3) % mod;
                A[2][7] = (m - 2) % mod;
                A[0][0] = ((m - 3) + (m == 3 ? 0 :(m - 4) * (m - 4))) % mod;
                A[0][1] = (m - 3) * (m - 3) % mod;
                A[0][2] = (m - 3) * (m - 3) % mod;
                A[0][3] = (m - 3) * (m - 3) % mod;
                A[0][5] = (m - 2) * (m - 3) % mod;
                A[0][6] = (m - 3) * (m - 3) % mod;
                A[0][7] = (m - 2) * (m - 3) % mod;
                A = pow(A,n / 2 - 1);
                ll ans = 0;
                ans += (A[0][5] + A[2][5] + A[3][5] + A[5][5]) % mod;
                ans = ans * m % mod * (m - 1) % mod;
                cout << ans << endl;
            }
        }
    }
    return 0;
}