图论学习笔记（四）图的矩阵表示

前言：参考教材：《集合论与图论》第三版 屈婉玲，刘捍贫，刘田

第十章 图的矩阵表示

10.1关联矩阵

本节要求图是无环图，顶点和边是标定的，并且加法是mod2意义下的

有向图的关联矩阵：D=<V,E>为无环有向图，V={v_1,…,v_n},E={e_1,…,e_m}，定义n*m阶矩阵[m_ij]：m_ij=1，若v_i为e_j的始点；m_ij=0，若v_i与e_j不关联；m_ij=-1，若v_i为e_j的终点

Property：（1）每一列恰有一个1和一个-1，其余为0

（2）第i行1的个数为v_i的出度，-1的个数为v_i的入度

（3）两列相同则为平行边

无向图的关联矩阵：D=<V,E>为无环无向图，V={v_1,…,v_n},E={e_1,…,e_m}，定义n*m阶矩阵[m_ij]：m_ij=1，若v_i与e_j关联；m_ij=0，若v_i与e_j不关联

Property：（1）每一列恰有两个1，其余为0

（2）第i行1的个数为v_i的度数

（3）两列相同则为平行边

（4）如果G有k个连通分支，则经过适当标定可以让M(G)成为k分块矩阵

基本关联矩阵：设M(G)无向连通图的关联矩阵，则从M(G)中任意删掉一行后得到的矩阵称为G的基本关联矩阵，记为M_f(G)，并称删掉一行对应的顶点为参考点（之所以叫基本，是因为就算没有这一行也可以通过数数来补回来这一行（信息量不变））

Theorem：n阶无向连通图G的关联矩阵/基本关联矩阵的秩r(M(G))=n-1（注意：是在mod2意义下）

Proof：只需要注意到基本关联矩阵的满秩性事实上等价于图的连通性即可

Corollary：G是连通图当且仅当r(M(G))=n-1

Algorithm：求连通图G的所有生成树：首先任意去掉一行得到一个基本关联矩阵，然后在基本关联矩阵里面用mC(n-1)的方式取出所有的n-1元边组，计算得到的n-1阶方阵的行列式，当且仅当其值为0时构成一棵生成树

10.2邻接矩阵与相邻矩阵

邻接矩阵（有向图）：n阶标定有向图中，取[a_ij]:a_ij为顶点v_i到v_j所连边数，记为D的邻接矩阵A(D)，简记为A

Property：（1）第i行的和为v_i的出度；第j列的和为v_j的入度

（2）A^l中元素a_ij(l)即为v_i到v_j的长为l的通路数（可以是复杂通路），a_ii(l)即为v_i到v_i的长为l的回路数，所有元素之和为所有长为l的通路的总数

（3）B_r=A+A^2+…+Ar中所有元素的和为D中长度≤r的通路的总数；迹为长度≤r的回路的总数

这个地方的重点在于求A^l的时候不要算错

可达矩阵（有向图）：n阶标定有向图D中，[p_ij]:若v_i可达v_j，则p_ij=1，否则p_ij=0，则称为D的可达矩阵，记为P(D)

Property：（1）主对角元均为1

（2）若D是强连通的，则D中元素全为1

（3）若D有k个连通分支，则D可以分为k个块

相邻矩阵（无向图）：n阶标定无向简单图G中，[a_ij]:若v_i和v_j相邻，则令a_ij=1，否则为0，称为G的相邻矩阵，记为A(G)

Property：（1）对称（2）第i行/列和为v_i的度数（3）元素和为边数的两倍

（4）A^l中元素a_ij(l)即为v_i到v_j的长为l的通路数（可以是复杂通路），a_ii(l)即为v_i到v_i的长为l的回路数，所有元素之和为所有长为l的通路的总数

（5）v_i到v_j的距离即为使得a_ij(l)最小的l

连通矩阵：同理，设n阶无向简单图G中，v={v_1,…,v_n}，[p_ij]:p_ij=1，若v_i和v_j连通；否则p_ij=0

Property：（1）主对角元均为1 （2）若D是连通的，则D中元素全为1

（3）若D有k个连通分支，则D可以分为k个块

习题类型：

1.求关联矩阵；用关联矩阵求所有的生成树

2.求长度为/≤i的通路/回路的条数