Discription

DarrellDarrellDarrell 在思考一道计算题。

给你一个尺寸为 1×N1 × N1×N 的长条,你可以在上面切很多刀,要求竖直地切并且且完后每块的长度都是整数。

在这种限制下其实只有 N−1N − 1N−1 个位置可以切。

对于一种切的方案,假如切完后每块的宽度分别是:w1,w2,w3,...,wk(∑wi=N)w_1, w_2, w_3, ..., w_k(\sum w_i = N)w1​,w2​,w3​,...,wk​(∑wi​=N),那么该种方案对应

的完美值为:∏i=1kwi2
∏^{k}_{i=1}w_i^2i=1∏k​wi2​

那么问题来了,给出 MMM 个位置不能切(如果用 xxx 表示一个位置,那么切完该位置后长条变为 1×x1 × x1×x 和

1×(N−x)1 × (N − x)1×(N−x) 两块),那么所有合法切法对应的完美值的和是多少呢?(只需要输出模 109+710^9 + 7109+7 的结果)

Input

第 111 行,有 222 个整数:NMN MNM,表示长条的总长度及不能切的位置数

第 222 行,有 MMM 个整数:x1,x2,x3,...,xMx_1, x_2, x_3, ..., x_Mx1​,x2​,x3​,...,xM​ 表示不能切的位置。

Output

输出 111 行,包含 111 个整数,表示满足要求的所有切法对应的完美值和。(对 109+710^9 + 7109+7 取模后的结果)

Note

• 对于 20%20\%20% 的数据,有 1≤N,M≤1031 ≤ N, M ≤ 10^31≤N,M≤103。

• 对于 60%60\%60% 的数据,有 1≤N,M≤1051 ≤ N, M ≤ 10^51≤N,M≤105。

• 对于 100%100\%100% 的数据,有 1≤N≤109,1≤M≤1051 ≤ N ≤ 10^9,1 ≤ M ≤ 10^51≤N≤109,1≤M≤105,且 1≤x1&lt;x2&lt;x3&lt;...&lt;xm&lt;N1 ≤ x_1 &lt; x_2 &lt; x_3 &lt; ... &lt; x_m &lt; N1≤x1​<x2​<x3​<...<xm​<N


很显然可以看出DPDPDP柿子dp[0]=1,   dp[i]=∑j=0i−1dp[j]∗(i−j)2dp[0]=1,\ \ \ dp[i]=\sum_{j=0}^{i-1}dp[j]*(i-j)^2dp[0]=1,   dp[i]=j=0∑i−1​dp[j]∗(i−j)2

然后答案就为dp[N]dp[N]dp[N]

由于NNN很大 ≤109\le10^9≤109

所以考虑用矩阵快速幂优化转移

先想想M=0M=0M=0怎么转移

定义向量如下:[   ∑j=0idp[j] , ∑j=0idp[j]∗(i−j) , ∑j=0idp[j]∗(i−j)2   ]\left[\ \ \ \sum_{j=0}^idp[j]\ ,\ \sum_{j=0}^idp[j]*(i-j)\ ,\ \sum_{j=0}^idp[j]*(i-j)^2\ \ \ \right][   j=0∑i​dp[j] , j=0∑i​dp[j]∗(i−j) , j=0∑i​dp[j]∗(i−j)2   ]

然后考虑从[   ∑j=0i−1dp[j] , ∑j=0i−1dp[j]∗(i−1−j) , ∑j=0i−1dp[j]∗(i−1−j)2   ]\left[\ \ \ \sum_{j=0}^{i-1}dp[j]\ ,\ \sum_{j=0}^{i-1}dp[j]*(i-1-j)\ ,\ \sum_{j=0}^{i-1}dp[j]*(i-1-j)^2\ \ \ \right][   j=0∑i−1​dp[j] , j=0∑i−1​dp[j]∗(i−1−j) , j=0∑i−1​dp[j]∗(i−1−j)2   ]转移到[   ∑j=0idp[j] , ∑j=0idp[j]∗(i−j) , ∑j=0idp[j]∗(i−j)2   ]\left[\ \ \ \sum_{j=0}^idp[j]\ ,\ \sum_{j=0}^idp[j]*(i-j)\ ,\ \sum_{j=0}^idp[j]*(i-j)^2\ \ \ \right][   j=0∑i​dp[j] , j=0∑i​dp[j]∗(i−j) , j=0∑i​dp[j]∗(i−j)2   ]

转移矩阵就是

[221110121][∑j=0i−1dp[j]∑j=0i−1dp[j]∗(i−1−j)∑j=0i−1dp[j]∗(i−1−j)2]=[∑j=0idp[j]∑j=0idp[j]∗(i−j)∑j=0idp[j]∗(i−j)2]\left[\begin{matrix}
2&amp;2&amp;1\\
1&amp;1&amp;0\\
1&amp;2&amp;1\\
\end{matrix}\right]
\left[\begin{matrix}
\sum_{j=0}^{i-1}dp[j]\\
\sum_{j=0}^{i-1}dp[j]*(i-1-j)\\
\sum_{j=0}^{i-1}dp[j]*(i-1-j)^2\\
\end{matrix}\right]
=\left[\begin{matrix}
\sum_{j=0}^{i}dp[j]\\
\sum_{j=0}^{i}dp[j]*(i-j)\\
\sum_{j=0}^{i}dp[j]*(i-j)^2\\
\end{matrix}\right]
⎣⎡​211​212​101​⎦⎤​⎣⎢⎡​∑j=0i−1​dp[j]∑j=0i−1​dp[j]∗(i−1−j)∑j=0i−1​dp[j]∗(i−1−j)2​⎦⎥⎤​=⎣⎢⎡​∑j=0i​dp[j]∑j=0i​dp[j]∗(i−j)∑j=0i​dp[j]∗(i−j)2​⎦⎥⎤​自己推一推吧…

注意第二项和第三项当j=ij=ij=i时贡献的值是000因为i−j=0i-j=0i−j=0,所以jjj的范围实质上是[0,i−1][0,i-1][0,i−1].为了统一就写成[0,i][0,i][0,i]了.

考虑这个地方不能切,我们就强制把这个位置的dpdpdp值设为000就行了.

那么不能切的地方的转移,就只用把第一项累加dp[i]dp[i]dp[i]的系数去掉就行了.第一行也就变成了[2,2,1]−[1,2,1]=[1,0,0][2,2,1]-[1,2,1]=[1,0,0][2,2,1]−[1,2,1]=[1,0,0],那么不能切的地方的转移矩阵就如下:

[100110121]\left[\begin{matrix}
1&amp;0&amp;0\\
1&amp;1&amp;0\\
1&amp;2&amp;1\\
\end{matrix}\right]⎣⎡​111​012​001​⎦⎤​

详细见代码

CODE

#include<bits/stdc++.h>
using namespace std;
inline void read(int &num) {
char ch; int flg = 1; while(!isdigit(ch=getchar()))if(ch=='-')flg = -flg;
for(num=0; isdigit(ch); num=num*10+ch-'0', ch=getchar()); num*=flg;
}
const int MAXN = 1e5+5;
const int mod = 1e9+7;
struct mat {
int a[3][3];
mat() { memset(a,0,sizeof a); }
inline void init1() {
a[0][0] = 2; a[0][1] = 2; a[0][2] = 1;
a[1][0] = 1; a[1][1] = 1; a[1][2] = 0;
a[2][0] = 1; a[2][1] = 2; a[2][2] = 1;
}
inline void init2() {
a[0][0] = 1; a[0][1] = 0; a[0][2] = 0;
a[1][0] = 1; a[1][1] = 1; a[1][2] = 0;
a[2][0] = 1; a[2][1] = 2; a[2][2] = 1;
}
inline mat operator *(const mat &o)const {
mat re;
for(int k = 0; k < 3; ++k)
for(int i = 0; i < 3; ++i) if(a[i][k])
for(int j = 0; j < 3; ++j) if(o.a[k][j])
re.a[i][j] = (re.a[i][j] + 1ll * a[i][k] * o.a[k][j] % mod) % mod;
return re;
}
inline mat operator ^(int b)const {
mat A = *this, re;
re.a[0][0] = re.a[1][1] = re.a[2][2] = 1;
while(b) {
if(b & 1) re = re * A;
A = A * A; b >>= 1;
}
return re;
}
}ans, trans1, trans2;
int N, M, pos[MAXN];
int main() {
freopen("count.in", "r", stdin);
freopen("count.out", "w", stdout);
scanf("%d%d", &N, &M);
for(int i = 1; i <= M; ++i)
scanf("%d", &pos[i]);
ans.a[0][0] = 1;
trans1.init1();
trans2.init2();
for(int i = 1; i <= M; ++i)
ans = (trans1^(pos[i]-pos[i-1]-1)) * ans, ans = trans2 * ans;
ans = (trans1^(N-pos[M])) * ans;
printf("%d\n", ans.a[2][0]);
}

妈妈我终于会矩阵快速幂了!!!

省选模拟赛 Problem 3. count (矩阵快速幂优化DP)的更多相关文章

  1. 2018.10.23 bzoj1297: [SCOI2009]迷路(矩阵快速幂优化dp)

    传送门 矩阵快速幂优化dp简单题. 考虑状态转移方程: f[time][u]=∑f[time−1][v]f[time][u]=\sum f[time-1][v]f[time][u]=∑f[time−1 ...

  2. 2018.10.22 bzoj1009: [HNOI2008]GT考试(kmp+矩阵快速幂优化dp)

    传送门 f[i][j]f[i][j]f[i][j]表示从状态"匹配了前i位"转移到"匹配了前j位"的方案数. 这个东西单次是可以通过跳kmp的fail数组得到的 ...

  3. 2018.10.16 uoj#340. 【清华集训2017】小 Y 和恐怖的奴隶主(矩阵快速幂优化dp)

    传送门 一道不错的矩阵快速幂优化dpdpdp. 设f[i][j][k][l]f[i][j][k][l]f[i][j][k][l]表示前iii轮第iii轮还有jjj个一滴血的,kkk个两滴血的,lll个 ...

  4. 【bzoj1009】[HNOI2008]GT考试(矩阵快速幂优化dp+kmp)

    题目传送门:https://www.lydsy.com/JudgeOnline/problem.php?id=1009 这道题一看数据范围:$ n<=10^9 $,显然不是数学题就是矩乘快速幂优 ...

  5. 2018.10.19 NOIP模拟 硬币(矩阵快速幂优化dp)

    传送门 不得不说神仙出题人DZYODZYODZYO出的题是真的妙. f[i][j][k]f[i][j][k]f[i][j][k]表示选的硬币最大面值为iii最小面值不小于jjj,总面值为kkk时的选法 ...

  6. 2018.11.08 NOIP模拟 景点(倍增+矩阵快速幂优化dp)

    传送门 首先按照题意构造出转移矩阵. 然后可以矩阵快速幂求出答案. 但是直接做是O(n3qlogm)O(n^3qlogm)O(n3qlogm)的会TTT掉. 观察要求的东西发现我们只关系一行的答案. ...

  7. 2019.02.11 bzoj4818: [Sdoi2017]序列计数(矩阵快速幂优化dp)

    传送门 题意简述:问有多少长度为n的序列,序列中的数都是不超过m的正整数,而且这n个数的和是p的倍数,且其中至少有一个数是质数,答案对201704082017040820170408取模(n≤1e9, ...

  8. 【20181019T2】硬币【矩阵快速幂优化DP】

    题面 [错解] 哎\(N \leq 50\)?双向搜索? 切了切-- 等下,好像要求方案数-- 好像搜不了 哎他给\(V_{i} | V_{i+1}\)干嘛? 肯定有用啊 为了体现条件的用处,我在搜下 ...

  9. HDU5411——CRB and Puzzle——————【矩阵快速幂优化dp】

    CRB and Puzzle Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 65536/65536 K (Java/Others)To ...

随机推荐

  1. 串口控制RGB灯程序

    实验目的: 通过上位机给串口发送数据(字符); STM32收到数据进入中断程序原封不动返回上位机,并且根据收到的信息产出相应的进行操作.(1- led_on  2 – ledoff...); 源码   ...

  2. Django入门(下)

    一.创建APP 在每一个django项目中可以包含多个APP,相当于一个大型项目中的分系统.子模块.功能部件等.互相之间比较独立,但也有联系. 在pycharm下方的Terminal终端中输入命令: ...

  3. 烧脑!CMU、北大等合著论文真的找到了神经网络的全局最优解

    烧脑!CMU.北大等合著论文真的找到了神经网络的全局最优解 机器之心 ​ 已认证的官方帐号 811 人赞同了该文章 选自arXiv,作者:Simon S. Du.Jason D. Lee.Haochu ...

  4. 将迁移学习用于文本分类 《 Universal Language Model Fine-tuning for Text Classification》

    将迁移学习用于文本分类 < Universal Language Model Fine-tuning for Text Classification> 2018-07-27 20:07:4 ...

  5. 箭头函数的arguments不可用

    ES5中的arguments function func(a,b,c){ console.log(arguments[0],arguments[1],arguments[2]) } func(1,2, ...

  6. Android 自定义控件之 日期选择控件

    效果如下: 调用的代码: @OnClick(R.id.btn0) public void btn0() { final AlertDialog dialog = new AlertDialog.Bui ...

  7. ASP.NET MVC或者.net Core mvc 页面使用富文本控件的 保存问题

    https://blog.csdn.net/leftfist/article/details/69629394 目前在做的项目存在XSS安全漏洞! 原因是有一些页面使用了富文本编辑框,为了使得其内容可 ...

  8. Abp 添加权限项<一>

    1.下载代码,数据库迁移,npm install 2.添加权限项: public static class PermissionNames { public const string Pages_Te ...

  9. [NOIP2018模拟赛10.18]自闭报告

    闲扯 这一天,菜鸡RyeCatcher又想起来了被毒瘤题支配的恐惧 今天比较好玩,还是ljy提醒才发现文件夹里有题面...不知道外面的人什么时候才发现 看完了题面,又回到了雅礼啥题也不会写的感觉 T1 ...

  10. K2 BPM_K2受邀出席QAD 2019年亚太区用户大会_全业务流程管理专家

    6月12-13日,K2受邀参加了以“云聚创新,智造未来”为主题的QAD 2019年亚太区用户大会.会议上K2同与会嘉宾们共商制造业数字化转型,就如何用流程赋能企业实现智能制造进行了精彩分享. 近期发布 ...