离散数学教学课件（长安大学）getresource-15.pptVIP

第十五章 欧拉图与哈密顿图 主要内容 欧拉图 哈密顿图 带权图与货郎担问题 欧拉图定义 定义15.1 (1) 欧拉通路——经过图中每条边一次且仅经过一次行遍所有顶点的通路. (2) 欧拉回路——经过图中每条边一次且仅经过一次行遍所有顶点的回路. (3) 欧拉图——具有欧拉回路的图. (4) 半欧拉图——具有欧拉通路而无欧拉回路的图. 几点说明： 规定平凡图(N1)为欧拉图。 欧拉通路是简单通路，欧拉回路是简单回路。 环不影响图的欧拉性；平行边可能会影响图的欧拉性。 无向欧拉图的判别法 定理15.1 无向图G是欧拉图当且仅当G连通且无奇度数顶点. 证 若G为平凡图显然成立. 下设G为 n 阶 m 条边的无向图. 必要性 设C 为G 中一条欧拉回路. (1) G 连通显然. (2) ?vi?V(G)，vi在C上每出现一次获2度，所以vi为偶度顶点. 由vi 的任意性，结论为真. 充分性 对边数m做归纳证明（第二数学归纳法）. (1) m=1时，G为一个环，则G为欧拉图. (2) 设m?k（k?1）时结论为真，m=k+1时如下证明： 定理证明 由G的连通性及无奇度顶点可知，?(G)≥2。类似例14.8，用扩大路径法可以证明 G 中存在长度大于或等于3 (?+1)的圈，设C为G 中一个圈，删除C上的全部边，得G 的生成子 图G?。设G’有s个连通