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)相关推荐

  1. 形态形成场(矩阵乘法优化dp)

    形态形成场(矩阵乘法优化dp) 短信中将会涉及前\(k\)种大写字母,每个大写字母都有一个对应的替换式\(Si\),替换式中只会出现大写字母和数字,比如\(A→BB,B→CC0,C→123\),代表 ...

  2. 【Contra】 矩阵乘法优化 dp

    偶然间,chnlich发现了他小时候玩过的一个游戏"魂斗罗",于是决定怀旧.但是这是一个奇怪的魂斗罗MOD.有N个关卡,初始有Q条命.每通过一个关卡,会得到u分和1条命,生命上限为 ...

  3. [学习笔记]矩阵乘法及其优化dp

    1.定义: $c[i][j]=\sum a[i][k]\times b[k][j]$ 所以矩阵乘法有条件,(n*m)*(m*p)=n*p 即第一个矩阵的列数等于第二个矩阵的行数,否则没有意义. 2.结 ...

  4. 【BZOJ 3326】[Scoi2013]数数 数位dp+矩阵乘法优化

    挺好的数位dp-- 先说一下我个人的做法: 经过观察,发现这题按照以往的思路从后往前递增,不怎么好推,然后我就大胆猜想,从前往后推,发现很好推啊,维护四个变量,从开始位置到现在有了i个数 f[i]:所 ...

  5. bzoj 3120 矩阵优化DP

    我的第一道需要程序建矩阵的矩阵优化DP. 题目可以将不同的p分开处理. 对于p==0 || p==1 直接是0或1 对于p>1,就要DP了.这里以p==3为例: 设dp[i][s1][s2][r ...

  6. hdu 3962(AC自动机+矩阵优化dp)

    转载标记处:http://blog.csdn.net/woshi250hua/article/details/7599472 题目大意:给定m个DNA病毒序列,求碱基构成的长度为n且含有两个以上DNA ...

  7. 线性代数四之动态DP(广义矩阵加速)——Can you answer these queries III,保卫王国

    动态DP--广义矩阵加速 SP1716 GSS3 - Can you answer these queries III description solution code [NOIP2018 提高组] ...

  8. 【codevs2304】【BZOJ1875】HH去散步,第一次的矩阵加速DP

    传送门1 传送门2 写在前面:今天冒傻气 思路:我第一眼没有看出来它是个矩阵乘法加速DP,只觉得如果这个t小点就直接广搜可以了,后来发现网上的题解无一例外都是矩阵快速幂的时候,我的表情 后来看了看黄学 ...

  9. AtCoder abc256全题解(区间合并模板、矩阵快速幂优化dp、线段树……)

    文章目录 A B C-枚举 D-区间合并模板 E-图论建模,函数图的性质 题意 思路 代码 F-树状数组 题意 思路 代码 G-矩阵快速幂优化dp H-线段树 思路 实现 传送门 本文CSDN 本文j ...

最新文章

  1. 中国一线城市住宅地价同比增幅连续8个季度收窄
  2. 自动化监控--zabbix中的邮件报警通知详解
  3. 4.1.1 初识文件管理
  4. spring配置数据源(加载properties文件)
  5. Outlook应用指南(1)——数据备份还原技巧
  6. [Cogs14] [网络流24题#1] 飞行员分配方案 [网络流,最大流,二分图匹配]
  7. SAP License:SAP 销售成本会计VS期间会计
  8. ggthemes包:丰富ggplot2的表现力
  9. 【8.16校内测试】【队列】【数学】【网络流/二分图最大匹配】
  10. 535. TinyURL 的加密与解密
  11. for path多行变一列
  12. NPDP认证怎么考?有用吗?
  13. Word-去掉标题前面的小黑点
  14. 路由器的应用场所及作用
  15. python自己制作节奏大师游戏_十分钟利用Python制作属于你自己的个性logo
  16. 只要不上网,pc机就不会感染计算机病毒,计算机考试试题训练
  17. 新网站对SEO工作内容简介
  18. UE学习笔记01(3月)
  19. 【Javaweb】TCP原理(三次握手四次挥手)
  20. Linux系统使用--Ubuntu 16.04 安装为知笔记

热门文章

  1. 这个地球仪太惊艳了,陪孩子畅聊天文地理。
  2. 女程序员怀孕7个月坚持上班敲代码
  3. sql年月日24小时制_Power Query 抓取气象台24小时降水量数据
  4. 华为服务器参数配置文件,最实用的华为配置基础手册.doc
  5. Linux系统断电后起不来,centos/linux 断电后,开机光标闪现不能开启,重新引导
  6. anaconda和python有什么不一样_黄山毛峰的味道为什么会不一样?
  7. 不是python文件处理seek()方法的参数是_python文件操作seek()偏移量,读取指正到指定位置操作...
  8. 乔安监控云存储_智能运维丨全栈监控,护航云上业务
  9. u盘安全删除 linux,为什么要安全删除U盘
  10. 如何把python文件发给别人没_如何把自己写的python程序给别人用