POJ-2438 哈密顿环 哈密瓜很甜

无向图经过所有的节点一次且仅一次：哈密瓜路径

无向图经过所有的边一次且仅一次：欧拉路径

带权哈密顿路径就是旅行商问题。

参考博客：https://blog.csdn.net/zhouzi2018/article/details/81278942

过程:

1:任意找两个相邻的节点S和T,在其基础上扩展出一条尽量长的没有重复结点的路径.即如果S与结点v相邻,而且v不在路径S -> T上,则可以把该路径变成v -> S -> T,然后v成为新的S.从S和T分别向两头扩展,直到无法继续扩展为止,即所有与S或T相邻的节点都在路径S -> T上.

2:若S与T相邻,则路径S -> T形成了一个回路.

3:若S与T不相邻,可以构造出来一个回路.设路径S -> T上有k+2个节点,依次为S, v1, v2, ..., vk, T.可以证明存在节点vi(i属于[1, k]),满足vi与T相邻,且vi+1与S相邻.找到这个节点vi,把原路径变成S -> vi -> T -> vi+1 ,即形成了一个回路.

4:到此为止,已经构造出来了一个没有重复节点的的回路,如果其长度为N,则哈密顿回路就找到了.如果回路的长度小于N,由于整个图是连通的,所以在该回路上,一定存在一点与回路之外的点相邻.那么从该点处把回路断开,就变回了一条路径,同时还可以将与之相邻的点加入路径.再按照步骤1的方法尽量扩展路径,则一定有新的节点被加进来.接着回到路径2.

证明:

跟据鸽巢定理，既然与S和T相邻的点都在路径上，它们分布的范围只有v1,v2---,vk这k个点，k<=N-2，跟据哈密顿回路的第一个判断条件，d(S)+d(T)>=N，那么v1,v2,---vk这k个点中一定