12.图和网络
关联矩阵:用于解析一个图含义的矩阵,其中每行均代表一条边,每列均代表一个节点
关联矩阵的元素为 − 1 -1 −1意味着所在行所表示的边以所在列所表示的节点为起点,为 1 1 1意味着所在行所表示的边以所在列所表示的节点为终点,为 0 0 0意味着所在列所表示的节点不是所在行所表示的边的端点
对任意图(本文图均为联通图)有:
- 围成环(本文环均不考虑边的方向)的边(一组有关边)在关联矩阵中对应的行线性相关(只可正推)
- 关联矩阵的秩即为边极大无关组的元素数(极大子树的边数),边极大无关组中的元素对应行可构成关联矩阵行空间的一组基
- 极大子树包含所有节点,该子树的边数为节点数减一,因而 r = n − 1 r = n - 1 r=n−1
将图视为电路(也可视为水流)可得(设关联矩阵为 A A A,行数 m m m,列数 n n n):
-
A x ⃗ = b ⃗ A \vec{x} = \vec{b} Ax=b的 x ⃗ \vec{x} x中每行都表示对应端点的电势, b ⃗ \vec{b} b中每行都表示对应边端点的电势差(终点减起点)
-
A T y ⃗ = 0 ⃗ A^T \vec{y} = \vec{0} ATy=0的 y ⃗ \vec{y} y中的每行都表示对应边的电流大小(负数说明电流与边方向相反),这符合基尔霍夫电流定律
其中组成环的边的对应列按 y ⃗ \vec{y} y中的对应变量线性组合一定能得到 0 ⃗ \vec{0} 0
可以先找到一个环极大无关组,为组中的每个环分别找到一组可行变量并将其它变量赋值为 0 0 0,这样就可以得到若干个无关特解,这些特解即为 A T A^T AT零空间的一组基
证明能构成一组基:
因为任何特解均需满足这些环的对应变量可行且这些环可以组成图中所有环,所以不存在任何与这些特解无关的特解,也不可能将这些特解中的一部分换为其它更多一些无关特解后仍保持所有特解无关,因而这些特解可以构成极大无关组,得证
因而图中环极大无关组的元素数即为 A T A^T AT零空间的维数,即 m − r m - r m−r
-
上一点中的 0 ⃗ \vec{0} 0也可换为 f ⃗ \vec{f} f,这样就可以给每个节点流入一个外部电流
-
总结有: A T C A x ⃗ = f ⃗ A^T CA \vec{x} = \vec{f} ATCAx=f(假设所有边电导率一致, C C C为电导率)
总结: # l o o p s = m − r = # e d g e s − ( # n o d e s − 1 ) , ∴ # n o d e s − # e d g e s + # l o o p s = 1 \#loops = m - r = \#edges - (\#nodes - 1) , \therefore \#nodes - \#edges + \#loops = 1 #loops=m−r=#edges−(#nodes−1),∴#nodes−#edges+#loops=1,这就是欧拉公式
打赏
制作不易,若有帮助,欢迎打赏!