离散数学图概念路与回路.ppt

**************************************6.定理7-2.3一个连通无向图G的结点v是割点的充分必要条件是存在两个结点u和w,使得结点u和w的每一条路都通过v。?证明思路：1)先证:v是割点?存在结点u和w的每条路都通过v若v是连通图G=V,E割点，设删去v得到的子图G’,则G’至少包含两个连通分支G1=V1,E1和G2=V2,E2。任取u?V1，w?V2，因为G是连通的，故在G中必有一条连结u和w的路C，但u和w在G’中属于两个不同的连通分支，故u和w必不连通，因此C必须通过v，故u和w之间的任意一条路都通过v。2)再证:存在结点u和w的每条路都通过v?v是割点若连通图G中的某两个结点的每一条路都通过v，则删去v得到子图G’，在G’中这两个结点必然不连通，故v是图G的割点。?第51页，共60页，星期日，2025年，2月5日路无向图的连通性有向图的连通性7-2路与回路第52页，共60页，星期日，2025年，2月5日三、有向图的连通性：1、可达：在无向图G中，从结点u到v若存在一条路，则称结点u到结点v是可达的。有向图的可达性：对于任何一个有向图G=V,E,从结点u和到结点v有一条路,称为从u可达v。可达性(accesible),是结点集上的二元关系，它是自反的和传递的，但是一般来说不是对称的。故可达性不是等价关系。第53页，共60页，星期日，2025年，2月5日如果u可达v，它们之间可能不止一条路，在所有这些路中，最短路的长度称为u和v之间的距离（或短程线），记作du,v，它满足下列性质：du,v≥0du,u=0du,v+dv,w≥du,w有关距离的概念对无向图也适用，把D=maxdu,v,u,v∈V称作图的直径。如果从u到v是不可达的，则通常写成du,v=∞注意：当u可达v，且v也可达u时，du,v不一定等于dv,u第54页，共60页，星期日，2025年，2月5日2、定义7-2.6在简单有向图G中，任何一对结点间，至少有一个结点到另一个结点是可达的，则称这个图是单侧连通的。如果对于图G中的任何一对结点两者之间是相互可达的，则称这个图是强连通的。如果在图G中略去边的方向，将它看成无向图后，图是连通的，则称该图为弱连通的。第55页，共60页，星期日，2025年，2月5日显然，强连通图→单侧连通图→弱连通图。而逆推均不成立。v2v3v4v1(a)强连通v2v3v4v1(b)单侧连通v2v3v4v1(c)弱连通第56页，共60页，星期日，2025年，2月5日证明：充分性：如G中有一条有向回路，经过每一点至少一次，则G中任意两点u，v∈V，u可以沿着该有向回路的一部分的而到达v，则G是强连通图。3、定理7-2.4：一个有向图是强连通的充分必要条件是G有一个回路，它至少包含每个结点一次。必要性：任取u，v∈V，图G是强连通图，则u→v有有向路，v→u也有有向路，则u→v→u构成了一个有向回路，如果该有向回路没有包含w，而u→w，w→u均有有向路，则u→v→u→w→u又是一个有向回路，一直下去可以将图中所有的点均包含进去。第57页，共60页，星期日，2025年，2月5日4、定义7-2.7：在简单有向图中，具有强连通性质的最大子图，称为强分图；具有单侧连通性质的最大子图，称为单侧分图；具有弱连通性质的最大子图，称为弱分图。v4v2v3v1(b)v4v2v3v1(a)v5第58页，共60页，星期日，2025年，2月5日定理7-2.5在有向图G=V,E中，它的每一个结点位于且只位于一个强分图中。?证明思路：1)先证:每一个结点必位于一个强分图中。2)再证:每一个结点只位于一个强分图中。?第59页，共60页，星期日，2025年，2月5日感谢大家观看第60页，共60页，星期日，2025年，2月5日********************************************图的定义点的度数特殊的图图同构7-1图的基本概念第19页，共60页，星期日，2025年，2月5日三、特殊的图1、多重图定义7-1.4：含有平行边的图