在上篇文章‘关联矩阵和图’中,我们介绍了以矩阵为工具,运算‘图’中的元素,找出‘环’的思路。今天将继续延伸这个课题。
我们曾以下面的五边形的图为例,写出它的关联矩阵
m是边数,n是节点数。找出‘基础环’,并进行线性组合,最终罗列出图中所有的环,如下图示。
今天,我们讨论的图仍是 5 个节点,7 条边,但这些边有很多‘立体交叉’的情况。从直观上不容易把图看清楚,而对矩阵来说,与上面的图形没有区别。
这张图里,没有孤立节点和悬挂节点,可以沿着图中的边一笔把 5 个节点连成一个环,这符合了我们对‘图’的要求。就按照走线的顺序给这些‘节点’和‘边’编号,并标出边的方向。其它的边的编号顺序向后,方向没有硬性规定,这里我们采取了逆时针为正向。然后写出关联矩阵
。强调的是,图中节点的编号就是该节点在矩阵A中的‘列’序号;边的编号就是该边在矩阵A中的‘行’序号,起点标 -1,终点标 1,无关的节点标零。看下面的矩阵 A,它有 5 列(5个节点),7 行(7条边),节点 1:出度 1,入度 2;节点 2:出度 1,入度 2......节点 5:出度 1,入度 1。
下面要解方程
X=O,求‘基础向量’(见文‘关联矩阵和图‘}。这个m元齐次线性方程组的解法,课本上都有介绍,今天我们使用较为简化的’转置法‘。
1)对方程两边进行转置,得到同解方程组
A=
。
2)变换矩阵:( A ,E ) 初等行变换--
(
,
。其中E为m阶单位矩阵,
是 A 的行阶梯形矩阵,
是由 E 变换得到的消元矩阵。
3)得到等式
A=
。注意
的下面 m-n+1行为全零行,对应的
的下面 m-n+1行就是我们要求的
。例如(0,1,1,0,0,0,1)表示选取边2,边3,边7形成一个环。下面我们看对(A ,E)的变换。
- -1 1 0 0 0 1 0 0 0 0 0 0
- 0 -1 1 0 0 0 1 0 0 0 0 0
- 0 0 -1 1 0 0 0 1 0 0 0 0
- 0 0 0 -1 1 0 0 0 1 0 0 0 ----------------------------
- 1 0 0 0 -1 0 0 0 0 1 0 0
++++
- 1 0 -1 0 0 0 0 0 0 0 1 0
++
- 0 1 0 -1 0 0 0 0 0 0 0 1
++
- A E
- -1 1 0 0 0 1 0 0 0 0 0 0
- 0 -1 1 0 0 0 1 0 0 0 0 0
- 0 0 -1 1 0 0 0 1 0 0 0 0
- 0 0 0 -1 1 0 0 0 1 0 0 0
- 0 0 0 0 0 1 1 1 1 1 0 0
- 0 0 0 0 0 1 1 0 0 0 1 0
- 0 0 0 0 0 0 1 1 0 0 0 1
从
摘录出下面三行即为本图的‘基础环’向量,再进行线性组合如下。
- 基 础 向 量
- (1,1,1,1 ,1,0,0),(1,1,0,0,0,1,0),(0,1,1,0,0,0,1)
-
组 合 向 量
- (1,1,1,1,1,0,0)-(1,1,0,0,0,1,0)=(0,0,1,1,1,-1,0)
- (1,1,1,1,1,0,0)-(0,1,1,0,0,0,1)=(1,0,0,1,1,0,-1)
- (1,1,0,0,0,1,0)-(0,1,1,0,0,0,1)=(1,0,-1,0,0,1,-1)
-
组 合 向 量
- (1,1,1,1,1,0,0)-(1,1,0,0,0,1,0)-(0,1,1,0,0,0,1)
=(0,-1,0,1,1,-1,-1)
下面按顺序排列出本图所有的环。
基 础 环
组 合 环
组 合 环
综上所述,在一张‘图’里,可以一笔把所有的‘节点’连成一个‘环’。那么
- 按连线的顺序给节点和之间的边编号,并确定边的方向。其它的边的编号顺序向后,方向自定
- 写出本图的关联矩阵
。图中‘基础环’的个数s=m-n+1,环总数h=+......。
- 对矩阵 (A ,E)施行初等行变换,将 A变换为行阶梯形矩阵,从而得到消元矩阵
。
- 从
中摘录出下面的 m-n+1 行,即为我们要求的‘基础向量‘。
- 对基础向量施行组合运算,得出本图的全部环向量。