离散数学十五讲.pptVIP

第十五章 欧拉图与哈密顿图 主要内容 欧拉图 哈密顿图 带权图与货郎担问题 欧拉图定义 定义15.1 1 欧拉通路——经过图中每条边一次且仅一次行遍所有顶点的通路. 2 欧拉回路——经过图中每条边一次且仅一次行遍所有顶点的回路. 3 欧拉图——具有欧拉回路的图. 4 半欧拉图——具有欧拉通路而无欧拉回路的图. 几点说明： 规定平凡图为欧拉图. 欧拉通路是生成的简单通路，欧拉回路是生成的简单回路. 环不影响图的欧拉性. 无向欧拉图的判别法 定理15.1 无向图G是欧拉图当且仅当G连通且无奇度数顶点. 证 若G 为平凡图无问题. 下设G为 n 阶 m 条边的无向图. 必要性 设C 为G 中一条欧拉回路. 1 G 连通显然. 2 ?vi?VG，vi在C上每出现一次获2度，所以vi为偶度顶点.由vi 的任意性，结论为真. 充分性 对边数m做归纳法（第二数学归纳法）. 1 m1时，G为一个环，则G为欧拉图. 2 设m?k（k?1）时结论为真，mk+1时如下证明： 欧拉图的判别法 定理15.2 无向图G是半欧拉图当且仅当G 连通且恰有两个奇 度顶点. 证 必要性简单. 充分性（利用定理15.1） 设u,v为G 中的两个奇度顶点，令G ? G?u,v 则G ? 连通且无奇度顶点，由定理15.1知G ?为欧拉图，因而 存在欧拉回路C，令C?u,v 则? 为 G 中欧拉通路.