图论-06

06-Euler图与Hamilton图 注：所写主要参考为许胤龙《图论导引》，因觉得此书所写不合理，故附参考张先迪《图论及其应用》

Euler图

• Euler迹：经过图$G$的每条边的行迹(边不重复)称为Euler迹
• Euler回路：经过图$G$每条边的闭行迹称为Euler回路
• Euler图：如果图$G$含有Euler回路，则称$G$为Euler图
• 定理：设$G$是连通图，则下面三个命题等价
  • $G$是Euler图
  • $G$的每个顶点的度数都是偶数
  • $G$可以表示成无公共边的圈之并
    • 推论：连通图$G$有Euler迹，当且仅当$G$中最多有两个度数为奇数的顶点
• 定理：设$D$是有向图，且略去$D$中边的方向后，对应的无向图连通，则下面三个命题等价
  • $D$是Euler图
  • $\forall v\in V(D),de{g}^{+}(v)=de{g}^{-}(v)$
  • $D$可以表示成无公共边的有向圈之并
    • 推论：连通有向图$D$有Euler有向迹但不是有向Euler图，当且仅当$D$中恰有两个度数为奇数的顶点，其中一个顶点入度比出度大1，另一个的出度比入读大1，其余顶点入度等于出度
• 高效率计算机鼓轮的设计
  • De Bruijn序列：对于固定正整数$k$的一个$(0,1)$周期序列，它具有最大的周期$\tau$，而使得$k$部分序列$S_1,S_2,\cdots ,S_{\tau }$均不同
  • 一个圆盘等分成$m^n$格扇形，每个扇形表示 S = { a 1 , ⋯   , a m } S=\{a_1,\cdots,a_m\} S={a1​,⋯,am​}中的一个符号，连续$n$个扇形表示一个长为$n$的符号串。将$m^n$个字符($m^{n-1}个a_1,m^{n-1}个a_2,\cdots ,m^{n-1}个a_m$)放到这样的圆盘上，使圆盘转动一周得到$m^n$个各不相同的符号串
    • 构造有向图 D = ( V , E ) , V = { α 1 α 2 ⋯ α n − 1 ∣ α i ∈ S , 1 ≤ i ≤ n − 1 } , E = { α 1 α 2 ⋯ α n − 1 α n = ( α 1 α 2 ⋯ α n − 1 , α 2 ⋯ α n − 1 α n ) ∣ α i ∈ S , 1 ≤ i ≤ n } D=(V,E),V=\{\alpha_1\alpha_2\cdots\alpha_{n-1}|\alpha_i\in S,1\leq i \leq n-1\},E=\{\alpha_1\alpha_2\cdots\alpha_{n-1}\alpha_n=(\alpha_1\alpha_2\cdots\alpha_{n-1},\alpha_2\cdots\alpha_{n-1}\alpha_n)|\alpha_i\in S,1\leq i \leq n\} D=(V,E),V={α1​α2​⋯αn−1​∣αi​∈S,1≤i≤n−1},E={α1​α2​⋯αn−1​αn​=(α1​α2​⋯αn−1​,α2​⋯αn−1​αn​)∣αi​∈S,1≤i≤n}
    • 显然$D$连通，每个顶点的入度等于出度，为$m$，所以$D$是有$m^{n-1}$个顶点，$m^n$条边的有向Euler图，存在Euler回路。取回路中各边的最后一个字母，按边在回路中的顺序依次放在圆盘上。
• Fluery算法
  • 输入：图$G=(V(G),E(G))$
  • 输出：图$G$的一条行迹
  • 初始化：任取$v_0\in V(G)$，令$P_0=v_0$
  • 选边：假设$P_i=v_0{e}_1{v}_1{e}_2\cdots e_i{v}_i$走到顶点$v_i$，在 E ( G ) − { e 1 , e 2 , ⋯   , e i } E(G)-\{e_1,e_2,\cdots,e_i\} E(G)−{e1​,e2​,⋯,ei​}选取与$v_i$关联的边，除非无边可选，否则不选桥，将该边及其关联另一顶点加入$P$，直至无边可选
• 逐步插入回路算法：
  • 输入：Euler图$G=(V(G),E(G))$
  • 输出：图$G$的一条Euler回路
  • 初始化：$i\leftarrow 0,v^{\ast }=v_1,v=v_1,P_0=v_1,G_0=G$
  • 找圈：在$G_i$中选取与$v$关联的任意一条边$e=v{v}^{\prime }$，将$e$加入$P_i$中得到$P_{i+1}=P_{i}e{v}^{\prime }$，直至$v^{\prime }=v^{\ast }$
  • 判断是否已找完：若$E(P_{i+1})=E(G)$，结束算法；否则，$G_{i+1}=G-E(P_{i+1})$，在$G_{i+1}$中取一条与$P_{i+1}$中某顶点$v_k$关联的边$e$，令$v^{\ast }=v_k,v=v_k$

---

中国邮递员问题

• 最优投递路线：构造无向加权图$G=(V,E,w)$，$E$为街道集合，$V$中的元素是街道的交叉点，街道的长度为该街道对应的边的权，显然所有权均为整数。中国邮递员问题为求$G$中一条经过每条边至少一次的回路$C$，使该回路的权${\sum }_{e\in E(C}w(e)$最小，且称满足以上条件的回路使最优投递路线
• 定理：若$W$是图$G$中一条包含所有边的闭通道，则$W$在这样的闭通道中具有最小长度的充要条件是
  • 每一条边最多重复经过一次
  • 在$G$的每一个圈上，重复经过的边的数目不超过圈的长度的一半
• Edmonds-Johnson算法
  • 输入：加权图$G=(V(G),E(G),w(G))$
  • 输出：图$G$的一条最优投递路线
  • Euler图：直接求Euler回路
  • 变成Euler图：令$V_0$为$G$中度数为奇数的顶点集合，对$V_0$中每对顶点$u$和$v$，用$Dijkstra$算法求出其在$G$中的最短距离$dis{t}_G(u,v)$以及最短路径。构建加权完全图$K_{|V_0|}$，每条边$uv$的权为$dis{t}_G(u,v)$，求$K_{|V_0|}$的总权最小的完备匹配，将$M$中的每条边，给出其两个端点，将这个端点在$G$中的最短路径上的每条边重复一遍，得到Euler图$G^{\ast }$

---

Hamilton图

• Hamilton轨道：经过图$G$每个顶点的轨道称为Hamilton轨道
• Halimton圈：经过图$G$每个顶点的圈称为Hamilton圈
• Hamilton图：如果图$G$含有Hamilton圈，则称这个图为Hamilton图
• 定理：设$G$是Hamilton图，则对$V(G)$的每个非空真子集$S$，均有$w(G-S)\le |S|$，$w$为连通片个数
• Dirac定理：设$G$是简单图，且$v(G)>3,\delta (G)\ge v(G)/2$，则$G$是Hamilton图
• 引理：设$G=(V,E)$是简单图，$u$和$v$是$G$中两个不相邻的顶点，且$deg(u)+deg(v)\ge v(G)$，则$G$是Hamilton图，当且仅当当$G+uv$是Hamilton图
• 闭包：反复连接$G$中度数之和不小于$v(G)$的不相邻顶点对，直到没有这样的点对为止，称为$G$的闭包，记为$c(G)$
• 引理：$c(G)$是唯一确定的
• 定理：简单图$G$是Hamilton图，当且仅当它的闭包$c(G)$是Hamilton图
  • 推论：设$G$是$v(G)\ge 3$的简单图，若$c(G)$是完全图，则$G$是Hamilton图
• Ore定理：设$v(G)\ge 3$，对$G$的任意一对顶点$u,v$，若$deg(u)+deg(v)\ge v(G)-1$，则$G$有Hamilton轨道；若$deg(u)+deg(v)\ge v(G)$，则$G是Hamilton图

---

旅行商问题

• 设$K_v=(V,E,w)$是$v$阶完全加权图，各边的权非负，有的边的权可为$+\infty$，求$K_v$中权最小的Hamilton圈
• 最近邻法
  • 输入：加权图$G=(V(G),E(G),w(G))$，顶点$v_1$
  • 输出：图$G$的一条Hamilton圈
  • 一句概括：找与P中最后顶点的最近顶点作为下一顶点
  • 复杂度：$O(v^2)$
• 定理：设$G=(V,E,w)$是$v(v\ge 3)$阶完全加权图，各边的权均为整数，且满足三角不等式，则$\frac{d}{d_0}\le \frac{1}{2}(┌lo{g}_{2}n┐+1)$，其中$d_0$是$G$中最短Hamilton圈的权，$d$是最近邻法求出的Hamilton圈的权
• 最小生成树法
  • 输入：加权图$G=(V(G),E(G),w(G))$
  • 输出：图$G$的一条Hamilton圈
  • 造Euler图，找Euler回路：找最小生成树$T$，将$T$中各边都添加一条平行边，所得图为$G^{\ast }$，$G^{\ast }$为Euler图，从$v$出发找Euler回路$C_v$
  • 抄近路：Euler回路跳过已访问过的结点得到的Hamilton圈
  • 复杂度：$O(v^2)$
• 定理：设$G=(V,E,w)$是$v(v\ge 3)$阶完全加权图，各边的权均为整数，且满足三角不等式，则$\frac{d}{d_0}<2$，其中$d_0$是$G$中最短Hamilton圈的权，$d$是最小生成树法求出的Hamilton圈的权
• 最小权匹配法
  • 输入：加权图$G=(V(G),E(G),w(G))$
  • 输出：图$G$的一条Hamilton圈
  • 提升最小生成树法：在其算法基础上，另种方法求Euler图
  • 求Euler图：设$T$中度数为奇数的顶点集合为 V 0 = { v 1 , v 2 , ⋯   , v 2 k } V_0=\{v_1,v_2,\cdots,v_2k\} V0​={v1​,v2​,⋯,v2​k}，求$V_0$的导出子图$G[V_0]=K_{2k}$中总权最小的完备匹配$M$，将$M$中的$K$条边加到$T$上，得到Euler图$G^{\ast }$
• 定理：设$G=(V,E,w)$是$v(v\ge 3)$阶完全加权图，各边的权均为整数，且满足三角不等式，则$\frac{d}{d_0}<\frac{3}{2}$，其中$d_0$是$G$中最短Hamilton圈的权，$d$是最小权匹配法求出的Hamilton圈的权

---

超Hamilton图

• 超Hamilton图：若$G$不是Hamilton图，但对于$G$的任意点$v\in V(G),G-v$都是Hamilton图，则称$G$是超Hamilton图
• 超可迹的：若$G$中没有Hamilton轨道，但对任意的点$v\in V(G),G-v$存在$H$路，则称$G$是超可迹的
• 定理：$Peterson$图是超Hamilton图
• 定理：$Thomassen$图是超可迹的

---

Euler图和Hamilton图的联系

• 线图：将一个图$G$的边集$E(G)$看作$V(G)$的2点子集的一个族，则交图$\Omega (E)$称为$G$的线图，记为$L(G)$
  • 显然$L(G)$的点是$G$的边，当$G$中相应的边邻接时$L(G)$的两个点邻接。
• 迭线图：一般地，$L^n(G)=L(L^{n-1}(G))$
• 细分图：若$e=uv$是$G$的一条边，又$w$不是$G$的一个点，则当用边$uw$和$wv$来代替$e$时称$e$被细分，又称$G$的每一条边被细分后产生的图为$G$的细分图，记为$S(G)$
• $L_n(G)$：用$S_n(G)$来表示$G$中每条边被插进$n$个度数为2的新点得到的图，定义$L_n(G)=L(S_{n-1}(G))$
  • 一般地，$L_n(G)\ne L^n(G)$
• 定理：若$G$是$E$图，则$L(G)$既是$E$图又是$H$图
• 定理：若$G$是$H$图，则$L(G)$是$H$图
• 定理：一个图$G$是$E$的充要条件是$L_3(G)$是$H$图
• Chartarand定理：若$G$是$n$个点的非平凡连通图，且不是一条路，则对所有$m\ge n-3$，$L^m(G)$是$H$图