哈密顿路径
定义
结果
由于确定是否存在哈密顿路径的问题与其他非常困难的问题是等价的,因此,期望这样一条路径的存在有简单的充要条件就太过分了。直观地说,如果相对于顶点的数量有“足够多”的边,那么就应该存在哈密顿路径,因此许多充分条件给出了边的数量的下界。但它们不是必要的:将会有一些具有哈密顿路径或循环的图的例子,它们位于这些条件的边界之外。
一个简单的图是这样一个图:任意两个不同的顶点之间最多只有一条边,并且没有循环(开始和结束于同一顶点的边)。
的关闭一个图的 顶点是这样得到的:找到一对顶点之间没有边,使得它们的度数和至少为 .在它们之间画一条边。继续下去,直到找不到更多这样的对为止。(练习:表明无论以何种顺序选择哪些对,该过程都会产生相同的图形。)
狄拉克,1952:上的一个简单图(任意顶点对之间没有多条边,且没有以同一顶点开始和结束的边) 如果每个顶点至少有度,则顶点具有哈密顿循环 .
矿石,1960:一幅关于 具有任意两个不相邻顶点的度数之和属性的顶点 有一个哈密顿循环。
Bondy-Chvatal, 1972:一个图具有哈密顿循环当且仅当它的闭包具有哈密顿循环。
注意邦迪- chvatal暗示了Ore,因为Ore定理中图的闭包是完全图 每对顶点都由一条边连接,当然,完整的图形 顶点有一个哈密顿循环。
Ore意味着狄拉克,因为如果每个顶点都至少有度 ,则任意两个不相邻顶点的度之和为 .
这些定理没有一个适用于,例如,循环 在 顶点,每个顶点都有度数 和关闭 = :