标签：度数 连通 cdot 定理 矩阵 笔记 行列式 prod
因为在临时抱佛脚，所以是没有证明的~
0. 前置芝士
0.1. 拉普拉斯展开
对于行列式 \(D\)，任意第 \(i\) 行（列同理）按下式展开的值与行列式值相等
\[\text{Value}=\sum_{j=1}^n (-1)^{i+j}\cdot a_{i,j}\cdot M_{i,j} \]其中 \(M_{i,j}\) 是 \(a_{i,j}\) 的余子式。
一些闲话：这个可以用来推导 "轮状病毒" 一题中的递推式。
1. 矩阵树定理
1.1. 定理一
1.1.1. 内容
构造连通矩阵和度数矩阵。连通矩阵 \(A\) 的第 \(i\) 行第 \(j\) 列上的数字表示原无向图中 \(i,j\) 两点之间边的条数。度数矩阵 \(D\) 只有 \(D_{i,i}\) 有值表示点 \(i\) 的度数。定义 \(L=D-A\)，无向图生成树的个数就是 \(L\) 去掉任意行任意列的矩阵的行列式。
1.1.2. 应用
例 1. 求无向图所有生成树边权乘积的和。
将度数矩阵变成与点邻接边的边权和，连通矩阵变成边的权值再应用矩阵树定理即可。
例 2. 求无向图必选某一条边的所有生成树个数。
我是伞兵，这都不会。简单容斥即可。
例 3. 用生成函数描述限制：\(\rm Link.\)
例 4. \(\text{[SDOI 2014] }\)重建
题目要求
\[\begin{align} \text{Ans}&=\sum_{T(V,E')}\left(\prod_{e\in E'}p_e\cdot \prod_{e\in E\setminus E'}(1-p_e) \right)\\ &=\sum_{T(V,E')}\left(\prod_{e\in E'}p_e\cdot \frac{\prod_{e\in E}(1-p_e)}{\prod_{e\in E'}(1-p_e)} \right)\\\ &=\prod_{e\in E}(1-p_e)\cdot \sum_{T(V,E')}\left(\prod_{e\in E'}\frac{p_e}{1-p_e} \right) \end{align} \]1.2. 定理二
1.2.1. 内容
给出有向图和其中的一个点，求以这个点为根的生成外向树个数（外向树满足每个点有且仅有一条入边）。
构造连通矩阵和度数矩阵。连通矩阵 \(A\) 的第 \(i\) 行第 \(j\) 列上的数字表示有向图中 \(i\rightarrow j\) 的边的条数。度数矩阵 \(D\) 只有 \(D_{i,i}\) 有值表示点 \(i\) 的 入度。定义 \(L=D-A\)，答案就是 \(L\) 去掉根所在的行和列的矩阵的行列式。
1.3. 定理三
1.3.1. 内容
给出有向图和其中的一个点，求以这个点为根的生成内向树个数。
构造连通矩阵和度数矩阵。连通矩阵 \(A\) 的第 \(i\) 行第 \(j\) 列上的数字表示有向图中 \(i\rightarrow j\) 的边的条数。度数矩阵 \(D\) 只有 \(D_{i,i}\) 有值表示点 \(i\) 的 出度。定义 \(L=D-A\)，答案就是 \(L\) 去掉根所在的行和列的矩阵的行列式。
标签：度数,连通,cdot,定理,矩阵,笔记,行列式,prod 来源： https://www.cnblogs.com/AWhiteWall/p/14404119.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。