[CQOI2018] 交错序列(矩阵加速优化dp)
problem
luogu-P4456
solution
预处理阶乘和阶乘的逆元,枚举 111 出现次数 iii,∑(n−i+1i)(n−i)aib\sum\binom{n-i+1}{i}(n-i)^ai^b∑(in−i+1)(n−i)aib。
(n−i+1i)\binom{n-i+1}{i}(in−i+1) 如何推出来?
从 nnn 个中选 iii 个 (ni)\binom ni(in)。容斥不太可能。
隔板法。分成 iii 堆需要插 i−1i-1i−1 块板。
考虑 111 不能连续也就是说两块板之间至少要隔两个盒子。
隔板法经典强制每个至少有 111 个的方法类比过来。
发现只需要拿走 i−1i-1i−1 个盒子,剩下的选的位置就可以相邻。
但这样是不行的,快速幂部分耗时大,且 n,mn,mn,m 之间大小关系不定,逆元可能不存在,无法预处理。
考虑解决组合数计算部分。
用 lucas\text{lucas}lucas 定理算。
不能在要求时间内通过。
算一个组合数,可以将分子分母质因数分解,然后在指数位置进行加减运算。最后在把所有质因数乘起来,就可以巧妙避免计算逆元的问题。
但本题组合数要求计算多个,时间开销依然未能缩减。
考虑解决快速幂计算部分。
xa,ybx^a,y^bxa,yb 都是完全积性函数。
f(i)=ia⇒f(xy)=(xy)a=f(x)f(y)=xayaf(i)=i^a\Rightarrow f(xy)=(xy)^a=f(x)f(y)=x^ay^af(i)=ia⇒f(xy)=(xy)a=f(x)f(y)=xaya。
所以可以 O(n)O(n)O(n) 线性筛。
这是解决幂运算指数固定的常见方法。
这种做法是不能通过本题的,洛谷题解有一篇能过完全是数据问题。这里只是想记录一些 trick\text{trick}trick。
考虑计算贡献 xayb=(n−y)ayb=∑i=0a(ai)ni(−1)a−iya−iybx^ay^b=(n-y)^ay^b=\sum_{i=0}^a\binom ain^i(-1)^{a-i}y^{a-i}y^bxayb=(n−y)ayb=∑i=0a(ia)ni(−1)a−iya−iyb。
发现当枚举 iii 时 (ai)ni(−1)a−i\binom{a}{i}n^i(-1)^{a-i}(ia)ni(−1)a−i 均为常数,唯一随序列不同而变化的是 ya+b−iy^{a+b-i}ya+b−i,准确来说应该是 yyy。
我们可以计算所有序列中 111 的个数的 a+b−ia+b-ia+b−i 次方之和,然后就可以计入答案。
设 f(i,j,k):f(i,j,k):f(i,j,k): 考虑前 iii 位,第 iii 位为 k∈[0,1]k\in[0,1]k∈[0,1],所有合法序列的 111 的个数的 jjj 次方之和,即 ∑yj\sum y^j∑yj。
iii 填 000,则对前面无限制。没有新增的 111 的个数,贡献不变。
f(i,j,0)=f(i−1,j,0)+f(i−1,j,1)f(i,j,0)=f(i-1,j,0)+f(i-1,j,1)f(i,j,0)=f(i−1,j,0)+f(i−1,j,1)。
iii 填 111,则前一位不能为 111,只能从 000 转移。
此时将有 yj→(y+1)jy^j\rightarrow (y+1)^jyj→(y+1)j 直接二项式展开。
(y+1)j=∑k=0j(jk)yk1j−k(y+1)^j=\sum_{k=0}^j\binom jky^k1^{j-k}(y+1)j=∑k=0j(kj)yk1j−k。
所有序列的 yky^kyk 之和恰恰是 f(,k,)f(,k,)f(,k,) 的定义。
所以转移为:f(i,j,1)=∑k=0j(jk)f(i−1,k,0)f(i,j,1)=\sum_{k=0}^j\binom jkf(i-1,k,0)f(i,j,1)=∑k=0j(kj)f(i−1,k,0)。
发现转移压根和 iii 这一维没有关系,所以是可以矩阵加速 nnn 的。
注意我们要计算到 ya+by^{a+b}ya+b 次方,且我们将两种转移合并在一起。
构造初始矩阵 f:[f0,0,f1,0,...,fa+b,0,f0,1,f1,1,...,fa+b,1]f:[f_{0,0},f_{1,0},...,f_{a+b,0},f_{0,1},f_{1,1},...,f_{a+b,1}]f:[f0,0,f1,0,...,fa+b,0,f0,1,f1,1,...,fa+b,1]。形式化为 [fj,0∣fj,1],j∈[0,a+b][f_{j,0}\mid f_{j,1}],j\in[0,a+b][fj,0∣fj,1],j∈[0,a+b]。
构造加速矩阵 ggg:分拆为四个部分。
- 左上角为单位矩阵。表示 f(,0)→f′(,0)f(,0)\rightarrow f'(,0)f(,0)→f′(,0)。
- 左下角为单位矩阵。表示 f(,1)→f′(,0)f(,1)\rightarrow f'(,0)f(,1)→f′(,0)。
- 右上角为组合数矩阵。注意是行列交换了的,表示 f(,0)→f′(,1)f(,0)\rightarrow f'(,1)f(,0)→f′(,1)。
- 右下角为全 000 矩阵。表示不合法 f(,1)→f′(,1)f(,1)\rightarrow f'(,1)f(,1)→f′(,1)。
具体可以自己画一下,发现是匹配的。
code
#include <bits/stdc++.h>
using namespace std;
#define int long long
#define maxn 185
int n, a, b, mod, m1, m2;
int C[maxn][maxn];
struct matrix {int c[maxn][maxn];matrix() { memset( c, 0, sizeof( c ) ); }matrix operator * ( matrix &v ) {matrix ans;for( int i = 0;i < m2;i ++ )for( int k = 0;k < m2;k ++ )if( c[i][k] ) //稀疏矩阵经典有效优化for( int j = 0;j < m2;j ++ ) //j,k交换 内存访问连续 优化常数ans.c[i][j] = (ans.c[i][j] + c[i][k] * v.c[k][j]) % mod;return ans;}
}g, f;signed main() {scanf( "%lld %lld %lld %lld", &n, &a, &b, &mod );m1 = a + b + 1, m2 = m1 << 1;for( int i = 0;i <= m1;i ++ ) {C[i][0] = C[i][i] = 1;for( int j = 1;j < i;j ++ )C[i][j] = (C[i - 1][j - 1] + C[i - 1][j]) % mod;}for( int i = 0;i < m1;i ++ ) {g.c[i][i] = g.c[i + m1][i] = 1;for( int j = i;j < m1;j ++ )g.c[i][j + m1] = C[j][i];}f.c[0][0] = 1; int x = n;while( x ) {if( x & 1 ) f = f * g;g = g * g;x >>= 1;}x = 1; int ans = 0;for( int i = 0;i <= a;i ++, x = x * n % mod )if( (a - i) & 1 )(ans -= (f.c[0][a+b-i] + f.c[0][a+b-i+m1]) % mod * C[a][i] % mod * x) %= mod;else (ans += (f.c[0][a+b-i] + f.c[0][a+b-i+m1]) % mod * C[a][i] % mod * x) %= mod;printf( "%lld\n", (ans + mod) % mod );return 0;
}
[CQOI2018] 交错序列(矩阵加速优化dp)相关推荐
- 形态形成场(矩阵乘法优化dp)
形态形成场(矩阵乘法优化dp) 短信中将会涉及前\(k\)种大写字母,每个大写字母都有一个对应的替换式\(Si\),替换式中只会出现大写字母和数字,比如\(A→BB,B→CC0,C→123\),代表 ...
- 【Contra】 矩阵乘法优化 dp
偶然间,chnlich发现了他小时候玩过的一个游戏"魂斗罗",于是决定怀旧.但是这是一个奇怪的魂斗罗MOD.有N个关卡,初始有Q条命.每通过一个关卡,会得到u分和1条命,生命上限为 ...
- [学习笔记]矩阵乘法及其优化dp
1.定义: $c[i][j]=\sum a[i][k]\times b[k][j]$ 所以矩阵乘法有条件,(n*m)*(m*p)=n*p 即第一个矩阵的列数等于第二个矩阵的行数,否则没有意义. 2.结 ...
- 【BZOJ 3326】[Scoi2013]数数 数位dp+矩阵乘法优化
挺好的数位dp-- 先说一下我个人的做法: 经过观察,发现这题按照以往的思路从后往前递增,不怎么好推,然后我就大胆猜想,从前往后推,发现很好推啊,维护四个变量,从开始位置到现在有了i个数 f[i]:所 ...
- bzoj 3120 矩阵优化DP
我的第一道需要程序建矩阵的矩阵优化DP. 题目可以将不同的p分开处理. 对于p==0 || p==1 直接是0或1 对于p>1,就要DP了.这里以p==3为例: 设dp[i][s1][s2][r ...
- hdu 3962(AC自动机+矩阵优化dp)
转载标记处:http://blog.csdn.net/woshi250hua/article/details/7599472 题目大意:给定m个DNA病毒序列,求碱基构成的长度为n且含有两个以上DNA ...
- 线性代数四之动态DP(广义矩阵加速)——Can you answer these queries III,保卫王国
动态DP--广义矩阵加速 SP1716 GSS3 - Can you answer these queries III description solution code [NOIP2018 提高组] ...
- 【codevs2304】【BZOJ1875】HH去散步,第一次的矩阵加速DP
传送门1 传送门2 写在前面:今天冒傻气 思路:我第一眼没有看出来它是个矩阵乘法加速DP,只觉得如果这个t小点就直接广搜可以了,后来发现网上的题解无一例外都是矩阵快速幂的时候,我的表情 后来看了看黄学 ...
- AtCoder abc256全题解(区间合并模板、矩阵快速幂优化dp、线段树……)
文章目录 A B C-枚举 D-区间合并模板 E-图论建模,函数图的性质 题意 思路 代码 F-树状数组 题意 思路 代码 G-矩阵快速幂优化dp H-线段树 思路 实现 传送门 本文CSDN 本文j ...
最新文章
- 中国一线城市住宅地价同比增幅连续8个季度收窄
- 自动化监控--zabbix中的邮件报警通知详解
- 4.1.1 初识文件管理
- spring配置数据源(加载properties文件)
- Outlook应用指南(1)——数据备份还原技巧
- [Cogs14] [网络流24题#1] 飞行员分配方案 [网络流,最大流,二分图匹配]
- SAP License:SAP 销售成本会计VS期间会计
- ggthemes包:丰富ggplot2的表现力
- 【8.16校内测试】【队列】【数学】【网络流/二分图最大匹配】
- 535. TinyURL 的加密与解密
- for path多行变一列
- NPDP认证怎么考?有用吗?
- Word-去掉标题前面的小黑点
- 路由器的应用场所及作用
- python自己制作节奏大师游戏_十分钟利用Python制作属于你自己的个性logo
- 只要不上网,pc机就不会感染计算机病毒,计算机考试试题训练
- 新网站对SEO工作内容简介
- UE学习笔记01(3月)
- 【Javaweb】TCP原理(三次握手四次挥手)
- Linux系统使用--Ubuntu 16.04 安装为知笔记
热门文章
- 这个地球仪太惊艳了,陪孩子畅聊天文地理。
- 女程序员怀孕7个月坚持上班敲代码
- sql年月日24小时制_Power Query 抓取气象台24小时降水量数据
- 华为服务器参数配置文件,最实用的华为配置基础手册.doc
- Linux系统断电后起不来,centos/linux 断电后,开机光标闪现不能开启,重新引导
- anaconda和python有什么不一样_黄山毛峰的味道为什么会不一样?
- 不是python文件处理seek()方法的参数是_python文件操作seek()偏移量,读取指正到指定位置操作...
- 乔安监控云存储_智能运维丨全栈监控,护航云上业务
- u盘安全删除 linux,为什么要安全删除U盘
- 如何把python文件发给别人没_如何把自己写的python程序给别人用