离散数学第11章特殊图.pptVIP

第11章 特殊图 11.2 欧拉图 11.2.1 欧拉图的引入与定义 定义11.2.1 设G是无孤立结点的图，若存在一条通路(回路)，经过图中每条边一次且仅一次，则称此通路(回路)为该图的一条欧拉通路(回路)(Eulerian Entry/Circuit)。具有欧拉回路的图称为欧拉图(Eulerian Graph)。 规定：平凡图为欧拉图。 以上定义既适合无向图，又适合有向图。 欧拉通路和欧拉回路的特征 欧拉通路是经过图中所有边的通路中长度（指边的数目，无权图）最短的通路，即为通过图中所有边的简单通路； 欧拉回路是经过图中所有边的回路中长度最短（指边的数目，无权图）的回路，即为通过图中所有边的简单回路。 如果仅用边来描述，欧拉通路和欧拉回路就是图中所有边的一种全排列。 例11.2.1 判断下面的6个图中，是否是欧拉图？是否存在欧拉通路？ 11.2.2 欧拉图的判定-无向图 定理11.2.1 无向图G = V, E具有一条欧拉通路，当且仅当G是连通的，且仅有零个或两个奇度数结点。 推论11.2.1 无向图G = V, E具有一条欧拉回路，当且仅当G是连通的，并且所有结点的度数均为偶数。 11.2.2 欧拉图的判定-有向图 定理11.2.2 有向图G具有一条欧拉通路，当且仅当G是连通的，且除了两个结点以外，其余结点的入度等于出度，而这两个例外的结点中，一个结点的入度比出度大1，另一个结点的出度比入度大1。 推论11.2.2 有向图G具有一条欧拉回路，当且仅当G是连通的，且所有结点的入度等于出度。 欧拉回路的寻找-桥的定义 设G = V, E，e∈E，如果 p(G-e)＞p(G) 称e为G的桥(Bridge)或割边(Cut edge)。 显然，所有的悬挂边都是桥。 其中p(G-e)是从G中删除e后所得到图的连通分支数。 欧拉回路的寻找-Fleury算法 算法11.2.1 求欧拉图G = V, E的欧拉回路的Fleury算法： （1）任取v0∈V，令P0 = v0，i = 0； （2）按下面的方法从E-{e1, e2, …, ei}中选取ei+1： a. ei+1与vi相关联； b. 除非无别的边可选取，否则ei+1不应该为G’ = G-{e1, e2, …, ei}中的桥； （3）将边ei+1加入通路P0中，令P0 = v0e1v1e2…eiviei+1vi+1，i = i+1； （4）如果i = |E|，结束，否则转(2)。 例11.2.2 用Fleury算法求欧拉图的一条欧拉回路。 11.2.4 欧拉图的应用 1、一笔画问题 所谓“一笔画问题”就是画一个图形，笔不离纸，每条边只画一次而不许重复，画完该图。 “一笔画问题”本质上就是一个无向图是否存在欧拉通路(回路)的问题。如果该图为欧拉图，则能够一笔画完该图，并且笔又回到出发点；如果该图只存在欧拉通路，则能够一笔画完该图，但笔回不到出发点；如果该图中不存在欧拉通路，则不能一笔画完该图。 例11.2.3 图中的三个图能否一笔画？为什么？ 11.2.3 欧拉图小节 仅有欧拉通路而无欧拉回路的图不是欧拉图； 图中是否存在欧拉通路、欧拉回路图的判定非常简单，只需要数一下图中结点的度数即可； 使用Fleury算法求欧拉通路(回路)时，每次走一条边，在可能的情况下，不走桥。 11.3 哈密顿图 11.2.1 哈密顿的引入与定义 哈密顿图 定义11.3.1 经过图中每个结点一次且仅一次的通路(回路)称为哈密顿通路(回路)(Hamiltonian Entry/circuit)。存在哈密顿回路的图称为哈密顿图(Hamiltonian Graph)。 规定：平凡图为哈密顿图。 以上定义既适合无向图，又适合有向图。 哈密顿通路和哈密顿回路的特征 哈密顿通路是经过图中所有结点的通路中长度（指边的数目，无权图）最短的通路，即为通过图中所有结点的基本通路； 哈密顿回路是经过图中所有结点的回路中长度最短（指边的数目，无权图）的回路，即为通过图中所有结点的基本回路。 如果我们仅用结点来描述的话哈密顿通路就是图中所有结点的一种全排列 哈密顿回路就是图中所有结点的一种全排列再加上该排列中第一个结点的一种排列。 例11.3.1 判断下面的6个图中，是否是哈密顿图？是否存在哈密顿通路？ 11.3.2 哈密顿图的必要条件 定理11.3.1 设无向图G = V, E是哈密顿图（存在哈密尔顿回路），V1是V的任意非空子集，则 p(G-V1) ≤ |V1| 推论11.3.1设无向图G = V, E中存在哈密顿通路，则对V的任意非空子集V1，都有 p(G-V1) ≤ |V1| + 1