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 的,当且仅当 ...
随机推荐
- 我的博客:C# PHP J2ee Java Android js WP Asp.net mvc Python
<p><A target="_blank" href="http://blog.163.com/hr_company_product/" &g ...
- C#重试公用类
//Retry机制 public static class RetryExecutor { /// <summary> /// 重试零个参数无返回值的方法 /// </summary ...
- Spring 12 种 常用注解!
1.声明bean的注解 @Component 组件,没有明确的角色 @Service 在业务逻辑层使用(service层) @Repository 在数据访问层使用(dao层) @Controller ...
- Matplotlib:plt.text()给图形添加数据标签
1.数据可视化呈现的最基础图形就是:柱状图.水平条形图.折线图等等: 在python的matplotlib库中分别可用bar.barh.plot函数来构建它们,再使用xticks与yticks(设置坐 ...
- ABAP 中JSON格式的转换与解析
RT,JSON是当今十分流行的一种轻量数据格式,广泛地应用于各种数据交换场景中.本文会介绍一种比较简单的将ABAP中的数据转换为JSON格式的方法. (如果你是因为引号的问题搜索到了这篇文章,请直接拉 ...
- Spring容器技术内幕之BeanDefinition类介绍
引言 org.springframework.beans.factory.config.BeanDefinition是配置文件< bean >元素标签在容器中地内部表示.< bean ...
- node学习笔记_04 express相册
学习node用express框架做了一个相册展示及上传功能: 1.没有连接服务器,这里全部是操作文件夹 2.安装上传文件的依赖formidable,npm install --save formida ...
- Android Activity.startActivity流程简介
http://blog.csdn.net/myarrow/article/details/14224273 1. 基本概念 1.1 Instrumentation是什么? 顾名思义,仪器仪表,用于在应 ...
- Android中如何使用xmlns
http://blog.csdn.net/lihenair/article/details/41009711 工作中时常需要自定义控件,除了按键,draw以外,还需要对控件属性进行一些初始化的操作,比 ...
- Hunter -- 批量文件管理工具
一个简单工具, 用来进行批量文件的重命名, 更改后缀, 搜索特定后缀, 等 下载地址:http://download.csdn.net/download/kuangsun/7545179