第7章+图论-3(图的矩阵表示)浅析.ppt

第七章 图论 引言 7.1 图的基本概念 7.2 路与连通 7.3 图的矩阵表示 7.4 最短路径问题 7.5 图的匹配 8.1 Euler图和Hamilton图 8.2 树 8.3 生成树 8.4 平面图 7.3 图的矩阵表示 图的矩阵表示 图的数学抽象是三元组，其形象直观的表示即图的图形表示。为便于计算，特别为便于用计算机处理图，下面介绍图的第三种表示方法—图的矩阵表示。利用矩阵的运算还可以了解到它的一些有关性质。 7.3.1 图的矩阵表示 7.3.1 邻接矩阵 1.无向图的邻接矩阵 7.3.1 邻接矩阵 同构图 判别定理：图G1 ，G2同构的充要条件是：存在置换矩阵P，使得：A1＝PA2P。 其中A1，A2分别是G1 ，G2的邻接矩阵。 如何判断两图同构是图论中一个困难问题 7.3.1 邻接矩阵 在邻接矩阵A的幂A2， A3， …矩阵中， 每个元素有特定的含义。 定理 :设G是具有n个结点集｛v1， v2， …， vn｝ 的图， 其邻接矩阵为A， 则Al（l＝1， 2， …）的（i， j）项元素a(l)ij是从vi到vj的长度等于l的路的总数。 证明 : 归纳法 当l＝1时， A1＝A， 由A的定义， 定理显然成立。 若l＝k时定理成立， 则当l＝k＋1时， A k+1＝ A · Ak ， 7.3.1 邻接矩阵 结论： (1) 如果对l＝1， 2， …， n-1， Al的（i， j）项元素（i≠j）都为零， 那么vi和vj之间无任何路相连接， 即vi和vj不连通。 因此， vi和vj必属于G的不同的连通分支。 (2) 结点vi 到vj （i≠j）间的距离d（vi， vj）是使Al（l＝1， 2， …， n-1 ）的（i， j）项元素不为零的最小整数l。 (3) Al的（i， i）项元素a(l)ii表示开始并结束于vi长度为l的回路的数目。 7.3.1 邻接矩阵 例1 图G＝（V， E）的图形如图， 求邻接矩阵A和A2， A3， A4， 并分析其元素的图论意义。 解 7.3.1 邻接矩阵 (1) 由A中a(1)12＝1知， v1和v2是邻接的； 由A3中a(3)12＝2知， v1到v2长度为3的路有两条， 从图中可看出是v1 v2 v1 v2和v1 v2 v3 v2 。 (2) 由A2的主对角线上元素知， 每个结点都有长度为２的回路， 其中结点v2有两条： v2 v1 v2和v2 v3 v2 ， 其余结点只有一条。 (3) 由于A3的主对角线上元素全为零， 所以G中没有长度为３的回路。 (4) 由于a（１）34＝a（２）34＝a（３）34＝a（４）34＝０， 所以结点v3和v4间无路， 它们属于不同的连通分支。 (5) d（v1， v3）＝２。 对其他元素读者自己可以找出它的意义。 7.3.1 邻接矩阵 7.3.1 邻接矩阵 矩阵的计算： 7.3.1 邻接矩阵 7.3.1 邻接矩阵 7.3.1 邻接矩阵 2.有向图的邻接矩阵 7.3.1 图的矩阵表示 有向图的邻接矩阵 7.3.2 邻接矩阵 例1 7.3.2 关联矩阵 关联矩阵多用于简单无向图 无向图的关联矩阵 7.3.2 关联矩阵 例1 7.3.2 关联矩阵 有向图的关联矩阵 7.3.2 关联矩阵 例2 7.3.3 有向图的可达性矩阵 有向图的可达性矩阵。(了解) 7.3.3 有向图的可达性矩阵 根据可达性矩阵， 可知图中任意两个结点之间是否至少存在一条路以及是否存在回路。 利用有向图的邻接矩阵A， 分以下两步可得到可达性矩阵。 (1) 令Bn＝A＋A2＋…＋An, (2) 将矩阵Ｂn中不为零的元素均改为１， 为零的元素不变， 所得的矩阵P就是可达性矩阵。 当n很大时， 这种求可达性矩阵的方法就很复杂。 * 返回 结束 * 内容：关联矩阵，邻接矩阵，可达矩阵。 重点：1、有向图，无向图的关联矩阵， 2、有向图的邻接矩阵。 了解：有向图的可达矩阵。 邻接矩阵 存储原则: 存储结点集和边集的信息. （1）存储结点集； （2）存储边集： 存储每两个结点是否有关系。 定义 1.6.2设 的顶点集为 ，用 表示 中顶点 与 之间的边数。称矩阵