现代图论Ⅲ（哈密顿圈和欧拉回路、BEST定理）

1.3节 Hamilton Cycles and Euler Circuits 哈密顿圈和欧拉回路

本篇简要的介绍了概念和相关定理。首先明确一下，下面讨论有三种图：无向图(undirected graph)，有向图(directed graph)以及（有向）多重图((directed) multigraph)，多重图允许自己指向自己的边(loop)。多重图的基图(underlying graph)就是删去了这些边的图。

1. 定义：

   如果图G中的一个路径包括每个边恰好一次，则该路径称为欧拉路径(Euler path)。如果一个回路是欧拉路径，则称为欧拉回路(Euler circuit)；

   如果G中的圈C恰好经过每一个顶点一次，则称圈C是一个哈密顿圈(Hamilton Cycles)。

2. 定理：

   1. 众所周知，欧拉回路的研究始自Konigsberg七桥问题。Euler指出，(TH12)
      连通图G有欧拉迹iff x、y为唯二奇度顶点，以及G为欧拉图iff顶点全为偶数。
      对有向图（多重图），则需要入度等于出度。这一定理可用割圈的方式证明。事实上，每一个欧拉回路都是一些不相交之圈的并。

   2. 关于Hamilton圈的TH11指出，$$完全图K_n能被分割成不相交的Hamilton圈iffn是奇数，能被分割成不相交的Hamilton路iffn是偶数$$这一定理可以归纳的证明。

   3. TH13（Best定理）：这一定理对入度等于出度的多重欧拉图适用。对图G有如下等式成立：
      $$s(G)=t_i(G)\prod _{j=1}^n(d^{+}(v_j)-1)!$$
      TH13是欧拉回路个数与生成树之间的关系。
      其中，$s(G)是G欧拉回路的个数$，
      $t_i(G)是(orientedtowards)朝向i的生成树的个数$
      朝向i的生成树（内向树）定义为：$$v_{i}isthe“root”.Foreveryj!=i,theuniquepathfrom{v}_{i}to{v}_{j}isorientedtowards{v}_i.$$下图是一个例子：
      
      我们详细说明一下。
      令${\mathrm{E}}_i$是从$x_i$点开始并结束的欧拉迹，$\mathrm{E}$是欧拉回路。对欧拉迹来说每次出发走不一样的点是不同的（回路则是一样的），有$$|\mathrm{E}|\ast d^{+}(v_i)=|{\mathrm{E}}_i|$$
      构造T，边为$$e_2,...,e_n，其中e_i是一条欧拉迹S中最后一次离开v_i的那条边$$
      立刻有$d^{+}(v_1)=0$，$d^{+}(v_j)=1$。
      我们可以证明T是$v_1$的内向树。为此，先证明是树：反证法。
      如果有圈，那么由于$d^{+}(v_1)=0$，圈不包含v1。对着个圈中的点来说，由于所有点的出度都是1，考察进入这个圈的点$v_l$，由于欧拉迹最终会遍历这个圈的边，所以最后会回到$v_l$。于是就和定义相悖了。
      对于每个点，有路径$v_k{v}_{k-1}...v_1$。没有圈就说明，总是不再返回的。于是$v_2{v}_1是e_2$…对每个点依次类推。于是，$T\in {\mathrm{T}}_1$。
      建立${\Phi }_1:E_1\to {\mathrm{T}}_1$的映射:${\Phi }_1(S)=T.$如果有T，怎么建立S？采取这个策略：
      $$1.从v_1出发。走一条尚未走过的边。如果没有边，就停止。$$
      $$2.如果到达v_j，从非e_j的边离开。最后，再走e_j。$$
      既然$d^{+}(v_j)=d^{-}(v_j)$，这一过程确实能给我们一条欧拉迹。
      于是：$$|{\Phi }^{-1}(T)|=d^{+}(v_1)!\prod _{j=2}^n(d^{+}(v_j)-1)!.$$和$$|\mathrm{E}|\ast d^{+}(v_i)=|{\mathrm{E}}_i|$$
      $$得到|E|=|{\mathrm{T}}_1|\prod _{j=1}^n(d^{+}(v_j)-1)!Q.E.D.$$后部分是个常量。这样有
      $$[推论]|{\mathrm{T}}_1|=|{\mathrm{T}}_2|=...=|{\mathrm{T}}_n|.$$
      这一推论也是不直观的、很深刻的结论。

3. randomly Eulerian：这样一种图，即存在一个顶点，从这一点出发遵循方法：走没走过的边，就一定能走出一条欧拉回路。也就是博物馆展览的设计
   例如，
   在习题中给出了充要条件：
   图G是x点的随机欧拉图，iff G有一个欧拉回路且x被每一个圈包含在内。必要性：反证。走那个不包含x的圈符合规则。充分性：欧拉回路可以视作多个边不相同圈的交（定理1！）。

4. TH14：$G$是无限多边的连通多重图，则$G$有一条双向欧拉迹 iff 满足：1.$E$可数 2. 边的度是偶数或无限大 3. 每个无限边的子图$G^{\prime }(V,E^{\prime })$, $G-E^{\prime }$有至多两个无限连通分量。（进一步地，若$G‘$各点均为偶数度，$G-E^{\prime }$有一个连通分量）。这条定理下篇中我们证一下。