离散数学图的概念与表示.pptVIP

定理16.2.1在一个图中，若从结点vi到结点vj存在一条链(或路)，则必有一条从vi到vj的基本链(或基本路)。定理16.2.2在一个具有n个结点的图中，则(1)任何基本链(或路)的长度均不大于n-1。(2)任何基本圈(或路)的长度均不大于n。第30页，共79页，星期日，2025年，2月5日定义16.2.4在一个图中，若从vi到vj存在任何一条链(或路)，则称从vi到vj是可达的，或简称vi可达vj。为完全起见，规定每个结点到其自身是可达的。对于无向图G来说，不难证明结点间的可达性是结点集合上的等价关系。因此它将结点集合给出一个划分，并且划分中的每个元素形成一个诱导子图；两结点之间是可达的当且仅当它们属于同一个子图，称这种子图为图G的连通分图，图G的连通分图的个数，记为ω(G)。第31页，共79页，星期日，2025年，2月5日定义16.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。第32页，共79页，星期日，2025年，2月5日所谓图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。第33页，共79页，星期日，2025年，2月5日定义16.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的割边或桥。第34页，共79页，星期日，2025年，2月5日对于连通的非平凡图G，称?(G)={|S||S是G的分离结点集}为图G的结点连通度，它表明产生不连通图而需要删去结点的最少数目。于是，对于分离图G，?(G)=0；对于存在割点的连通图G，?(G)=1。第35页，共79页，星期日，2025年，2月5日类似地定义边连通度?(G)={|T||T是G的分离边集}，它表明产生不连通图而需要删去边的最少数目。可见，对于分离图G，?(G)=0；对于完全图G，?(G)=0；对于图K1，?(K1)=0；对于存在割边的连通图G，?(G)=1；对于完全图Kn，?(Kn)=n-1。第36页，共79页，星期日，2025年，2月5日下面是由惠特尼(H.Whitney)于1932年得到的关于结点连通度、边连通度和最小度的不等式联系的定理：定理16.2.3对于任何一个无向图G，有?(G)≤?(G)≤δ(G)。定理16.2.4一个连通无向图G中的结点v是割点?存在两个结点u和w，使得联结u和w的每条链都经过v。第37页，共79页，星期日，2025年，2月5日定理16.2.5一个连通无向图G中的边e是割边存在两个结点u和w，使得联结u与w的每条链都经过e。下面再给出一个判定一条边是割边的充要条件。定理16.2.6连通无向图G中的一条边e是割边?e不包含在图的任何基本圈中。第38页，共79页，星期日，2025年，2月5日对于有向图而言，结点间的可达性不再是等价关系，它仅仅是自反的和传递的。一般说来，不是对称的。因此，有向图的连通概念较之无向图要复杂得多。对于给定的有向力G，要略去G中每条边的方向便得到一个无向图G1，称G1是G的基础图。第39页，共79页，星期日，2025年，2月5日定义16.2.7在简单有向图G中，若G中任何两个结点间都是可达的，则称G是强连通的；若任何两个结点间至少是从一个结点可达另一个结点，则称G是单向连通的；若有向图G不是单向连通的，但其基础图是连通的，则称G是弱连通的。从上面定义可知，若图G是强连通的，则它必是单向连通的，但反之未必真；若图G是单向连通的，则它必是弱连通的，反之不真。第40页，共79页，星期日，2025年，2月5日定理16.2.7有向图G是强连通的?G中有一回路，它至少通过每个结点一次。令G是简单有向图，对于某种性质而言，若G中再没有其它包含子图G1的真子图具有这种性质，则称G1是G的关于该性