离散数学 第2版 作者 王元元 离散第19讲 欧拉图与哈密顿图.ppt

第19讲 欧拉图与哈密顿图 欧拉图与哈密顿图 回顾 顶点的度数 握手定理：∑d(v)=2m 拟路径、路径、闭路径 通路、回路 定理8-4：有拟路径则有通路 定理8-5：有闭路径则有回路 连通 无向图G连通 有向图G连通 强连通、单向连通、弱连通 欧拉图与欧拉路径 定义： 图G称为欧拉图(Euler graph)，如果图G上有一条经过G的所有顶点、所有边的闭路径。 图G称为欧拉路径(Euler walk)，如果图G上有一条经过G所有顶点、所有边的路径。 例 哈密顿图与哈密顿通路 定义： 无向图G称为哈密顿图(Hamilton graph)，如果G上有一条经过所有顶点的回路(也称这一回路为哈密顿回路)。 无向图G称有哈密顿通路(非哈密顿图)，如果G上有一条经过所有顶点的通路(非回路)。 例 欧拉图与哈密顿图判断 （a）既为欧拉图又为哈密顿图； （b）是欧拉图而非哈密顿图； （c）是哈密顿图却非欧拉图； （d）既非欧拉图也非哈密顿图 欧拉路径与哈密顿通路 （a）既有欧拉路径又有哈密顿通路； （b）有欧拉路径而无哈密顿通路； （c）有哈密顿通路却无欧拉路径； （d）既无欧拉路径也无哈密顿通路。 欧拉图的性质 G为一欧拉图 G显然是连通的 各顶点的度均为偶数 由于G本身为一闭路径，它每经过一个顶点一次，便给这一顶点增加度数2，因而各顶点的度均为该路径经历此顶点的次数的两倍，从而均为偶数。 欧拉图的充要条件 定理8.11 有限无向图G为欧拉图当且仅当G连通，并且所有顶点的度都是偶数。 证明 对G的边数归纳。 当m = 1时，G必定为单顶点的环，显然为欧拉图。 定理8.11充分性证明 设边数少于m时成立，现考虑有m条边的图G。 从G的任一顶点v0出发经关联边e1“进入”v1，若deg(v1)为偶数，则必可由v1再经关联边e2进入v2，如此进行下去，每边仅取一次。由于G是连通的且结点是有限的，故必可达到v0结点停下，得到一条闭路径H： v0e1 v1 e2 … vi ei+1 … ek v0 定理8.11充分性证明 从图G中删去H的所有边，所得图记为G’，其各顶点的度数仍均为偶数。 定理8.11充分性证明 考虑G’的各连通分支，据归纳假设，它们都是欧拉图。因此各有闭路径Hi。 由于G连通，各连通分支都与H共有一个或若干个公共顶点，因此，各闭路径Hi与H一起构成一个经过所有边的闭路径。这就是说，G是一个欧拉图。 欧拉图的充要条件 定理8.11 有限无向图G为欧拉图当且仅当G连通，并且所有顶点的度都是偶数。 有限有向图G为欧拉图，当且仅当G是弱连通的，并且每个顶点的出度与入度相等。 欧拉路径的充要条件 定理8.12 无向图G为欧拉路径(非欧拉图)，当且仅当G连通，并且恰有两个顶点的度是奇数。 有向图G为欧拉路径(非欧拉图)，当且仅当G弱连通，并且恰有两个顶点的入度与出度不等，它们中一个的出度比入度多1，另一个入度比出度多1。 判断欧拉图 n个结点的完全图Kn是欧拉图吗？ n为奇数(大于1) 时是 n个结点的连通k-正则图是欧拉图吗？ n为偶数时是 k为偶数时是 欧拉图应用 “清扫道路” 欧拉图应用 判断一笔画问题 欧拉图应用 “蚂蚁赛跑问题”：下图中，在结点v2，v3上的两只蚂蚁跑过图的所有边（必须一次）到达目标v4，谁花费的时间多？（假设蚂蚁通过每一条边所花费时间相同）。 应用与问题引入 交通网 问题1：工兵团巡逻维护 巡逻路能否不重复？ 巡逻路如何最短？ 数学模型？ 问题2：汽车团送给养 送给养地能否不重复？ 送给养路如何最短？ 数学模型？ 哈密顿图的充分条件 定理8.13： 设图G为具有n个顶点的简单无向图，如果G的每一对顶点的度数之和都不小于n–1 （d(u)+d(v) ≥n-1 ），那么G中有一条哈密顿通路； 如果G的每一对顶点的度数之和不小于n（d(u)+d(v)≥n），且n≥3，那么G为一哈密顿图。（奥尔定理） 哈密顿通路存在的构造证明 如果G为具有n个顶点的简单无向图，且每一对顶点的度数之和都不小于n–1 ，那么G中有一条哈密顿通路； 首先G为一连通图。 （反证） 若G为不连通图，G由若干连通分支所组成。令v1，v2分属于连通分支G1，G2；G1，G2各有n1，n2个顶点。显然n1≤n，n2≤n，于是d(v1) ≤n1–1 ，d(v2) ≤n2–1，从而d(v1)+d(v2)≤n1+n2–2＜n–1，与题设矛盾。 用构造扩充的方法在G中构作出一条长为n–1的通路。 令P为G中任意一条长为p–1(p＜n)的通路，设其顶点序列为v1,v2,…,vp 。我们将这一通路扩充到长为p 。 哈密顿通路存在的构造证明 P为长p–1的通路v1,