曼哈顿回路

acm.sgu.ru/problem.php?contest=0&problem=122

曼哈顿回路

一、引子

 1959 年 William Rowan Hamilton 发明了一个小玩具，这个玩具是一个木刻的正十二面体，每面系正五角形，三面交于一角，共 20 个角，没每个角上标有世界上一个重要城市。他提出一个问题：要求沿着正十二面体的边寻找一条路，通过 20 个城市，而每个城市只通过一次，最后返回原地。Hamilton 将此问题称为周游世界问题，并且坐了肯定的回答。上面提到的问题就是经典的 Hamilton 回路问题。当然，还有另一个著名的回路问题——欧拉回路问题，不同于 Hamilton 回路问题，欧拉问题已经得到了圆满解决

二、定义

 设无向图 G=(V, E)，其中 V 是点集，E 是边集， n=|V| 表示图中点的数量，m=|E| 表示图中边的数量

Hamilton 通路：经过图 G 中每个节点一次且仅一次的通路称为 Hamilton 通路

Hamilton 回路：经过图 G 中每个节点一次且仅一次的回路称为 Hamilton 回路

Hamilton 图：存在 Hamilton 回路的图称为 Hamilton 图

Hamilton 通路问题转化为 Hamilton 回路问题：

一个可行的做法是枚举通路的起点和终点，添加一条边，转化为对应 Hamilton 回路问题

三、Hamilton 图的判定

充分条件：

定理：设 G=(V, E) 是具有 n 个节点的简单无向图（|V|=n），如果对于任意的两个不相邻的节点 u, v∈V，均有 deg(u)+deg(v)≥n-1，则 G 中一定存在 Hamilton 通路。

证明：

首先证明满足上述条件的图是一个联通图，然后用“延长通路法”找出一条 Hamilton 通路

（1）、反证法证明满足上述条件的图是一个连通图：

假设 G 有两个或者更多联通分支。设一个联通分支有 n1 个节点，另一个联通分支有 n2 个节点。这两个联通分支中分别有节点 v₁ 和节点 v₂。显然：deg(v₁)≤n1-1，deg(v₂)≤n2-1。从而：deg(v₁)+deg(v₂)≤n1+n2-2≤n-2，与已知条件"对于任意的两个不相邻的节点 u, v∈V，均有 deg(u)+deg(v)≥n-1"矛盾，故 G 是联通的

（2）、证明 G 中存在 Hamilton 通路

设 p=v₁v₂...v_k 为 G 中用“延长通路法”得到的“极大基本通路”，即 p 中的始点 v₁ 和终点 v_k 不与 p 外的节点相邻，显然 k≤n

　　（Ⅰ）、若 k=n，则 p 为 G 中经过所有节点的通路，即为 Hamilton 通路

　　（Ⅱ）、若 k<n，说明 G 中还存在 p 外的节点，但此时可以证明存在仅经过 p 上所有节点的基本回路，证明如下：

　　　　（a）、若在 p 上 v₁ 与 v_k 相邻，则 v₁v₂...v_kv₁ 为仅经过 p 上所有节点的基本回路

　　　　（b）、若在 p 上 v₁ 不与 v_k 相邻，假设 v₁ 在 p 上与 v_i=v₂,v_i2,v_i3，...，v_ij 相邻（j 必然大于等于 2，否则 deg(v₁)+deg(v_k)≤1+k-2<n-1），此时，v_k 必定与 v_i2,v_i3，...，v_ij 中相邻的节点 v_i2-1,v_i3-1，...，v_ij-1 至少一个相邻（否则 deg(v₁)+deg(v_k)≤j+k-2-(j-1)=k-1<n-1）。设 v_k 与 v_ir-1(2≤r≤j) 相邻，如下图所示：在 p 中添加边 (v₁, v_ir)，(v_k, v_ir-1)，删除边 (v_ir-1, v_ir) 得到基本回路：C=v₁v₂...v_ir-1v_kv_k-1...v_irv₁

（Ⅲ）、证明存在比 p 更长的通路

　　  　　因为 k<n，所以 V 中还有一些节点不在 C 中，由 G 的联通性可知，存在 C 外的节点与 C 上的节点相邻，不妨设 v_k+1∈V-V(C)，且与 C 上的节点 v_t 相邻，在 C 中删除边 (v_t-1, v_t)，添加边 (v_t, v_k+1) 从而得到通路 p'=v_t-1...v₁v_ir...v_kv_ir-1...v_tv_k+1，如下图所示，显然，p‘ 比 p 长 1，且 p’ 上有 k+1 个不同的节点。

对 p‘ 重复 （Ⅰ）~（Ⅲ），得到 G 中 Hamilton 通路或比 p’ 更长的基本通路，由于 G 中节点数目有限，故在有限步内一定能得到 G 中一条 Hamilton 通路。

推论2.1：设 G=(V, E) 是具有 n 个节点的简单无向图，如果对于任意两个不相邻的节点 u, v∈V，均有 deg(u)+deg(v)≥n，则 G 中一定存在 Hamilton 回路

需要指出的是，推论2.1就是著名的 Ore 定理

 推论2.2：设 G=(V, E) 是具有 n 个节点的简单无向图，n≥3，如果对于任意的 u∈V，均有 deg(v)≥n/2，则 G 是 Hamilton 图。