离散数学--6.4几种特殊的图178.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|. 二部图的判别定理 定理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分别是u到s,t的短程线, 则 Γ1?e?Γ2是一条回路, 其长度为奇数, 与假设矛盾.