离散数学结构 第十五章 欧拉图与哈密顿图.docVIP

第十五章 欧拉图与哈密顿图 15.1 欧拉图 一、欧拉通路、欧拉回路、欧拉图、半欧拉图的定义 　定义15.1 通过图（无向图或有向图）中所有边一次且仅一次行遍图中所有顶点的通路称为欧拉通路，通过图中所有边一次并且仅一次行遍所有顶点的回路称为欧拉回路。具有欧拉回路的图称为欧拉图，具有欧拉通路而无欧拉回路的图称为半欧拉图。 　　从定义不难看出，欧拉通路是图中经过所有边的简单的生成通路（经过所有顶点的通路称为生成通路），类似地，欧拉回路是经过所有边的简单的生成回路。 　　在这里做个规定，即平凡图是欧拉图。 图15.1 　　在图15.1所示各图中，e1e2e3e4e5为（1）中的欧拉回路，所以（1）图为欧拉图。e1e2e3e4e5为（2）中的一条欧拉通路，但图中不存在欧拉回路（为什么？），所以（2）为半欧拉图。（3）中既没有欧拉回路，也没有欧拉通路（为什么？），所以（3）不是欧拉图，也不是半欧拉图。e1e2e3e4为（4）图中的欧拉回路，所以（4）图为欧拉图。（5），（6）图中都既没有欧拉回路，也没有欧拉通路（为什么？） 二、判别定理 定理15.1 无向图G是欧拉图当且仅当G是连通图，且G中没有奇度顶点。 　　证 若G是平凡图，结论显然成立，下面设G为非平凡图，设G是m条边的n阶无向图。并设G的顶点集V={v1,v2,…,vn}. 　　必要性。因为G为欧拉图，所以G中存在