离散数学及其应用--第2版 课件 第9章特殊图.pptx

第9章特殊图

第9章特殊图9.1欧拉图与哈密顿图9.2带权图9.3匹配和二分图9.4平面图

9.1欧拉图与哈密顿图哥尼斯堡七桥问题、周游世界问题

欧拉图定义9.1.1设G=（V，E）是无向图或有向图，若G中有一条包含所有边（有向边）的简单回路，称该回路为欧拉回路，称图G为欧拉图。若G中有一条包含G中所有边（有向边）的简单通路，称它为欧拉通路，称图G为半欧拉图。欧拉图半欧拉图

例题b-c-d-b-e-c-a-bb-d-c-e-b-a-c例9.1.1在下面的图中，哪些有欧拉回路？没有欧拉回路的图中，哪些有欧拉通路？

欧拉图的判断定理9.1.1无向连通图G是欧拉图，当且仅当G的所有结点的度数都是偶数。定理9.1.2连通无向图G为半欧拉图，当且仅当G中只有两个奇度数的结点。

定理9.1.1证明定理9.1.1无向连通图G是欧拉图，当且仅当G的所有结点的度数都是偶数。证明：（必要性）设G是欧拉图，则G有欧拉回路C。设a是图G的任一结点，欧拉回路经过和a关联的边到结点a后又经过另一条和a关联的边离开到下一个结点b，因此每经过一个结点a就给它的度数贡献2度。若欧拉回路k次经过结点a，则d（a）=2k。所以，欧拉图的所有结点的度数都是偶数。（充分性）假设G中所有结点的度数都是偶数。从G中的任一结点v1开始，经过任一和v1关联的边e1到另一结点v2，再经过另一和v2关联的边e2到另一结点v3，?依此类推，可以得到一条包含G的边的简单回路C1：v1e1v2e2v3?emv1。

定理9.1.2证明定理9.1.2连通无向图G为半欧拉图，当且仅当G中只有两个奇度数的结点,其余结点的出度和入度相等。证明在连通无向图G的两个奇度数的结点之间加一条边e得到图G?，则图G?的所有结点的度数都是偶数，有欧拉回路。在G?的欧拉回路中删去这条边e，则可得到一条包含G中所有边的欧拉通路。因此图G是半欧拉图。

例题例9.1.2在下图中，哪些是欧拉图？哪些是半欧拉图？欧拉图欧拉图半欧拉图

欧拉有向图定义9.1.2如果连通有向图G中有一条包含G中所有有向边的有向回路，称它为欧拉有向回路，称图G为欧拉有向图。如果连通有向图G中有一条包含G中所有有向边的有向通路，称它为欧拉有向通路，称图G为半欧拉有向图。欧拉有向图半欧拉有向图

欧拉有向图的判断定理9.1.3连通有向图G是欧拉图，当且仅当G中每个结点v的入度等于它的出度。定理9.1.4连通有向图G是半欧拉图，当且仅当G中有且仅有两个奇度数结点，其中一个结点的入度比出度大1，另一个结点的入度比出度小1。

例题例9.1.3在图中，哪些是欧拉图？哪些是半欧拉图？欧拉图半欧拉图

9.1.2哈密顿图环游世界问题

哈密顿图定义9.1.3设图G=（V，E）是无向图或有向图。若G中有一条包含G的所有结点(仅一次)的回路，称该回路为哈密顿回路，称图G为哈密顿图。若图G有一条包含G的所有结点的通路，称该通路为哈密顿通路，称图G为半哈密顿图。(1)是半哈密尔顿图(2)为哈密尔顿图(3)没有哈密顿通路，也没有哈密顿回路

哈密顿图存在的必要条件定理9.1.5设无向图G=（V，E）是哈密顿图，则对于结点集V的每一个真子集S均有：W(G-S)?|S|,其中，W(G-S)是G-S的导出子图的连通分支数。例如：彼德森图中对于结点集V的每一个真子集S均有：W(G-S)?|S|。但彼德森图不是哈密顿图。

哈密顿图存在的必要条件证明：设C为G中的一条哈密尔顿回路。对于V的任何一个非空子集S，在C中删去S中任一结点v1，则C-v1是连通的非回路。若再删去任一结点v2，分两种情况讨论：如v2和v1邻接，则C-v1-v2是连通的；如v2和v1不邻接，则C-v1-v2是不连通的，W(C-v1-v2)=2。所以，删去两个结点时有W(C-v1-v2)?2