离散数学第10章_图的概念与表示教材教学课件.pptVIP

定义10.2.4 在一个图中，若从vi到vj存在任何一条链(或路)，则称从vi到vj是可达的，或简称vi可达vj。 为完全起见，规定每个结点到其自身是可达的。 对于无向图G来说，不难证明结点间的可达性是结点集合上的等价关系。因此它将结点集合给出一个划分，并且划分中的每个元素形成一个诱导子图；两结点之间是可达的当且仅当它们属于同一个子图，称这种子图为图G的连通分图，图G的连通分图的个数，记为ω(G)。 定义10.2.5 若图G只有一个连通分图，则称G是连通图；否则，称图G为非连通图或分离图。 在图的研究中，常常需要考虑删去与增加结点、结点集、边和边集（或弧集）的问题。所谓从图G=V,E中删去结点集S，是指作V-S以及从E中删去与S中的全部结点相联结的边而得到的子图，记作G-S；特别当S=|v|时，简记为G-v；所谓从图G=V,E中删去边集（或弧集）T，是指作E-T，且T中的全部边所关联的结点仍在V中而得到的子图，记为G-T；特别当T={e}时，简记作G-e。 所谓图G=V,E增加结点集S，是指作V∪T以及向E中并入S中、S与V中所成的边而得到的图，记作G+S；特别当S={v}时，简记为G+v；图G=V,E增加边集（或弧集）T是指作E∪T所得到的图，记作G+T，这里T中全部边（或弧）的关联结点属于V。 定义10.2.6 给定连通无向图G=V，E，S?V。若ω(G-S)＞ω(G)，但?T?S有?(G-T)=?(G)，则称S是G的一个分离结点集。若图G的分离结点集S={v}，则称v是G的割点。 类似地可定义图G的分离边集T；若图G的分离边集T={e}，则称e是G的割边或桥。 对于连通的非平凡图G，称?(G)= {|S||S是G的分离结点集}为图G的结点连通度，它表明产生不连通图而需要删去结点的最少数目。于是，对于分离图G，?(G)=0；对于存在割点的连通图G，?(G)=1。 类似地定义边连通度?(G)= {|T||T是G的分离边集}，它表明产生不连通图而需要删去边的最少数目。可见，对于分离图G，?(G)=0；对于完全图G，?(G)=0；对于图K1，?(K1)=0；对于存在割边的连通图G，?(G)=1；对于完全图Kn，?(Kn)=n-1。 下面是由惠特尼(H.Whitney)于1932年得到的关于结点连通度、边连通度和最小度的不等式联系的定理： 定理10.2.3 对于任何一个无向图G，有?(G)≤?(G)≤δ(G)。 定理10.2.4 一个连通无向图G中的结点v是割点?存在两个结点u和w，使得联结u和w的每条链都经过v。 定理10.2.5 一个连通无向图G中的边e是割边存在两个结点u和w，使得联结u与w的每条链都经过e。 下面再给出一个判定一条边是割边的充要条件。 定理10.2.6 连通无向图G中的一条边e是割边?e不包含在图的任何基本圈中。 对于有向图而言，结点间的可达性不再是等价关系，它仅仅是自反的和传递的。一般说来，不是对称的。因此，有向图的连通概念较之无向图要复杂得多。 对于给定的有向力G，要略去G中每条边的方向便得到一个无向图G1，称G1是G的基础图。 定义10.2.7 在简单有向图G中，若G中任何两个结点间都是可达的，则称G是强连通的；若任何两个结点间至少是从一个结点可达另一个结点，则称G是单向连通的；若有向图G不是单向连通的，但其基础图是连通的，则称G是弱连通的。 从上面定义可知，若图G是强连通的，则它必是单向连通的，但反之未必真；若图G是单向连通的，则它必是弱连通的，反之不真。 定理10.2.7 有向图G是强连通的?G中有一回路，它至少通过每个结点一次。 令G是简单有向图，对于某种性质而言，若G中再没有其它包含子图G1的真子图具有这种性质，则称G1是G的关于该性质的极大子图。 定义10.2.8 在简单有向图中，具有强连通性质的极大子图，称为强分图；具有单向连通性质的极大子图，称为单向分图；具有弱连通性质的极大子图，称为弱分图。 定理10.2.8 简单有向图中的任一个结点恰位于一个强分图中。 注意，有向图中的任意一弧未必恰位于一个强分图中，例如，在图10.2.6中，弧v1,v2位于结点集合{v1,v2,v3}的诱导子图中，但弧v3,v4不位于任何强分图之中。 类似地可以证明下面两个定理： 定理10.2.9 简单有向图中的每个结点和每条弧至少位于一个单向分图中。 定理10.2.10 简单有向图中的每个结点和每条弧恰位于一个弱分图中。 如果结点u可达结点v，它们之间可能存在不止一条链(或路)。在所有这些链(或路)中，最短链(或路)的长度称为结点u和v之间的距离或短程线或测地线，记作du，v。 距离满足下列性质： du，v≥0 du，u=0 du，v+dv，w≥d