LOJ #6074. 「2017 山东一轮集训 Day6」子序列
#6074. 「2017 山东一轮集训 Day6」子序列
分析:
首先设f[i][j]为到第i个点,结尾字符是j的方案数,这个j一定是从i往前走,第一个出现的j,因为这个j可以代替掉前面所有j。于是有转移方程:
$$ f_{i,j}= \begin{cases} f_{i-1,j}&,j\neq S_i\\ \sum_{k=1}^{m+1}f_{i-1,k}&,j=S_i \end{cases} $$
表示如果当前j不是s[i]的话,最靠后的结尾的j还是那个位置,从i-1转移即可,否则,最靠后的s[i]变成i这个位置,于是加上前面所有最靠后出现的字符即可(即从i往前走到k,如果s[k]在k+1~i之间没有s[k]了,就加上)。
这个dp还有一个形象的解释:每个i向它后面第一个出现的字符连有向边(即如果i->j有边,那么i+1~j之间没有s[[j]),然后DAG上的路径数就是答案。
然后可以对每个位置求一个$10 \times 10$的转移矩阵$A_i$,$F_i$是一个$10 \times 1$的矩阵,有$F_i = A_i \times F_{i - 1}$。
于是可以分别维护矩阵的前缀积,和逆矩阵的前缀积。
然后复杂度可以做到$nc^3+qc^2$,由于这个矩阵的性质,可以$nc^2$预处理,所以可以做到$nc^2+qc^2$,至于如何做到$nc+qc$,可以看这。
代码:
#include<cstdio>
#include<algorithm>
#include<iostream>
#include<cstring>
#include<cmath>
#include<cctype>
#include<set>
#include<queue>
#include<vector>
#include<map>
#include<bitset>
using namespace std;
typedef long long LL; inline int read() {
int x=,f=;char ch=getchar();for(;!isdigit(ch);ch=getchar())if(ch=='-')f=-;
for(;isdigit(ch);ch=getchar())x=x*+ch-'';return x*f;
} const int N = , mod = 1e9 + ;
struct Matrix{ int a[][]; Matrix() { memset(a, , sizeof(a)); } } s1[N], s2[N];
char str[N];
int s[N], tmp[]; inline void add(int &x,int y) { x += y; if (x >= mod) x -= mod; }
inline void sub(int &x,int y) { x -= y; if (x < ) x += mod; }
void init(int n) {
for (int i = ; i < ; ++i) s1[].a[i][i] = s2[].a[i][i] = ;
for (int i = ; i < ; ++i) s1[].a[i][i] = ;
for (int i = ; i < ; ++i) s1[].a[s[]][i] = ;
for (int i = ; i <= n; ++i) {
s1[i] = s1[i - ];
for (int j = ; j < ; ++j) tmp[j] = ;
for (int j = ; j < ; ++j)
for (int k = ; k < ; ++k) add(tmp[j], s1[i - ].a[k][j]);
for (int j = ; j < ; ++j) s1[i].a[s[i]][j] = tmp[j];
}
for (int i = ; i < ; ++i) s2[].a[s[]][i] = mod - ;
for (int i = ; i < ; ++i) s2[].a[i][i] = ;
for (int i = ; i <= n; ++i) {
s2[i] = s2[i - ];
for (int j = ; j < ; ++j) for (int k = ; k < ; ++k) if (k != s[i]) sub(s2[i].a[j][k], s2[i - ].a[j][s[i]]);
}
}
int main() {
scanf("%s", str + );
int n = strlen(str + );
for (int i = ; i <= n; ++i) s[i] = str[i] - 'a';
init(n);
for (int m = read(); m --; ) {
int l = read(), r = read();
for (int i = ; i < ; ++i) tmp[i] = ;
for (int i = ; i < ; ++i) add(tmp[i], s2[l - ].a[i][]);
int sum = ;
for (int i = ; i < ; ++i)
for (int j = ; j < ; ++j)
add(sum, 1ll * s1[r].a[i][j] * tmp[j] % mod);
cout << (sum - + mod) % mod << "\n";
}
return ;
}
LOJ #6074. 「2017 山东一轮集训 Day6」子序列的更多相关文章
- loj#6074. 「2017 山东一轮集训 Day6」子序列(矩阵乘法 dp)
题意 题目链接 Sol 设\(f[i][j]\)表示前\(i\)个位置中,以\(j\)为结尾的方案数. 转移的时候判断一下\(j\)是否和当前位置相同 然后发现可以用矩阵优化,可以分别求出前缀积和逆矩 ...
- loj#6076「2017 山东一轮集训 Day6」三元组 莫比乌斯反演 + 三元环计数
题目大意: 给定\(a, b, c\),求\(\sum \limits_{i = 1}^a \sum \limits_{j = 1}^b \sum \limits_{k = 1}^c [(i, j) ...
- LOJ#6075. 「2017 山东一轮集训 Day6」重建
题目描述: 给定一个 n个点m 条边的带权无向连通图 ,以及一个大小为k 的关键点集合S .有个人要从点s走到点t,现在可以对所有边加上一个非负整数a,问最大的a,使得加上a后,满足:s到t的最短路长 ...
- 「2017 山东一轮集训 Day6」子序列(矩阵快速幂)
/* 找出了一个dp式子 是否能够倍增优化 我推的矩阵不太一样 是 1 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 2 求得逆矩阵大概就是 1 0 0 ...
- Loj #6069. 「2017 山东一轮集训 Day4」塔
Loj #6069. 「2017 山东一轮集训 Day4」塔 题目描述 现在有一条 $ [1, l] $ 的数轴,要在上面造 $ n $ 座塔,每座塔的坐标要两两不同,且为整点. 塔有编号,且每座塔都 ...
- Loj #6073.「2017 山东一轮集训 Day5」距离
Loj #6073.「2017 山东一轮集训 Day5」距离 Description 给定一棵 \(n\) 个点的边带权的树,以及一个排列$ p\(,有\)q $个询问,给定点 \(u, v, k\) ...
- Loj 6068. 「2017 山东一轮集训 Day4」棋盘
Loj 6068. 「2017 山东一轮集训 Day4」棋盘 题目描述 给定一个 $ n \times n $ 的棋盘,棋盘上每个位置要么为空要么为障碍.定义棋盘上两个位置 $ (x, y),(u, ...
- loj #6077. 「2017 山东一轮集训 Day7」逆序对
#6077. 「2017 山东一轮集训 Day7」逆序对 题目描述 给定 n,k n, kn,k,请求出长度为 n nn 的逆序对数恰好为 k kk 的排列的个数.答案对 109+7 10 ^ 9 ...
- LOJ #6119. 「2017 山东二轮集训 Day7」国王
Description 在某个神奇的大陆上,有一个国家,这片大陆的所有城市间的道路网可以看做是一棵树,每个城市要么是工业城市,要么是农业城市,这个国家的人认为一条路径是 exciting 的,当且仅当 ...
随机推荐
- 浅谈Redis之慢查询日志
首先我们需要知道redis的慢查询日志有什么用?日常在使用redis的时候为什么要用慢查询日志? 第一个问题: 慢查询日志是为了记录执行时间超过给定时长的redis命令请求 第二个问题: 让使用者更好 ...
- JavaScript大杂烩5 - JavaScript对象的若干问题
1. 类型检查:instanceof与typeof 这是两个相似的操作符,instanceof用于检测函数的实例类型,主要是在面向对象编程中检查new出来的对象类型,需要注意instanceof是检查 ...
- 跨站请求伪造(CSRF)
1. 什么是跨站请求伪造(CSRF) CSRF(Cross-site request forgery跨站请求伪造,也被称为“One Click Attack”或者session Riding,通常缩 ...
- CSS:float: right 靠右换行的解决方法
1.float: right的使用用法:使用html代码<span style="float: right">*****</SPAN>,其中*****就是你 ...
- Spring MVC 的工作原理
引自:https://www.cnblogs.com/xiaoxi/p/6164383.html SpringMVC的工作原理图: SpringMVC流程 1. 用户发送请求至前端控制器Dispat ...
- 利用PCA进行故障监测
利用PCA进行故障监测,传统的统计指标有两种:Hotelling-T2和平方预测误差(Squared prediction error, SPE).T2统计量反映了每个主成分在变化趋势和幅值上偏离模型 ...
- 解决windows下git push卡住问题的方法
问题描述: 在windows下向使用git协议传输的Git Repo进行push时会卡住. -- 这是windows上的msysgit的bug,在新版本上已经修复,但要在.gitconfig中做一项配 ...
- Docker学习—Docker简介
什么是Docker Docker 是一个开源项目,诞生于 2013 年初,最初是 dotCloud 公司内部的一个业余项目.它基于 Google 公司推出的 Go 语言实现. 项目后来加入了 Linu ...
- 2.2Python数据处理篇之---math模块的数学函数
目录 目录 前言 (一)一览表 1.基本函数 2.对数函数 3.三角函数 4.角度的切换 5.双曲函数 6.math定义的常数 (二)实例 目录 前言 math模块是基础的python数学函数模块,是 ...
- Go学习笔记03-结构控制
目录 条件语句 循环语句 条件语句 条件语句用 if 关键字来判定条件,如: func bounded(v int) int { if v > 100 { return 100 } else i ...