离散数学课件图论4.ppt

School of Information Science and Engineering 第十五章 主要内容 欧拉通路、欧拉回路、欧拉图、半欧拉图及其判别法 哈密顿通路、哈密顿回路、哈密顿图、半哈密顿图 带权图、货郎担问题 基本要求 深刻理解欧拉图、半欧拉图的定义及判别定理 深刻理解哈密顿图、半哈密顿图的定义. 会用哈密顿图的必要条件判断某些图不是哈密顿图. 会用充分条件判断某些图是哈密顿图. 要特别注意的是，不能将必要条件当作充分条件，也不要将充分条件当必要条件. * * * * * * * * * * * * * * * * * * * * * * * School of Information Science and Engineering School of Information Science and Engineering 第十五章 欧拉图与哈密顿图 主要内容 欧拉图 哈密顿图 带权图与货郎担问题 School of Information Science and Engineering 15.1 欧拉图 历史背景：哥尼斯堡七桥问题与欧拉图 A B C D e1 e5 e7 e6 e3 e4 e2 A B C D School of Information Science and Engineering 欧拉图定义 [欧拉通路] 经过图中每条边一次且仅一次行遍所有顶点的通路。 [欧拉回路] 经过图中每条边一次且仅一次行遍所有顶点的回路。 [欧拉图] 有欧拉回路的图。 [半欧拉图] 有欧拉通路而无欧拉回路的图。 说明： 规定平凡图为欧拉图。 欧拉通路是生成的简单通路，欧拉回路是生成的简单回路。 环不影响图的欧拉性。 School of Information Science and Engineering 无向欧拉图的判别法 定理15.1 无向图G是欧拉图当且仅当G连通且无奇度数顶点. 证明： 若G 为平凡图无问题. 下设G为 n 阶 m 条边的无向图. 必要性 设C 为G 中一条欧拉回路。 (1) G 连通显然。 (2) ?vi?V(G)，vi在C上每出现一次获2度，所以vi为偶度顶点。 由vi 的任意性，结论为真。 充分性(证明的过程就是一个构造欧拉回路的过程) G无奇数度结点:从任何一个结点v0出发,经关联边到达另一个偶数度结点v1,由于v1为偶数度,则必然可以再经过另一条关联边离开此结点,每边仅取一次,如此重复下去, 一定可以回到结点v0, 并得到一条简单回路L1, 若L1经过了G的所有边,则L1后就是要找的欧拉回路 若G中去掉L1后得到的子图G’,则G’中每个结点度数为偶数 因为原来的图是连通的,故L1和G’至少有一个公共结点vi,在G’中由vi出发重复上面的方法,得到另外一条简单回路L2 当L1和L2结合在一起,如果是G,则得到欧拉回路,否则,继续重复上面的方法,以此类推,直到得到一条经过图G中所有边的欧拉回路. School of Information Science and Engineering 欧拉图的判别法 定理15.2 无向图G是半欧拉图当且仅当G 连通且恰有两个奇度顶点。 证明： 必要性简单. 充分性（利用定理15-1） 设u,v为G 中的两个奇度顶点，令 G ? =G?(u,v) 则G ? 连通且无奇度顶点，由定理15-1知G ?为欧拉图，因而 存在欧拉回路C，令 ?=C?(u,v) 则? 为 G 中欧拉通路. 理解：G有两个奇数度结点：就从一个奇数度结点出发，每当到达一个偶数度结点，必然可以再经过另一条边离开此结点，如此重复下去，经过所有边后到达另一个奇数度结点。 School of Information Science and Engineering 有向欧拉图的判别法 定理15.3 有向图D是欧拉图当且仅当D是强连通的且每个 顶点的入度都等于出度. 定理15.4 有向图D是半欧拉图当且仅当D是单向连通的，且 D中恰有两个奇度顶点，其中一个的入度比出度大1，另一个 的出度比入度大1，而其余顶点的入度都等于出度. 定理15.5 G是非平凡的欧拉图当且仅当G是连通的且为若干 个边不重的圈之并. School of Information Science and Engineering 上图中，(1) ,(4) 为欧拉图，(2) 为半欧拉图，(3) ,(5),(6)既不是欧拉图，也不是半欧拉图. 欧拉图实例 School of Information Science and Engineering 例题 例1 设G是非平凡欧拉图，证明：?(G)?2. 只需证明G中不可能有桥（如何