第七章 离散数学 图论-5th.pdf

离散数学 大连理工大学软件学院 陈志奎 教授 办公室：综合楼411 ，Tel 实验室：教学楼A318/A323 ，Tel 24 Mobile: Email: zkchen@ zkchen00@ 第七章 图论 2 回顾 •图的基本概念 •图的基本性质 •图的矩阵描述方法 •欧拉图 3 7.6特殊图 一、二部图 定义：设无向图G =〈V , E,ψ〉。如果存在V的划分 (i 1, 2) {V ,V }，使得V 中的任何两个结点都不相邻 ， 1 2 i 则称G为二部图，V 和V 称为G的互补结点子集。 1 2 二部图没有自圈。与二部图的一条边关联的两个结 点一定分属于两个互补结点子集。一般来说，二部 图的互补结点子集的划分不是唯一的。 4 二部图 定理：设G是阶大于1的无向图。G是二部图，当且 仅当G的所有回路长度均为偶数。 证：先证明必要性。设V 和V 是二部图G的互补结 1 2 点子集，C是G的长度为m 的回路。取v0为C的某一 结点，在C 中存在从v 至v 长度为m 的路径，设为 0 0 v e v …v e v ，不妨设v ∈V ，则对于一切的 0 1 1 m-1 m 0 0 1 v ∈V v 相邻， im ，i 2 ，当且仅当i为奇数， 与v0 m−1 故vm−1 ∈V2 ，则m-1是奇数，所以m为偶数。 再证充分性。 5 二部图 G =〈V , E,ψ〉 v ∈V V {v v =∈V 设 是连通的。任取 0 ，做 1 1 i 且vi V V =−V e ∈E 到v 的距离为偶数}， ，则 必连接V 中的 0 2 1