1.高斯消元

在模意义下依然有效,对主元求逆即可。

甚至可以模合数,需要对两个方程辗转相除,复杂度\(O(n^3\log p)\)。

辗转相除法只要能定义带余除法就有效。


  • 逆矩阵:对于矩阵\(A\),定义逆矩阵\(A^{-1}\)为满足\(A\cdot A^{-1}=A^{-1}\cdot A=e\)的矩阵。

求逆矩阵可以高斯消元。设有\(A\cdot A^{-1}=e\)的形式,把\(A\)消元成单位矩阵的过程中,对方程右侧进行同样的操作。

应用:设有方程\(A\cdot x=b\)(大写字母为矩阵,小写字母为向量),对于不同的\(b\)多次求解,可以转化为\(x=A^{-1}\cdot A \cdot x=A^{-1}\cdot b\)的形式,避免每次高斯消元。

  • 例题

题意:\(n\)个点的图,有\(k\)个关键点,对每对关键点\((i,j)\),求出从\(i\)出发随机游走,遇到的第一个关键点是\(j\)的概率。

Sol:

枚举终点\(k\),设\(f_i\)表示从\(i\)出发,走到的第一个关键点是\(k\)的概率。

对每个关键点设一个只进不出的虚点\(i'\),只有当前枚举的终点的\(f_{k'}=1\),其余为\(0\)。

然后发现每次高斯消元的不同点只有常数项,那么把常数项看作一个向量,每一维代表终点为\(k\)时该行的对应系数。这样直接消元就行了。


  • 行列式

一个结论:设有两个矩阵\(A,B\),则\(det(A\cdot B)=det(A)det(B)\)。

算三角形面积常用的叉积,本质是一个行列式。

可以扩展到\(d\)维空间,用行列式计算体积。

另一个结论:设有\(d\)个变量,均满足\(x_i \leq 0\),且\(\sum x_i\leq s\),点\((x_1,x_2,…,x_d)\)构成的集合的体积\(=\frac{S^d}{d!}\)。(相当于\(d\)个只有一维是\(S\)的向量的积的行列式)

  • 例题

题意:给\(n-1\)维空间下\(n+1\)个点,保证每个点的每一维坐标\(\in \{0,1\}\),求凸包体积。

Sol:

首先题意保证了每个点都不会在凸包的内部。

如果只有\(n\)个点,可以直接解行列式求体积。

现在转化到\(n+1\)个点,发现把每个大小为\(n\)的点集的凸包体积求和后,每个点被算了两次。

证明?咕咕咕。

注意由于叉积有方向,最后要取绝对值,计算的时候不能取模,需要求出精确值。


  • 矩阵树定理

构造:主对角线为每个点的度数,其余的位置有边则为\(-1\),否则为\(0\)。去掉头可以吃一行一列后求行列式即为生成树个数。

证明?咕咕咕。

有向图的有根树形图计数:令\(g_{i,i}\)为\(i\)的入度,\(g_{i,j}\)为\(i\)到\(j\)的边数的相反数,则以\(i\)为根的图个数即为去掉第\(i\)行第\(i\)列的行列式。

推论(BEST定理):\(n\)个点有向图,其欧拉回路的个数为以任意一点为根的树形图个数\(\times \sum (dgr_i-1)!\)。

证明?咕咕咕。

  • 例题:

题意:\(n\)个点,\(\{n-1,n\}\)条边的图,每条边重复\(t_i\)次,求欧拉回路个数。\(n, t_i \leq 1000\)。

Sol:

发现对每条边定向之后就可以用BEST定理算出欧拉回路个数。

先考虑\(n-1\)条边的图,显然每条边两个方向都是\(\frac{t_i}{2}\)次,随便定向之后用BEST定理即可。

扩展到\(n\)条边之后,对于森林部分是相同的解法,主要问题在于环上的边
方向不确定。但是发现枚举任意两个点之间各方向边数,即可\(O(n)\)推出环上其他点之间边数。

树形图个数可以手算,因为一定是环上某个位置切断,维护两个方向的前缀积即可,复杂度\(O(nt)\)。


  • 带状矩阵

定义:所有非\(0\)元素都在主对角线周围不超过\(d\)的距离内。

高斯消元时,每次只需要用长为\(d\)的向量消\(d\)行,复杂度\(O(nd^2)\)。

换主元的时候不能向下换一行,否则会破坏性质。

可以向右找一列换(相当于交换了两个变量顺序)。

用途:网格图随机游走等。

  • 例题:

一开始在\((0,0)\),每次随机一个方向走(四个方向概率可能不同),问距原点欧几里得距离超过\(R\)的期望步数。\(R \leq 50\)。

Sol:

很板。把需要的点都拉出来,拍扁之后就是带状矩阵,直接解,复杂度\(O(R^4)\)。


  • 主元法

对于很多网格问题,发现如果确定一行(或一列),那么整个网格的状态都可以递推出来。

那么把第一行的状态设为未知数,可以在\(O(n^2m)\)的时间内把每个格子的状态表示为第一行状态的线性组合。在最后一行往往可以列出方程,高斯消元即可。

对于上面的例题,可以把每一行最左边的点状态设为未知数,在最右边列出方程(因为再往右都是\(0\)),可以做到\(O(R^3)\)。

突然发现dls讲了一个半小时的高斯消元

2.线性空间

线性空间定义在数域上,满足对加减法和数乘是封闭的。(虽然并没有什么用)

基的定义跟数学上那一套没啥区别,详情请参阅必修四

模\(p\)意义下,如果维数是\(d\),那么共有\(p^d\)个元素(大概可以理解为一个\(d\)维向量)。

  • 例题(1)

题意:一个序列,支持末尾加数,询问区间中若干数xor最大值。\(n, q \leq 5e5, a_i \leq 2^{30}-1\)。

Sol:

考虑离线,扫描线维护一个线性基。线性基内每个元素维护一个加入时间(因为是扫描线,所以其实就是位置),每次加入新元素的时候,如果某个位置已有元素,则保留位置较右的那个,另一个递归下去。

每次询问的时候只需要找出加入时间大于左端点的元素即可。(跟山东省集的某道题很像)

  • 例题(2)

有一个\(n\times m\)的矩阵,要求选若干个数,使每行每列均有奇数个,且乘积为完全平方数,求方案数。\(n,m \leq 20, a_{i,j}\leq 10^9\)。

对每行、每列和每个质因子列异或方程组,解出自由元个数即可。


  • 伴随矩阵

定义:设矩阵\(adj(A)\),使得\(adj(A)_{i,j}=c_{j,i}\),即矩阵\(A\)去掉第\(j\)行\(i\)列的代数余子式。

性质:\(A\cdot adj(A)=adj(A)\cdot A=det(A)\cdot I\)

证明:掉线了,咕咕咕。

上面那个性质的作用?大概是可以通过矩阵求逆算伴随矩阵……

不可逆咋办?能做,但是我又掉线了……


  • Tutte Matrix

黑科技,比带花树靠(hao)谱(xie)多了。

给任意无向图\(G\)的每条边赋一个独一无二的权值\(x_{u,v}\),不存在则为\(0\),定义矩阵\(A\)的Tutte Matrix为矩阵\(B\),则\(B_{i,j}=x_{i,j}\cdot (-1)^{[i>j]}\)。

\(G\)有完美匹配,当且仅当\(det(B)\not=0\)。

为什么?不知道。

\(B^{-1}~_{i,j}\not=0\)当且仅当\(G-(i,j)\)有完美匹配。

为什么?不知道。

能干什么?可以处理一些相关的计数问题,大概。

\(G\)的最大匹配\(=\frac{rank(B)}{2}\)。

为什么?不知道。


少女掉线中……


3.特征多项式

定义到处都有就不抄了

  • 矩阵对角化:

设\(A\)的特征向量为\(\{x_1,x_2,…x_n\}\),对应的特征值为\(\{\lambda_1,\lambda_2,…,\lambda_n \}\),矩阵\(P=[x_1,x_2,…,x_n]\),对角矩阵\(D=\{\lambda_1,\lambda_2,…,\lambda_n \}\),则\(A\cdot P=P\cdot D\)。

用处:\(A=P\cdot D \cdot P^{-1}\),则\(A^k=P\cdot D^k \cdot P^{-1}\),然后对角矩阵的\(k\)次很好算……

然而局限性很大,基本只能手推。

dls推了个题,我掉线了。


  • 哈密尔顿-凯莱定理:

把一个矩阵代入到它的特征多项式的方程里是成立的。

然后就又掉线了。

反正这东西唯一的作用就是\(O(k\log k\log n)\)内解决\(k\)阶线性递推,还是左转洛谷模板区吧(

ZROI 19.07.29 线性代数入门/wq的更多相关文章

  1. ZROI 19.08.03 DP入门

    \(n\)个点,要求连一棵树,设点\(i\)的度数为\(d_i\),则其贡献为\(f(d_i)\mod 59393\),其中\(f(x)\)是一个\(k\)次多项式.最大化总贡献.\(n\leq 30 ...

  2. ZROI 19.07.30 简单字符串/ll

    写在前面:今天下午药丸--不会字符串,全程掉线/ll 给出字符串\(S\),\(q\)次询问,每次给出\(a,b,c,d\),询问\(S[a,b]\)的所有子串和\(S[c,d]\)最长公共前缀的最大 ...

  3. ZROI 19.07.31 AB班ACM

    写在前面:非常感谢cjc和djh两位神仙带我,非常感谢他们给了我一次躺赢的机会. 虽然我被硬点成了代码手,但我写的基本每次都有一堆罚时.然而djh爷全部1A,tql. 题目按照一血时间升序,大致符合难 ...

  4. ZROI 19.07.30 简单图论/kk

    1.最短路 NOI2019 D2T1 我被这题送Fe了/lb 只有zz才会写二维线段树,比如我. 实际上你只需要矩形取min就可以. kd-tree可以随便过,最慢的点\(0.1s\). 另外一种简单 ...

  5. ZROI 19.07.28 组合计数/lb

    T1 题意:\(n\)个变量,\(0 \leq x_i \leq c_i\),求\(\sum x_i = A\)方案数.\(n \leq 32\). Sol: \(n \leq 10\)的时候容斥很水 ...

  6. ZROI 19.07.28 序列数据结构/jk

    写在前面 dls:"我不会数据结构,但是APIO的数据结构场我写了,还是蛮简单的." T1 CF643G Sol: 有一个\(O(n\log^2n)\)的做法:假设将区间排好序,取 ...

  7. SpringBoot+mybatis:报错Fri Oct 19 14:29:24 CST 2018 WARN: Establishing SSL connection without server's identity verification is not recommended. According to MySQL 5.5.45+, 5.6.26+ and 5.7.6+ requiremen

    报错:Fri Oct 19 14:29:24 CST 2018 WARN: Establishing SSL connection without server's identity verifica ...

  8. 07/29/2013 02:10:02 AM - CMDPHP: Poller[0] Host[6] DS[10] WARNING: Result from SNMP not valid. Partial Result: U

    snmpwalk -c public -v2c  客户端ip地址  自定义的oid  能取到数据,但是服务器端就是图片一片空白 rrdtool fetch 文件名.rrd 查看到的全都是nan cac ...

  9. ZROI 19.08.07模拟赛

    传送门 写在前面:为了保护正睿题目版权,这里不放题面,只写题解. "正睿从来没有保证,模拟赛的题目必须原创." "文案不是我写的,有问题找喵老师去."--蔡老师 ...

随机推荐

  1. linux查看内存使用情况top

    top命令是Linux下常用的性能分析工具,能够实时显示系统中各个进程的资源占用状况,类似于Windows的任务管理器 可以直接使用top命令后,查看%MEM的内容.可以选择按进程查看或者按用户查看, ...

  2. 批量生成xml文件数据C#实现

    方法一 // < Records count = "5" > //< Record > // < Contact_ID > 5 - 55W - ...

  3. java:JSP(JSPWeb.xml的配置,动态和静态导入JSP文件,重定项和请求转发,使用JSP实现数据库的增删改查实例)

    1.JSP的配置: <%@ page language="java" import="java.util.*" pageEncoding="UT ...

  4. 按需加载controller——angular

    一.多视图应用 AngularJS 通过路由支持多视图应用, 可以根据路由动态加载所需的视图.随着视图的不断增加, js文件会越来越多, 而 AngularJS 默认需要把全部的 js 都一次性加载, ...

  5. Flume HA

    flume提供fail over和load balance功能 1.添加collector配置(配置两个collector) # Name the components on this agents1 ...

  6. Python学习之数据库

    9.6 表的查询 [结构]select distinct 字段1,字段2 from 表名 where 条件 group by 字段 having 筛选 order by 字段 limit 限制条数 [ ...

  7. redis缓存与数据一致性

    目录 缓存 缓存穿透 缓存雪崩(缓存失效) 缓存击穿(热点key) 缓存并发竞争(并发set) 数据一致性 缓存(双写)一致性 Redis集群(Redis-cluster)一致性原理 哨兵(Senti ...

  8. 【VS开发】【图像处理】GigE和USB3 vision选择?

    [VS开发][图像处理]GigE和USB3 vision选择? 具体得看你现场的应用吧,如 现场需要的工作距离,网线可达到100m以内,USB3.0一般般的5m以内: GigE双端都有卡扣,保证了与相 ...

  9. [Vuejs] Vue解决代理设置导致浏览器Session丢失的问题

    以下是会造成Session丢失的代理: proxyTable: { '/proxyApi': { target: 'http://111.18.149.215:8080/WRSOCXSystem/ht ...

  10. Angular5 reactive Forms Listening for Changes 监听表单变化

    在html 中定义了 FromGroup,怎么来监听用户输入值的变化呢? 可以使用valueChanges 来订阅变化. this.myForm.valueChanges.subscribe(val ...