先吐槽一下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;
}