乔海燕_qhy_graph2道路与回路讲述.pptVIP

人工智能 第二章 道路与回路 2.1 道路与回路 [有向道路] 有向图G=(V, A) 中，一条有向道路指的是一个首尾相接的弧的有限非空序列 P = a1 a2 …… ak (k?1) 其中 vi?V ( i =0.. k ), aj?A ( j =1..k ) 且 aj= vj?1, vj ( j=1.. k ) v0 和vk分别称为P的起点和终点，k称为P的长度。在简单图中，也可记作 P = ( v0 ， v1 ，v2 ，…，vk ) 或 v0 ? v1 ? v2 ? …… ? vp 2.1 简单道路与圈 [简单道路] 若对任意的i?j有ai ? aj ，称之为简单有向道路。(没有重复边的路径) [回路] 若 v0 = vn ，称之为封闭的。简单封闭有向道路（闭迹）称为有向回路。 [初级道路]若对任意的i?j有 vi ? vj ，称之为初级道路/基本道路。 [圈]若对任意的i?j有vi ? vj 而例外地v0 = vn，称之为初级回路/圈。 无向图具有完全类似的定义。 2.1 基本道路 容易证明： [定理2-1] （1）基本道路是简单道路； （2）如果存在u到v的道路，则存在u到v 的基本道路； (3) n阶图的基本道路长度不超过n-1; (4) n阶图的圈的长度不超过n. 2.1 道路与回路的关系 [定理2-2] 无向图G=(V, E)，u, v ?V 且 u?v。若 u,v 之间存在两条不同的路，则 G 中存在一条回路。 [证明] （构造法） [定理2-3] 无向图G=(V, E) 中每个顶点的度均为偶数，且至少有一个顶点不是孤立点，则 G 中存在一条回路。 [证明] （反证法）设v不是孤立点，从v出发的最长简单路径经过的顶点是v0(=v)v1…vn-1vn，则必存在0?in使得vn=vi，否则, 因为vn的度是偶数，存在与vn邻接另一个顶点u, 从而得到一条更长的简单路径。矛盾！ 2.2 连通性 [可达性] 对于有向图G=(V, A)中，若从 vi 到 vj 存在一条路，则称从 vi 到 vj 是可达的，或称 vi 可达 vj 。 对无向图 G=(V, E)，结点间的可达性是对称的。 [连通性] 对于无向图G=(V, E)，任意两点之间可达时，称G为连通的（连通图）。 G中的一个极大连通子图称为G的一个连通分支。 一个图总是由一些连通分支构成的。 G的连通分支数，记为W(G)。 2.2 有向图的连通性 [强连通性]对于有向图G=(V, A)，如果任意两点之间相互可达，则称G为强连通的. [弱 连通性]对于有向图G=(V, A), 若不考虑弧的方向后得到的无向图是连通的，则称有向图G是弱连通的。 2.2 连通的判定 [定理2-5] G=(V, E)，n=|V|，若对任意 u, v ?V 且 u?v，都有：Deg(u) + Deg(v) ? n?1，则 G 连通。 [证明] (反证法) 设G可分为不连通的两部分G1=(V1, E1)和G2=(V2, E2)，选取 u?V1, v?V2 则 Deg(u) = |V1|-1， Deg(v) |V2|-1， 故 Deg(u) + Deg(v) = |V1|+ |V2|-2 = n-2，与 Deg(u) + Deg(v) ? n?1 矛盾。 注意：未加特别声明时，我们讨论的都是简单图。 2.2 图的邻接矩阵 [定理2-11] 设An?n 是G的邻接矩阵，则连接 vi与vj（i?j）的长度为 l 的路径的条数等于Al 的第i行第j列的元素的数值。 [证明]（数学归纳法：对 l 归纳） 2.2 道路矩阵及Warshall算法 [道路矩阵] 对有向图 G=(V, R)， n=|V|，构造矩阵 P=(pij)n?n，其中 2.2 道路矩阵 [算法] 求给定图G的道路矩阵P 设A为G的邻接矩阵，B=A+A2+A3+…+An?1，由[定理2-11]， bij表示由vi至vj ，长度为1或2或…或 n?1的路径数目，即为由vi至vj的全部路径总和。令 2.2 道路矩阵的计算 道路矩阵可以通过二值矩阵的逻辑运算求得。 [定义] 二值元素的逻辑运算： 0 ? 0=0，0 ? 1=1 ? 0=1，1 ? 1=1 0 ? 0=0，0 ? 1=1 ? 0=0，1 ? 1=1 [定义] 二值矩阵的逻辑运算。设有矩阵A = (aij)，B = (bij)，矩阵元素值域为 {0,1}，定义运算： 2.2 道路矩阵的计算 [定义] A(k) = A(k?1) ? A ( k?2 )，A(