矩阵快速幂一篇通

文章目录

  • 概述
  • 快速幂
    • 解析
    • 代码
  • 矩阵运算定义
    • 加法
    • 乘法
    • 单位矩阵
  • 一、斐波拉契(基础模板)
    • 题目描述
    • 解析
    • 代码
  • 二、行为方案(实际应用)
    • 题目描述
    • 解析
    • 代码
  • 三、矩阵求和(子矩阵作为矩阵元素)
    • 题目描述
    • 解析
    • 代码
  • 四、最短路径(对矩阵乘法灵活的定义方式)
    • 题目描述
    • 解析
    • 代码:
  • thanks for reading!

概述

矩阵快速幂,顾名思义,就是矩阵乘法与快速幂的结合,可以将时间复杂度优化到log级别。
当数据范围中图的尺寸较小,而时间、变换次数、步数等的范围较大(通常在10^9左右)时,可以考虑矩阵快速幂问题
矩阵快速幂的关键在于构造转移矩阵

快速幂

解析

由于

x^a * x^b = x^(a+b)

逆向来看,对于一个较大的指数k,我们可以进行拆分:

x^k = x^a1 * x^a2 *…(a1+a2+…=k)

由于二进制拆分的唯一存在性,我们就可以把k拆成若干个2的幂数作为a序列,将其对应的乘幂求出,并乘在一起就能得到x^k了
时间复杂度log k

代码

ll ksm(ll x, int w) {//求x的w次幂ll ans = 1;while (w) {if (w & 1)ans = (ll)(ans * x) % mod;//mod是取模用的x = (x * x) % mod;w >>= 1;}return ans;
}

矩阵运算定义

加法

对于两个大小完全相同的矩阵,定义二者相加为每个对应元素相加(比较简单,不细说了)

乘法

对于两个矩阵AB,若A的行数等于B的列数,则二者可以相乘
换言之,ab的矩阵A可以和bc的矩阵B相乘,结果是一个a*c的矩阵C,单次相乘时间复杂度为abc 的乘积
对于每一个c中的元素:

c[i][j]=∑a[i][p]+b[p][j](1<=p<=b)

简单说就是顶针式的乘积累加
容易证明,矩阵乘法满足结合律,但是不满足交换律
对于一个行列相等的方阵,可以不断累乘自身

单位矩阵

如果一个矩阵的结构为:
1 0 0 0 0
0 1 0 0 0
0 0 1 0 0
0 0 0 1 0
0 0 0 0 1
则称它为一个单位矩阵
对于一个a*b的矩阵A,它与一个边长为b的矩阵相乘,结果还是A本身
单位矩阵在矩阵运算中起着单位1的作用

矩阵简单的运算就是这些,接下来我们通过一些例题由浅入深,看看矩阵快速幂如何应用吧

一、斐波拉契(基础模板)

万物之始

题目描述

斐波拉契的定义为:

f[1]=f[2]=1;
f[n]=f[n-1]+f[n-2](n>=3)

(不会真的有人不知道吧)
现在要你求出第k项取模后的结果
(k<=2^63)

解析

我们发现:
对于一个行矩阵:

f[n] f[n-1]

尝试构造出一个转移矩阵M
(转移矩阵是矩阵题目的灵魂,多为方阵)

1 1
1 0

那么两者相乘后就会得到:

f[n]+f[n-1] f[n]

根据斐波拉契的定义,上面的结果就是:

f[n+1] f[n]

所以,要求第k项的值,就只需要把矩阵f[2] f[1]乘上k-2次转移矩阵即可
这样就可以用快速幂提速了
(由于本题原矩阵过于简单,其实代码实现时我们都不需要让那个行矩阵出现)

代码

#include<bits/stdc++.h>
using namespace std;
#define ll long long
const int mod=1e9+7;
ll a,b,c,k;
ll ans[4][4],res[4][4],trans[4][4];
void mul1(){//res*resmemset(trans,0,sizeof(trans));for(int i=1;i<=2;i++){for(int j=1;j<=2;j++){for(int p=1;p<=2;p++){trans[i][j]+=res[i][p]*res[p][j];trans[i][j]%=mod;}}}for(int i=1;i<=2;i++){for(int j=1;j<=2;j++){res[i][j]=trans[i][j];}}
}
void mul2(){//res*ansmemset(trans,0,sizeof(trans));for(int i=1;i<=2;i++){for(int j=1;j<=2;j++){for(int p=1;p<=2;p++){trans[i][j]+=ans[i][p]*res[p][j];trans[i][j]%=mod;}}}for(int i=1;i<=2;i++){for(int j=1;j<=2;j++){ans[i][j]=trans[i][j];}}
}
void ksm(ll w){while(w){if(w&1) mul2();mul1();w>>=1;}return;
}
void print(){for(int i=1;i<=2;i++){for(int j=1;j<=2;j++){printf("%d ",ans[i][j]);}printf("\n");}
}
int main()
{ans[1][1]=ans[2][2]=1;res[1][1]=res[1][2]=res[2][1]=1;scanf("%lld",&a);if(a<=2) {printf("1");return 0;}ksm(a-2);
//	print();printf("%lld",(ans[1][1]+ans[2][1])%mod);return 0;
}

二、行为方案(实际应用)

题目描述

在这里插入图片描述

解析

定义dp[i][j][t]为经过t时间从i走到j的方案数
不难想到转移

dp[i][j][t]=∑dp[i][p][t-1]*dp[p][j][1]

我们发现出现了矩阵乘法标志性的顶针结构
也就是说,想要从t-1转移到t,只需要把t-1状态的矩阵与状态1的矩阵相乘就行了
换言之,询问t状态的矩阵,就是求状态1矩阵的t次幂
这样在提速的同时,也就把第三维空间优化掉了
这样就转化为快速幂问题了
接下来就是原始矩阵的构造问题

首先肯定要把存在边的点连上:

dp[from][to]=1

还可以停留在原点,也就相当于一个自环:

dp[i][i]=1;(1<=i<=n)

对于自爆,我们可以把0结点当成自爆的状态,在任何一个点均可自爆,所以:

dp[i][0]=1(1<=i<=n)

由于自爆后不能向任何状态转移了,所以0结点没有任何出边
最后的答案就是∑dp[1][i] (0<=i<=n)
这样本题就结束了

代码

#include<bits/stdc++.h>
using namespace std;
#define ll long long
const int mod=2017;
const int N=150;
ll a,b,c,k;
int n,m;
ll ans[N][N],res[N][N],trans[N][N];
void mul1(){//res*resmemset(trans,0,sizeof(trans));for(int i=0;i<=n;i++){for(int j=0;j<=n;j++){for(int p=0;p<=n;p++){trans[i][j]+=res[i][p]*res[p][j];trans[i][j]%=mod;}}}for(int i=0;i<=n;i++){for(int j=0;j<=n;j++){res[i][j]=trans[i][j];}}
}
void mul2(){//res*ansmemset(trans,0,sizeof(trans));for(int i=0;i<=n;i++){for(int j=0;j<=n;j++){for(int p=0;p<=n;p++){trans[i][j]+=ans[i][p]*res[p][j];trans[i][j]%=mod;}}}for(int i=0;i<=n;i++){for(int j=0;j<=n;j++){ans[i][j]=trans[i][j];}}
}
void ksm(ll w){while(w){if(w&1) mul2();mul1();w>>=1;}return;
}
void print(){for(int i=0;i<=n;i++){for(int j=0;j<=n;j++){printf("%d ",ans[i][j]);}printf("\n");}
}
int main()
{scanf("%d%d",&n,&m);for(int i=0;i<=n;i++) ans[i][i]=1;for(int i=1;i<=m;i++){int a,b;scanf("%d%d",&a,&b);res[a][b]=res[b][a]=1;}for(int i=0;i<=n;i++) res[i][i]=1;for(int i=1;i<=n;i++) res[i][0]=1;int t;scanf("%d",&t);ksm(t);int tot=0;for(int i=0;i<=n;i++){tot+=ans[1][i];}
//	print();printf("%d",tot%mod);return 0;
}

三、矩阵求和(子矩阵作为矩阵元素)

题目描述

在这里插入图片描述

解析

对于矩阵A,我们构造转移矩阵:

AI
0I

(I表示与A边长相等的单位矩阵,矩阵套矩阵表示把小矩阵值套进大矩阵里)
比如,当A为:

2 3
1 5

时,转移矩阵为:

2 3 1 0
1 5 0 1
0 0 1 0
0 0 0 1

使它与自身相乘,得到:

A^2I+A
0I

再乘一次:

A^3I+A+A^2
0I

这样我们就可以得到规律了
只需要把这个转移矩阵构造出来后乘上k次幂在把左上角减去单位矩阵输出即可
注意:取模减法需要判断一下会不会减成负的!
(连ybt评测的答案似乎都没有注意。。。)
在这里插入图片描述

代码

#include<bits/stdc++.h>
using namespace std;
#define ll long long
int mod=2017;
const int N=150;
ll a,b,c,k;
int n,m;
ll ans[N][N],res[N][N],trans[N][N];
void mul1(){//res*resmemset(trans,0,sizeof(trans));for(int i=1;i<=n;i++){for(int j=1;j<=n;j++){for(int p=1;p<=n;p++){trans[i][j]+=res[i][p]*res[p][j];trans[i][j]%=mod;}}}for(int i=1;i<=n;i++){for(int j=1;j<=n;j++){res[i][j]=trans[i][j];}}
}
void mul2(){//res*ansmemset(trans,0,sizeof(trans));for(int i=1;i<=n;i++){for(int j=1;j<=n;j++){for(int p=1;p<=n;p++){trans[i][j]+=ans[i][p]*res[p][j];trans[i][j]%=mod;}}}for(int i=1;i<=n;i++){for(int j=1;j<=n;j++){ans[i][j]=trans[i][j];}}
}
void ksm(ll w){while(w){if(w&1) mul2();mul1();w>>=1;}return;
}
void print(){for(int i=1;i<=n;i++){for(int j=1+n;j<=2*n;j++){if(i+n==j) ans[i][j]--;
//			if(ans[i][j]<0) ans[i][j]+=mod;printf("%lld ",ans[i][j]);}printf("\n");}
}
int main()
{scanf("%d%d%d",&n,&m,&mod);for(int i=1;i<=n;i++){for(int j=1;j<=n;j++) scanf("%lld",&res[i][j]);}for(int j=n+1;j<=2*n;j++){res[j][j]=res[j-n][j]=1;}n<<=1;for(int i=1;i<=n;i++) ans[i][i]=1;ksm(m+1);n>>=1;print();return 0;
}

四、最短路径(对矩阵乘法灵活的定义方式)

题目描述

在这里插入图片描述

解析

定义dp[i][j][k]:从i到j,经过k条边的最短路径
易得转移方程:

dp[i][j][k]=min(dp[i][j][k],dp[i][p][k-1]+dp[p][j][1];

我们发现出现了顶针结构,但似乎运算从乘积累加变成了求min
那么把运算的定义改一下不就好了!
(这样修改之后不再有单位矩阵的概念,好在本题也不需要)
还有一些细节问题:

1.在原始矩阵中dp[i][i]应该为正无穷而不是0,换言之,经过一条边走到原处的方案在没有自环的情况下应该是不可能的
2.由于边数<=100,所以点不会超过200个,但编号会达到1000。如果直接用原编号,会超时。所以本题需要对点进行离散化处理

代码:

#include<bits/stdc++.h>
using namespace std;
#define ll long long
int mod=2017;
const int N=1500;
int s,e,n,m,k;
int mx;
int a,b,c,d;
ll ans[N][N],res[N][N],trans[N][N];
int id[N*100],tot=0;
void mul1(){//res*resmemset(trans,0x3f,sizeof(trans));for(int i=1;i<=n;i++){for(int j=1;j<=n;j++){for(int p=1;p<=n;p++){trans[i][j]=min(trans[i][j],res[i][p]+res[p][j]);
//				trans[i][j]%=mod;}}}for(int i=1;i<=n;i++){for(int j=1;j<=n;j++){res[i][j]=trans[i][j];}}
}
void mul2(){//res*ansmemset(trans,0x3f,sizeof(trans));for(int i=1;i<=n;i++){for(int j=1;j<=n;j++){for(int p=1;p<=n;p++){trans[i][j]=min(trans[i][j],ans[i][p]+res[p][j]);
//				trans[i][j]%=mod;}}}for(int i=1;i<=n;i++){for(int j=1;j<=n;j++){ans[i][j]=trans[i][j];}}
}
void ksm(ll w){while(w){if(w&1) mul2();mul1();w>>=1;}return;
}
void print(){for(int i=1;i<=n;i++){for(int j=1;j<=n;j++){
//			if(ans[i][j]<0) ans[i][j]+=mod;if(ans[i][j]>2e9) printf("-1 ");else printf("%lld ",ans[i][j]);}printf("\n");}printf("\n");
}
void print_res(){for(int i=1;i<=n;i++){for(int j=1;j<=n;j++){
//			if(ans[i][j]<0) ans[i][j]+=mod;if(res[i][j]>2e9) printf("-1 ");else printf("%lld ",res[i][j]);}printf("\n");}
}
int main()
{scanf("%d%d%d%d",&k,&n,&s,&e);memset(res,0x3f,sizeof(res));memset(ans,0x3f,sizeof(ans));for(int i=1;i<=n;i++){scanf("%d%d%d",&c,&a,&b);if(!id[a]) id[a]=++tot;if(!id[b]) id[b]=++tot;a=id[a],b=id[b];res[a][b]=res[b][a]=c;
//		mx=max(mx,max(a,b));
//		printf("a=%d b=%d v=%d\n",a,b,c);}n=tot;
//	print_res();for(int i=1;i<=n;i++) ans[i][i]=0;ksm(k);
//	mul2();
//	print();
//	mul2();
//	print();printf("%lld",ans[id[s]][id[e]]);return 0;
}
/*
1 6 6 4
11 4 6
4 4 8
8 4 9
6 6 8
2 6 9
3 8 9
*/

thanks for reading!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/318597.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

SPOJ687 Repeats(重复次数最多的连续子串)

Repeats hihoCoder 1419 后缀数组四重复旋律4(重复次数最多的连续子串) #include<bits/stdc.h> using namespace std;// sa[i]: 排名是i位的是第几个后缀 // rk[i]: 第i个后缀的排名是多少 // height[i]: sa[i]与sa[i-1] const int N50010; char s[N]; int rk[N],sa[N…

玉米田(加加强版)【插头dp】

前言 水解警告&#xff0c;数据水勉强卡过的 正题 题目大意 n∗mn*mn∗m的网格里面有些格子被禁止&#xff0c;现在求选取若干个不相邻的格子的方案数。 1≤n≤120,1≤m≤211\leq n\leq 120,1\leq m\leq 211≤n≤120,1≤m≤21 解题思路 听说是插头dpdpdp然后想了一下觉得比插…

牛客题霸 [将字符串转化为整数] C++题解/答案

牛客题霸 [将字符串转化为整数] C题解/答案 题目描述 实现函数 atoi 。函数的功能为将字符串转化为整数 提示&#xff1a;仔细思考所有可能的输入情况。这个问题没有给出输入的限制&#xff0c;你需要自己考虑所有可能的情况。 题解&#xff1a; 题目很简单&#xff0c;但是…

用ABP入门DDD

前言ABP框架一直以来都是用DDD&#xff08;领域驱动设计&#xff09;作为宣传点之一。但是用过ABP的人都知道&#xff0c;ABP并不是一个严格遵循DDD的开发框架&#xff0c;又或者说&#xff0c;它并没有完整实现DDD的所有概念。但是反过来说&#xff0c;认真学过DDD的人会发现&…

多重背包的二进制优化(ybtoj-宝物筛选)

文章目录题目描述解析朴素算法代码二进制优化代码thanks for reading!题目描述 解析 朴素算法 首先考虑朴素算法 把数量为num的物体拆成num个子物体 其价值与重量是原物体的1&#xff0c;2&#xff0c;3…num倍 然后当成独立的物体求就行了 注意应该先枚举重量&#xff0c;再…

P6800-[模板]Chirp Z-Transform【NTT】

正题 题目链接:https://www.luogu.com.cn/problem/P6800 题目大意 给出一个nnn此多项式PPP&#xff0c;对于k∈[0,m−1]k\in[0,m-1]k∈[0,m−1]所有的求P(ck)P(c^k)P(ck) 输出答案对998244353998244353998244353取模 1≤n,m≤1061\leq n,m\leq 10^61≤n,m≤106 解题思路 g(n)…

AtCoder Grand Contest 021 D - Reversed LCS(区间dp)

D - Reversed LCS 繁凡さん 设 f[l,r,k]f [ l , r , k ]f[l,r,k] 表示区间 [l,r][ l , r ][l,r] 中修改 kkk 次能得到的最长回文子序列的长度&#xff0c;直接区间DP转移即可。 字符串的 最长回文子序列&#xff08;lps&#xff09; 长度等于其自身与反转的 最长公共子序列&am…

牛客题霸 [滑动窗口的最大值] C++题解/答案

牛客题霸 [滑动窗口的最大值] C题解/答案 题目描述 给定一个数组和滑动窗口的大小&#xff0c;找出所有滑动窗口里数值的最大值。例如&#xff0c;如果输入数组{2,3,4,2,6,2,5,1}及滑动窗口的大小3&#xff0c;那么一共存在6个滑动窗口&#xff0c;他们的最大值分别为{4,4,6,…

基于.NET Standard的分布式自增ID算法--Snowflake

概述本篇文章主要讲述分布式ID生成算法中最出名的Snowflake算法。搞.NET开发的&#xff0c;数据库主键最常见的就是int类型的自增主键和GUID类型的uniqueidentifier。那么为何还要引入snowflake呢&#xff1f;INT自增主键自增主键是解决主键生成的最简单方案&#xff0c;它有如…

水题杂做(

前言 平时闲的无聊写的或者口嗨的水题就不水博客了。 CF1545A AquaMoon and Strange Sort 题意 给出nnn个数字的一个序列&#xff0c;每次可以交换相邻的两个数字&#xff0c;求是否能够将序列从小到大排序且每个数字被交换次数为偶数。 n≤105n\leq 10^5n≤105 解题思路 …

2021“MINIEYE杯”中国大学生算法设计超级联赛(4)Display Substring(后缀数组+二分)

Display Substring #include<bits/stdc.h> using namespace std; typedef long long ll; // sa[i]: 排名是i位的是第几个后缀 // rk[i]: 第i个后缀的排名是多少 // height[i]: sa[i]与sa[i-1] const int N100010; char s[N]; int rk[N],sa[N],cnt[N],height[N]; int x[N]…

线性筛素数的实现与证明

情境 大家应该都知道用nlogn的时间复杂度筛出[1,n]的所有素数&#xff0c;但是当n的范围较大时&#xff0c;这个方法就不奏效了 今天我们谈谈素数的线性筛法&#xff0c;也就是用On的时间复杂度筛出[1,n]的所有素数 解析 nlog的算法之所以会慢&#xff0c;是因为它进行了很多…

牛客题霸 [在转动过的有序数组中寻找目标值] C++题解/答案

牛客题霸 [在转动过的有序数组中寻找目标值] C题解/答案 题目描述 给出一个转动过的有序数组&#xff0c;你事先不知道该数组转动了多少 (例如,0 1 2 4 5 6 7可能变为4 5 6 7 0 1 2). 在数组中搜索给出的目标值&#xff0c;如果能在数组中找到&#xff0c;返回它的索引&#…

领域驱动设计,让程序员心中有码(二)

引子&#xff0c;软件工程没有银弹上一篇博文领域驱动设计&#xff0c;让程序员心中有码&#xff0c;抛出了一个问题&#xff0c;领域驱动设计真的是万能的良方吗&#xff1f;对于这个问题&#xff0c;大家的答案无疑是一致的&#xff0c;作为一种非常受软件行业欢迎的软件思想…

bzoj#2407-探险【最短路,二进制分组】

正题 题目链接:https://darkbzoj.tk/problem/2407 题目大意 nnn个点的一张无向图&#xff08;但是正反权值不同&#xff09;&#xff0c;求一个从111出发回到111且不经过重复边的最短路径。 1≤n≤10000,1≤m≤21051\leq n\leq 10000,1\leq m\leq 2\times 10^51≤n≤10000,1≤…

The 2020 ICPC Asia Macau Regional Contest A. Accelerator(分治+NTT)

A. Accelerator 实质上就是求n个多项式相乘 (a1x)(a2x)…(anx)(a_1x)(a_2x)\dots(a_nx) (a1​x)(a2​x)…(an​x) 对于[xm][x^m][xm]的系数即是从nnn个选出n−mn-mn−m的乘积之和。 每次从nnn个选出n−mn-mn−m的概率显然为 (nm)n!\frac{\binom{n}{m}}{n!} n!(mn​)​ 然后期…

牛客题霸 [栈和排序] C++题解/答案

牛客题霸 [栈和排序] C题解/答案 题目描述 给你一个1->n的排列和一个栈&#xff0c;入栈顺序给定 你要在不打乱入栈顺序的情况下&#xff0c;对数组进行从大到小排序 当无法完全排序时&#xff0c;请输出字典序最大的出栈序列 题解&#xff1a; 栈的性质是先进后出 当栈…

邮局-[IOI2000](四边形不等式)

概要 四边形不等式的核心在于缩小最优转移的范围 题目描述 传送门 解析 这道题说是不等式&#xff0c;但其实也可以感性理解 &#xff08;其实就是不想证明&#xff09; 定义pl[i][k]: i到n的村庄建造k座邮局时&#xff0c;第一座管辖的范围是i-pl[i][k] (也就是最优决策…

.NET Core实战项目之CMS 第九章 设计篇-白话架构设计

前面两篇文章给大家介绍了我们实战的CMS系统的数据库设计&#xff0c;源码也已经上传到服务器上了。今天我们就好聊聊架构设计&#xff0c;在开始之前先给大家分享一下这几天我一直在听的《从零开始学架构》里面关于架构设计的定义以及架构设计的三大原则&#xff0c;希望能对大…

P6847-[CEOI2019]Magic Tree【dp,线段树合并】

正题 题目链接:https://www.luogu.com.cn/problem/P6847 题目大意 nnn个点的一棵树上&#xff0c;每个时刻可以割掉一些边&#xff0c;一些节点上有果实表示如果在did_idi​时刻这个点恰好不与111联通&#xff0c;那么就可以获得wiw_iwi​的价值。 1≤n,k≤1051\leq n,k\leq 1…