33离散数学0604x.pptVIP

6.4 几种特殊的图 6.4.1 二部图 二部图的充要条件 6.4.2 欧拉图 欧拉回路(通路)及其存在的充要条件 6.4.3 哈密顿图 哈密顿回路(通路)及其存在的必要条件和充分条件 6.4.4 平面图 * 二部图 定义6.19 设无向图 G=V,E, 若能将V 分成V1 和 V2 使得 V1?V2=V, V1?V2=?, 且G中的每条边的两个端点都一个 属于V1, 另一个属于V2, 则称G为二部图, 记为V1,V2,E, 称V1和V2为互补顶点子集. 又若G是简单图, 且V1中每个顶点均与V2中每个顶点都相邻, 则称G为完全二部图, 记为Kr,s, 其中r=|V1|, s=|V2|. * K23 K33 (既无平行边也无环的图称为简单图) 二部图的判别定理 (证明略) 定理6.7 无向图G=V,E是二部图当且仅当G中无奇长度 的回路 证 必要性. 设G=V1,V2,E是二部图, 每条边只能从V1到 V2, 或从V2到V1, 故任何回路必为偶长度. 充分性. 不妨设G至少有一条边且连通. 取任一顶点u, 令 V1={v | v?V ? d(v,u)为偶数}, V2={v | v?V ? d(v,u)为奇数} 则V1?V2=V, V1?V2=?. 先证V1中任意两点不相邻. 假设存 在s,t?V1, e=(s,t)?E. 设Γ1, Γ2分别