离散数学第14章图及基本概念.ppt

二部图的判定定理 定理14.10 一个无向图G＝V,E是二部图当且仅当G中无奇数长度的回路。 证明 必要性。 若G中无回路，结论显然成立。 若G中有回路，只需证明G中无奇圈。 设C为G中任意一圈，令C＝vi1vi2…vilvi1，易知 l≥2。 不妨设vi1∈V1，则必有vil∈V-V1=V2， 而l必为偶数，于是C为偶圈， 由C的任意性可知结论成立。 充分性。 不妨设G为连通图，否则可对每个连通分支进行讨论。 设v0为G中任意一个顶点，令 V1＝{v|v∈V(G)∧d(v0,v)为偶数} V2＝{v|v∈V(G)∧d(v0,v)为奇数} 易知，V1≠?,V2≠?,V1∩V2＝?，V1∪V2＝V(G)。 下面只要证明V1中任意两顶点不相邻,V2中任意两点也不相邻。 若存在vi,vj∈V1相邻，令(vi,vj)＝e， 设v0到vi,vj的短程线分别为Гi,Гj， 则它们的长度d(v0,vi),d(v0,vj)都是偶数， 于是Гi∪Гj∪e中一定含奇圈，这与已知条件矛盾。 类似可证，V2中也不存在相邻的顶点，于是G为二部图。 第四节 图的矩阵表示 e1 e2 e3 e4 e5 V1 V2 V3 v4 v1 v2 v3 v4 v1 v2 v3 v4 14.5 图的运算 定义14.28 设G1＝V1,E1，G2＝V2,E2为两个图。 若V1∩V2＝?，则称G1与G2是不交的。 若E1∩E2＝?，则称G1与G2是边不交的或边不重的。 说明：不交的图，必然是边不交的，但反之不真。 图的运算 定义14.29 设G1＝V1,E1，G2＝V2,E2为不含孤立点的两个图（它们同为无向图或同为有向图）。 (1)称以E1∪E2为边集，以E1∪E2中边关联的顶点组成的集合为顶点集的图为G1与G2的并图，记作G1∪G2。 (2)称以E1-E2为边集，以E1-E2中边关联的顶点组成的集合为顶点集的图为G1与G2的差图，记作G1-G2。 (3)称以E1∩E2为边集，以E1∩E2中边关联的顶点组成的集合为顶点集的图为G1与G2的交图，记作G1∩G2。 (4)称以E1⊕E2为边集（为集合之间的对称差运算），以E1⊕E2中边关联的顶点组成的集合为顶点集的图为G1与G2的环和，记作G1⊕G2。 定义14.29的说明 (1)若G1＝G2，则 G1∪G2＝G1∩G2＝G1(G2) G1-G2＝G2-G1＝G1⊕G2＝? 这就是在图的定义中给出空图概念的原因。 (2)当G1与G2边不重时， G1∩G2＝? G1-G2＝G1 G2-G1＝G2 G1⊕G2＝G1∪G2 (3)图之间环和的定义也可以用并、交、差给出，即 G1⊕G2＝(G1∪G2)-(G1∩G2) 第十四章 习题课 PLAY 解 例14.3 (1) 画出4阶3条边的所有非同构的无向简单图。 由握手定理可知，所画的无向简单图各顶点度数之和为2×3＝6，最大度小于或等于3。于是所求无向简单图的度数列应满足的条件是，将6分成4个非负整数，每个整数均大于或等于0且小于或等于3，并且奇数的个数为偶数。将这样的整数列排出来只有下面三种情况： (1) 2，2，1，1(2) 3，1，1，1(3) 2，2，2，0 将每种度数列所有非同构的图都画出来即得所要求的全部非同构的图。 例14.3 (2) 画出3阶2条边的所有非同构的有向简单图。 由握手定理可知，所画有向简单图各顶点度数之和为4，最大出度和最大入度均小于或等于2。度数列及入度出度列为 1,2,1 入度列为 0,1,1 或 0,2,0 或 1,0,1 出度列为 1,1,0 或 1,0,1 或 0,2,0 2,2,0 入度列为 1,1,0 出度列为 1,1,0 举例 G G－e5 G－{e1, e4} G－v5 G－{v4, v5} G\e5 第二节 通路与回路 n阶图中通路与回路的性质 定理14.5 在n阶图G中，若从顶点vi到vj（vi≠vj）存在通路，则从vi到vj存在长度小于或等于n-1的通路。 证明: 设Г＝v0e1v1e2…elvl(v0＝vi ,vl＝vj)为G中一条长度为l的通路， 若l≤n-1，则Г满足要求， 否则必有l+1n，即Г上的顶点数大于G中的顶点数， 于是必存在k,s,0≤ks≤l，使得 vs＝vk, 即在Г上存在vs到自身的回路Csk, 在Г上删除Csk上的一切边及除vs外的一切顶点， 得Г?＝v0e1v1e2…vkes+1 …elvl ,Г?仍为vi到vj的通路， 且长度至少比Г减少1。 若Г?还不满足要求，则重复上述过程，由于G是有限图，经过有限步后