图论(十)——欧拉图和哈密尔顿图

一、欧拉图及其性质

两种问题背景:

  • 对于图G,它在什么条件下满足从某点出发,经过每条边一次且仅一次,可以回到出发点
  • 一笔画,对于一个图G, 笔不离纸, 一笔画成

\quad 概念:对于连通图G,如果G中存在经过每条边的闭迹,则称G为欧拉图,简称G为E图。欧拉闭迹又称为欧拉环游,或欧拉回路。即从图中任意一点出发,能找到一种方法遍历完所有边再回到该点的图称为欧拉图,有欧拉闭迹;若能遍历完所有的边但是没法回到起始点,称为非欧拉图但是有欧拉迹。如下图所示:
在这里插入图片描述
定理1:若G满足下列条件中的任意一个,则G是E图,且这些条件都是充要条件

  • G的顶点度数为偶数
  • G的边集合能划分为圈

推论:连通非欧拉图G存在欧拉迹当且仅当G中只有两个顶点度数为奇数
在这里插入图片描述
推论:若G和H是欧拉图,则GxH是欧拉图(证明其顶点度数都是偶数即可)

二、Fleury算法求解G中欧拉环游

\quad Fleury算法解决了在欧拉图中求出一条具体欧拉环游的方法。方法是尽可能避割边行走。算法流程如下:

  • 任选一个起始点 v 0 v_0 v0
  • 在与 v 0 v_0 v0相连接的边中选择一条非割边 e 0 e_0 e0,若实在没有非割边,则随便选择一条即可,此时到达该边的另一顶点 v 1 v_1 v1,找 G − e 0 G-e_0 Ge0中与 v 1 v_1 v1相连的非割边
  • 如法炮制直到遍历完所有边

三、哈密尔顿图概念

\quad 如果经过图G的每个顶点恰好一次后能够回到出发点,称这样的图为哈密尔顿图,简称H图。所经过的闭途径是G的一个生成圈,称为G的哈密尔顿圈。(欧拉图是经过每条边再回去)
\quad 如果存在经过G的每个顶点恰好一次的路,称该路为G的哈密尔顿路,简称H路。
在这里插入图片描述
\quad 上图不是哈密尔顿图。因为在G中,边uv是割边,所以它不在G的任意圈上,于是u与v不能在G的同一个圈上。故G不存在包括所有顶点的圈,即G是非H图。但注意!!!它有哈密尔顿路!!!非哈密尔顿图有可能存在哈密尔顿路。也可知若图中存在割边,则该图一定不是H图。

四、哈密尔顿图的性质和判定

1、必要条件

\quad 若G为H图,则对V(G)的任意非空子集S,有: w ( G − S ) ≤ ∣ S ∣ w(G-S) \le |S| w(GS)S
证明:G是H图,设C是G的H圈。则对V(G)的任意非空子集S, 容易知道: w ( C − S ) ≤ ∣ S ∣ w(C-S) \le |S| w(CS)S因为G比C边数更多,故 w ( G − S ) ≤ w ( C − S ) ≤ ∣ S ∣ w(G-S) \le w(C-S) \le |S| w(GS)w(CS)S
注意:满足该条件的图不一定是H图(彼得森图)。但是不满足该条件的一定不是H图。

2、充分条件

\quad 对于 n ≥ 3 n \geq 3 n3的简单图G,如果G满足: δ ( G ) ≥ n 2 \delta(G) \geq \frac{n}{2} δ(G)2n那么G是H图。注意H图不一定满足这个定理,但满足这个定理的一定是H图。
\quad 美国耶鲁大学数学家奥尔院士考察不相邻两点度和情况,弱化了Dirac条件 ,得到一个光耀千秋的结果。对于 n ≥ 3 n \geq 3 n3的简单图G,如果G中的任意两个不相邻顶点u与v,有: d ( u ) + d ( v ) ≥ n d(u)+d(v) \geq n d(u)+d(v)n那么,G是H图。

3、充要条件

\quad 闭图:在n阶单图中,若对d (u) + d (v) ≧n 的任意一对顶点u与v,均有u adj v , 则称G是闭图。即不相邻顶点间度数和都小于n是闭图。
\quad 闭包: G ‾ \overline{G} G是G的闭包,如果它是包含G的极小闭图。
如果G本身是闭图,则其闭包是它本身;如果G不是闭图,则由定义可以通过在度和大于等于n的不相邻顶点对间加边来构造G的闭图。例如:
在这里插入图片描述
\quad (帮迪——闭包定理) 图G是H图当且仅当它的闭包是H图。
推论:若G是 n ≥ 3 n\ge3 n3的简单图,若G的闭包是完全图,则G是H图。
由闭包定理也可以推出Dirac和Ore定理:

  • 对于 n ≥ 3 n \geq 3 n3的简单图G,如果G满足: δ ( G ) ≥ n 2 \delta(G) \geq \frac{n}{2} δ(G)2n那么G是H图。
  • 对于 n ≥ 3 n \geq 3 n3的简单图G,如果G中的任意两个不相邻顶点u与v,有: d ( u ) + d ( v ) ≥ n d(u)+d(v) \geq n d(u)+d(v)n那么,G是H图。

\quad H图的度序列判定法:设简单图G的度序列是 ( d 1 , d 2 , … , d n ) (d_1,d_2,…,d_n) (d1,d2,,dn), 这里, d 1 ≦ d 2 ≦ … ≦ d n d_1≦d_2≦…≦d_n d1d2dn,并且n≧3.若对任意的m<n/2,或有 d m > m d_m>m dm>m,或有 d n − m ≧ n − m d_{n-m} ≧ n-m dnmnm,则G是H图。
在这里插入图片描述

已标记关键词 清除标记
相关推荐
©️2020 CSDN 皮肤主题: 编程工作室 设计师:CSDN官方博客 返回首页