Abstract
Deciding if a graph is a Hamilton graph, also named the Hamilton cycle problem, is important for discrete mathematics and computer science. Due to no characterization to identify Hamilton graphs effectively, there are no tractable algorithms to solve the Hamilton cycle problem. Grinberg Theorem is a necessary condition only for planar Hamilton graphs. In this paper, based on new studies on the Grinberg Theorem, in which we provided new properties of Hamilton graphs with respect to the cycle bases and improved the Grinberg Theorem to derive an efficient condition for Hamilton graphs, we present a new precise algorithm for deciding Hamilton graphs, named the '1+1' algorithm. Theoretically, the '1+1' algorithm terminates in $O(|E(G)|^3)$ worst time complexity, where $|\textit{E}(\textit{G})|$ is the size of the given graph $\textit{G}$.
本页仅发布可检索的书目信息与作者摘要。HTML 正文、PDF 和 LaTeX 源文件是独立阅读资源，不作为搜索引擎落地内容。打开页面后会按浏览器语言自动翻译标题与摘要，并写入缓存。