独立数有界图中的哈密顿路径与哈密顿回路可在多项式时间内求解

Hamiltonian path and Hamiltonian cycle are solvable in polynomial time in graphs of bounded independence number

摘要 Abstract

图中的一条哈密顿路径(一个哈密顿回路)是指一条经过所有顶点的路径(一个闭合路径,分别对应)。判定输入图中是否存在哈密顿路径或哈密顿回路的问题是众所周知的NP完全问题,在NP完备理论发展初期就被证明为计算困难的经典问题之一。许多研究集中于特殊图类上的哈密顿路径和哈密顿回路问题的复杂性,但已知的肯定结果寥寥无几。即使对于独立数不超过3的$4K_1$-free图,这两个问题的复杂性仍然是开放的。我们在独立数有界的图的一般框架下回答了这个问题。我们还考虑了一个新引入的问题称为“哈密顿-$\ell$-链式连接”,它与图中的路径覆盖和连通性概念相关。该问题询问在输入图中给定的$\ell$对顶点是否可以通过不相交的路径连接起来,并且这些路径共同遍历图的所有顶点。当$\ell=1$时,哈密顿-1-链式连接问题即为寻找给定一对顶点之间的哈密顿路径问题。我们的主要结果表明,对于任意整数$k$和$\ell$,当图的独立数不超过$k$时,哈密顿-$\ell$-链式连接问题是可以在多项式时间内求解的。

A Hamiltonian path (a Hamiltonian cycle) in a graph is a path (a cycle, respectively) that traverses all of its vertices. The problems of deciding their existence in an input graph are well-known to be NP-complete, in fact, they belong to the first problems shown to be computationally hard when the theory of NP-completeness was being developed. A lot of research has been devoted to the complexity of Hamiltonian path and Hamiltonian cycle problems for special graph classes, yet only a handful of positive results are known. The complexities of both of these problems have been open even for $4K_1$-free graphs, i.e., graphs of independence number at most $3$. We answer this question in the general setting of graphs of bounded independence number. We also consider a newly introduced problem called \emph{Hamiltonian-$\ell$-Linkage} which is related to the notions of a path cover and of a linkage in a graph. This problem asks if given $\ell$ pairs of vertices in an input graph can be connected by disjoint paths that altogether traverse all vertices of the graph. For $\ell=1$, Hamiltonian-1-Linkage asks for existence of a Hamiltonian path connecting a given pair of vertices. Our main result reads that for every pair of integers $k$ and $\ell$, the Hamiltonian-$\ell$-Linkage problem is polynomial time solvable for graphs of independence number not exceeding $k$.