这道题... 让我见识了纪中的强大
这道题是来纪中第二天(7.2)做的,这么晚写题解是因为
我去学矩阵乘法啦啦啦啦啦
对矩阵乘法一窍不通的童鞋戳链接啦
层层递推会TLE,正解矩阵快速幂
首先题意就是给你一个 n 行m 列 的格子图 一只马从棋盘的左上角跳到右下角。每一步它向右跳奇数列，且跳到本行或相邻行。
题意很简单
暴力dp的思路也很简单
但是数据很恶心
虽然远古一点,但毕竟是省选题
1 ≤ n ≤ 50，2 ≤ m ≤ 10^9
不过还是给了我们一点提示:
n这么小?
总之我们先找出转移式
对于每一个点 (i,j) 的
我们可以从它左边所有奇数行跳过来
所以DP[i][i]=sum( 左边间隔偶数列上中下三行的和 )
如果每个点都往前找一次的话
这样复杂度是O(n2m)
得分10
所以我们想到了前缀和
别问我怎么想到的,有什么套路
这种东西真的是灵感
DP[i][j]保存 (i-1)列+(i-3)列......上中下三行的和
这么简化之后,我们的递推式就好写了
时间复杂度O(mn)
甚至可以用滚动数组优化
这样空间也不是问题了O(n)
得分50
DP[i][j] = DP[i-2][j] + DP[i-1][j+1] + DP[i-1][j] + DP[i-1][j-1]
那么怎么得满分呐?
敲黑板划重点啦
观察一下递推式......嗯?递推式啊
那就用矩阵快速幂吧
不过这道题的递推关系有点复杂啊___二维递推
越到这种时候越要冷静观察,感性思考
再吱一声:不会矩阵快速幂的同学戳链接呐
观察一下,递推式需要两行数据
我们把这两行看成两个数据
跟斐波那契数列的递推矩阵一样放在一行
展开来就是像这样的东西(以n=4为例)
再展开
虽然这么看很乱(个P),不过我们只要仔细思考其中的意义就不难明白了
这样写下来之后,我们所需要的 DP[i-2][j] , DP[i-1][j+1] , DP[i-1][j] , DP[i-1][j-1]
就都出现在矩阵L中了
开始填矩阵R
根据矩阵乘法左行右列的规则,每次乘法 矩阵L 的每个元素都有机会被乘到
我们可以在填矩阵的时候自己选择系数(多方便啊)
由于我们的矩阵是 2n 的 , 所以我们需要一个2n*2n的正方形矩阵(我都以4为例呐)
(这是一个已经填好的矩阵)
答案A 的第一行 第一列 等于 矩阵L的第一行 * 矩阵R的第一列(详见矩阵乘法详解)
由于系数都是1,所以我们填1
我还是随便解释一个吧
不然跟其他的题解有什么区别
DP[i][3] = DP[i-2][3] + DP[i-1][2] + DP[i-1][3] + DP[i-1][4]
所以在这个矩阵中,第3列是这么乘的
大家一定都懂了
对吧....
虽然n是不同的,但是矩阵的构造是相似的
所以我写了一个函数来初始化数组L和R
void _make(int A[LEN][LEN], int B[LEN][LEN], int len) {
for (int i = ; i <= len; ++i) {
for (int j = ; j <= len; ++j) {
if (i == j)
A[i][j] = A[len + i][j] = A[i][len + j] = ;
if (i - j == || j - i == )
A[i][j] = ;
}
}
B[][] = B[][] = B[][len + ] = ;
}
_make
然后矩阵快速幂就完事了（详细过程见淼淼的矩阵快速幂详解
来了源码
// #include <iostream>
using namespace std; #define LEN 100
#define MOD 30011 unsigned int n, m; int mat[LEN][LEN] = {}, ans[LEN][LEN]; void _make(int A[LEN][LEN], int B[LEN][LEN], int len);
void _mul(int L[LEN][LEN], int R[LEN][LEN], int A[LEN][LEN], int x, int y, int z);
void _mi(int L[LEN][LEN], int R[LEN][LEN], int A[LEN][LEN], int x, int y, int m); int main() {
freopen("2.in", "r", stdin);
cin >> n >> m;
if (m == ) {
cout << ((n == ) ? () : ());
return ;
}
_make(mat, ans, n);
_mi(ans, mat, ans, , * n, m - );
cout << (ans[][n - ] + ans[][n]) % MOD;
return ;
} void _make(int A[LEN][LEN], int B[LEN][LEN], int len) {
for (int i = ; i <= len; ++i) {
for (int j = ; j <= len; ++j) {
if (i == j)
A[i][j] = A[len + i][j] = A[i][len + j] = ;
if (i - j == || j - i == )
A[i][j] = ;
}
}
B[][] = B[][] = B[][len + ] = ;
} void _mul(int L[LEN][LEN], int R[LEN][LEN], int A[LEN][LEN], int x, int y, int z) {
long long cmp[LEN][LEN] = {};
for (int i = ; i <= x; ++i)
for (int j = ; j <= z; j++)
for (int k = ; k <= y; k++)
cmp[i][j] = (cmp[i][j] + L[i][k] * R[k][j]) % MOD;
for (int i = ; i <= x; ++i)
for (int j = ; j <= z; ++j)
A[i][j] = cmp[i][j];
} void _mi(int L[LEN][LEN], int R[LEN][LEN], int A[LEN][LEN], int x, int y, int m) {
int cmp[LEN][LEN];
for (int i = ; i <= x; ++i)
for (int j = ; j <= y; ++j)
cmp[i][j] = L[i][j];
while (m > ) {
if (m & )
_mul(cmp, R, cmp, x, y, y);
m >>= ;
_mul(R, R, R, y, y, y);
}
for (int i = ; i <= x; ++i)
for (int j = ; j <= y; ++j)
A[i][j] = cmp[i][j];
}
超级跳马