graph-chapter6图的矩阵表示.pptVIP

第六章图的矩阵表示 6.1关联矩阵 一个图的生成树与关联矩阵的非奇异大子阵存在一一对应的关系。 一个连通图的关联矩阵一定存在非奇异的大子阵，因此一个连通图一定存在生成树。 求连通图全部生成树的方法：找出图G的关联矩阵M的全部非奇异大子阵，每个大子阵的列所对应的边就组成G的一棵生成树。 6.2 圈 矩 阵 * 计算机科学领域有许多算法涉及图。计算机存储图的一种最简单有效的方法就是矩阵。矩阵是由数字组成的矩阵表格，一般用大写字母表示。（元素、行、列）。图论有效地利用了矩阵，将其作为表达图及其性质的有效工具和手段。 定义6.1.1设图G为(p,q)图.令 则由元素 构成的 矩阵为图G的完全关联矩阵,记作 。 v2 v1 e3 e4 e2 e1 1 1 0 0 V3 0 1 1 1 v2 1 0 1 1 v1 e4 e3 e2 e1 v3 定理6.1.1p阶连通图G的完全关联矩阵的秩为p-1。 定理6.1.2 图G的完全关联矩阵的秩等于G的秩R（G）。 定理6.1.3 p阶图G是连通的当且仅当G的完全关联矩阵的秩为p-1。 定义6.1.2在p阶连通图G的完全关联矩阵Me中，划去任一行后所得到的（p-1）×q矩阵，称为图G的关联矩阵，记作M，划去的行所对应的顶点称为参考点。 定义6.1.3 p×q矩阵的一个阶为min （p,q）的方阵，称为p×q矩阵的一个大子阵，大子阵定义的行列式称为大行列式。 定理6.1.4 连通图G的关联矩阵M的一个大子阵是非奇异的充要条件为与这个大子阵的列相应的边组成G的一棵生成树。 v2 v1 e3 e4 e2 e1 1 1 0 0 V3 0 1 1 1 v2 1 0 1 1 v1 e4 e3 e2 e1 v3 定义6.1.2设连通 (p,q)图G，令 则由元素 构成的 矩阵为图G的完全圈 矩阵,记作 。 完全圈矩阵 v2 v1 e3 e4 e2 e1 v3 定理6.2.1连通图G的完全圈矩阵的秩等于q-p+1。 推论6.2.1有k个分支的分离图的完全圈矩阵的秩是q-p+k。 定义6.2.2图G的完全圈矩阵 中秩为q-p+1的(q-p+1)×q矩阵，叫做图G的圈矩阵，记作 。 定义6.2.3设 是连通 图G关于生成树T的基本圈组，令 则由元素 组成的 矩阵为图G关于生成树T基本圈矩阵，记作 。 定理6.2.2连通图G关于生成树T的基本圈矩阵 可以写 成如下 形式的分块矩阵： 其中I为q-p+1阶单位矩阵，它的列对应于连枝。 定理6.2.3设B是图G的圈矩阵， 是G的基本圈矩阵， 那么存在一个非奇异矩阵C，使得： 定理6.2.4一个圈矩阵的大子阵是非奇异的充要条件是这个大子阵的列对应于某一生成树的连枝集。 6.3 割 集 矩 阵 定义6.3.1设G是连通 (p,q)图，令 则由元素 构成的 矩阵为图G的完全割集 矩阵,记作 。 v2 v1 e3 e4 e2 e1 v3 定理6.3.1连通图的完全割集矩阵的秩是p-1。 定义6.3.2在连通图G的完全割集矩阵中，由p-1行q列组成的秩为p-1的子阵，称为G的割集矩阵，记作Q。 基本割集组成的矩阵称为基本割集矩阵。 定义6.3.3设 是连通 图G关于生成树T的基本割集，令 则由元素 构成的 矩阵为图G的关于生成树T基本割集矩阵，记作 。 定理6.3.3图G的割集矩阵Q的大子阵是非奇异的充要条件是这个大子阵的列对应于某一生成树的树枝。 定理6.3.2图G的基本割除集矩阵 可以写成： 其中I为p-1阶单位矩阵，它的列对应于生成树的树枝，Qf11的列对应连枝。 6.4 矩阵间的关系 定理6.4.1设M，Q分别是图G的关联矩阵和割集矩阵，那么存在一个非奇异矩阵C使 Q=CM 定理6.4.2连通图G的关联矩阵和完全圈矩阵Be满足 MBeT=0, BeMT=0 其中MT，BeT分别是M，Be的转置矩阵 。 定理6.4.3设M，B分别是图G的关联矩阵和圈矩阵，则：