题解:BZOJ 1009 HNOI2008 GT考试 KMP + 矩阵
原题描述:
阿申准备报名参加GT考试,准考证号为N位数 X1X2....Xn(0<=Xi<=9),他不希望准考证号上出现不吉利的数字。他的不吉利数学A1A2...Am(0<=Ai& lt;=9)有M位,不出现是指X1X2...Xn中没有恰好一段等于A1A2...Am. A1和X1可以为0
分析:
吐槽:这道题的细节问题差点坑死我。
一开始这道题想了个DP,但是状态转移太恶心。
那我们换一个思路,先用KMP构造出A的一个自动机。
然后这道题就转化成了在自动机上跑啊跑,跑N条边都没跑到终态(Am)的路径数。
这样,我们就把这道题转化成了一个经典问题:在一个有向图上,从s到t,经过N条边的路径数。
矩阵快速幂即可解决。
不会做的个经典问题的话,请看下面的讲解:
/*
这个问题我们可以用DP解决,方程为:
DP[i][j][k] = DP[i][p][k - 1] * DP[p][j][k - 1];
然后,显然,我们可以利用滚动数组。
DP[i][j] = DP[i][p] * DP[p][j];
然后,然后,你发现了什么?
这不是矩阵乘法么!
*/
具体实现过程:
1. 求得A的Next数组。
2. 根据转移图构造矩阵M:i能转移到j则,M[i][j] ++;
(由于Am是终态,所以可以不向Am连边,常数优化)
3. C = M ^ n;
4. 答案为for(int I = 0;I < m;I ++) ans +=C[0][i];
ACCode:
#include <cstdio>
#include <cstring>
using namespace std; int N,M,K; const int maxm = 30; struct Matrix
{
int a[maxm][maxm],n;
Matrix(int n,int x) : n(n)
{
for(int i = 0;i < n;i ++) for(int j = 0;j < n;j ++) a[i][j] = i == j ? x : 0;
}
Matrix operator * (const Matrix &b)
{
Matrix c(n,0);
for(int i = 0;i < n;i ++)
for(int j = 0;j < n;j ++)
for(int k = 0;k < n;k ++)
(c.a[i][j] += ((a[i][k] * b.a[k][j]) % K)) %= K;
return c;
}
}; Matrix pow_mod(Matrix &a,int b)
{
Matrix c(a.n,1);
for(; b ;b >>= 1)
{
if(b & 1) c = c * a;
a = a * a;
}
return c;
}
int A[maxm],f[maxm];
Matrix m(maxm,0); void getNext()
{
for(int i = 1;i < M;i ++)
{
int j = f[i];
while(j && A[i] != A[j]) j = f[j];
f[i + 1] = A[i] == A[j] ? j + 1 : 0;
}
} char str[maxm]; int main()
{
scanf("%d%d%d\n%s",&N,&M,&K,str);
for(int i = 0;i < M;i ++) A[i] = str[i] - '0';
getNext();
m.n = M;
for(int i = 0;i < M;i ++)
for(int j = 0;j < 10;j ++)
{
int k = i;
if(A[i] == j) m.a[i][i + 1] ++;
else
{
while(k && A[k] != j) k = f[k];
if(A[k] == j) k ++;
m.a[i][k] ++;
}
}
Matrix c = pow_mod(m,N);
int ans = 0;
for(int i = 0;i < M;i ++) (ans += c.a[0][i]) %= K;
printf("%d\n",ans);
return 0;
}
题解:BZOJ 1009 HNOI2008 GT考试 KMP + 矩阵的更多相关文章
- BZOJ 1009 [HNOI2008]GT考试 (KMP + 矩阵快速幂)
1009: [HNOI2008]GT考试 Time Limit: 1 Sec Memory Limit: 162 MBSubmit: 4266 Solved: 2616[Submit][Statu ...
- bzoj 1009: [HNOI2008]GT考试 -- KMP+矩阵
1009: [HNOI2008]GT考试 Time Limit: 1 Sec Memory Limit: 162 MB Description 阿申准备报名参加GT考试,准考证号为N位数X1X2.. ...
- bzoj 1009 [HNOI2008]GT考试——kmp+矩阵优化dp
题目:https://www.lydsy.com/JudgeOnline/problem.php?id=1009 首先想到 确保模式串不出现 就是 确保每个位置的后缀不是该模式串. 为了dp,需要记录 ...
- BZOJ 1009 [HNOI2008]GT考试 (KMP+矩阵乘法)
---恢复内容开始--- 题目大意:给定一个由数字构成的字符串A(len<=20),让你选择一个长度为n(n是给定的)字符串X,一个合法的字符串X被定义为,字符串X中不存在任何一段子串与A完全相 ...
- BZOJ 1009: [HNOI2008]GT考试( dp + 矩阵快速幂 + kmp )
写了一个早上...就因为把长度为m的也算进去了... dp(i, j)表示准考证号前i个字符匹配了不吉利数字前j个的方案数. kmp预处理, 然后对于j进行枚举, 对数字0~9也枚举算出f(i, j) ...
- BZOJ 1009 HNOI2008 GT考试 KMP算法+矩阵乘法
标题效果:给定的长度m数字字符串s.求不包括子s长度n数字串的数目 n<=10^9 看这个O(n)它与 我们不认为这 令f[i][j]长度i号码的最后的字符串j位和s前者j数字匹配方案 例如,当 ...
- BZOJ.1009.[HNOI2008]GT考试(KMP DP 矩阵快速幂)
题目链接 设f[i][j]为当前是第i位考号.现在匹配到第j位(已有j-1位和A[]匹配)的方案数 因为假如当前匹配j位,如果选择的下一位与A[j+1]不同,那么新的匹配位数是fail[j]而不是0, ...
- [BZOJ 1009] [HNOI2008] GT考试 【AC自动机 + 矩阵乘法优化DP】
题目链接:BZOJ - 1009 题目分析 题目要求求出不包含给定字符串的长度为 n 的字符串的数量. 既然这样,应该就是 KMP + DP ,用 f[i][j] 表示长度为 i ,匹配到模式串第 j ...
- [bzoj1009](HNOI2008)GT考试 (kmp+矩阵快速幂加速递推)
Description 阿 申准备报名参加GT考试,准考证号为N位数X1X2....Xn(0<=Xi<=9),他不希望准考证号上出现不吉利的数字.他的不吉利数学 A1A2...Am(0&l ...
随机推荐
- Properties in Algebra
附录-Properties in Algebra 部分证明转载自标注,仅作个人整理查阅用. 范数 (norm) \(^{[1]}\) 要更好的理解范数,就要从函数.几何与矩阵的角度去理解,我尽量讲的通 ...
- flask web实战1.27
1.在pycharm的terminal中输入 生成requirements.txt文件 pip freeze > requirements.txt 安装requirements.txt依赖 pi ...
- bzoj2127happiness(最小割)
一眼最小割. 一种比较好想的建图方式如下: 连源点表示学文,连汇点表示学理,然后adde(S,id(i,j),a[i][j]),adde(id(i,j),T,b[i][j]):对于相邻座位选择同一科的 ...
- cJSON api的使用教程
背景说明:由于和后台通信,为了统一数据格式,选择使用json格式,客户端开发语言使用的是c,故需要借助第三方库来实现json格式的转化,cJSON是一个很好的第三方库, 下载链接1:https://g ...
- 剑指offer【10】- 变态跳台阶
题目:一只青蛙一次可以跳上1级台阶,也可以跳上2级……它也可以跳上n级.求该青蛙跳上一个n级的台阶总共有多少种跳法. 关于本题,前提是n个台阶会有一次n阶的跳法.分析如下: f(1) = 1 f(2) ...
- idea快捷键(最常用)
--跳到上一空白行 ctrl+alt+enter --跳到下一空白行 shift+enter --为代码生成包裹快(try catch等) ctrl+alt+t --跳到某行 ctrl+g --实现父 ...
- js几个常用的弹层
js弹层技术很常见,自己每次用上网找,一找一大堆. 对比了几种,考虑通用性和易用性,这里记录两个. jQueryUI的http://jqueryui.com/dialog/#modal-form ar ...
- ipv6 mac地址转化为linklocal地址
mac 3c:32:66:67:dd:46 linklocal地址 前六位固定 fe80:: 第七位 mac地址第一个byte进行如下计算 (byte) ((byte) (macbyte &am ...
- 2018SEERC Points and Rectangles (CDQ分治)
题:http://codeforces.com/gym/101964/problem/K 分析:https://blog.csdn.net/qq_43202683/article/details/98 ...
- 二分法C++与Python
来源于Leetcode C++ int binarySearch(vector<int>& nums, int target){ if(nums.size() == 0) retu ...