在数学的图论领域中,哈密顿路径(或可追踪路径)是指一条在无向或有向图中,恰好拜访每个顶点一次的路径。哈密顿循环(或哈密顿回路)则是拜访每个顶点一次的循环路径。因此,周围围绕着哈密顿路径的探讨不仅对数学爱好者而言是谜团,同时也是资讯科学和计算理论中的一个重要课题,因为判断此类路径和循环的存在问题属于NP-完全问题,意即在合理的时间内无法解决。
哈密顿路径和循环之所以能引起人们的广泛关注,源于它们在实际应用中的重要性,例如在机器人导航、运输问题及电路设计中。
哈密顿路径的命名来源于威廉·罗文·哈密顿(William Rowan Hamilton),他发明的「icosian游戏」(现称哈密顿谜题)就是寻找在十二面体的边图中形成哈密顿循环的问题。虽然哈密顿使用icosian微积分解决了这一问题,但这一解法并无法将其推广至任意图的情况。其实,早在他的研究之前,还有很多数学家对哈密顿循环在多面体中的特性进行过研究。
凡是包含哈密顿路径的图被称为可追踪图。对于每一对点若存在哈密顿路径通过,则称该图为哈密顿连通图。而一个哈密顿循环能形成的环路,却仅能从相邻顶点之间延伸而成。
完整图(超过两个顶点)是一个必然包含哈密顿循环的图。每一个回路图也是哈密顿的。
具有哈密顿循环的图泛指哈密顿图,并且任何哈密顿循环皆可通过去掉一条边转换为哈密顿路径。但并不是所有的二重连通图都能保证一定是哈密顿的。自18世纪以来,哈密顿路径的相关研究便屡见不鲜,其中甚至可以追溯到印度数学的早期。
例如,在棋盘的骑士图中,骑士巡逻的问题早在9世纪的印度数学中便有探讨。随着时间的推移,这一概念在欧洲得到了进一步的发展,例如阿伯拉罕·德·莫夫(Abraham de Moivre)和莱昂哈德·欧拉(Leonhard Euler)都曾探讨过骑士巡逻的问题。
哈密顿循环的多样化,使得数学家们对其性质进行了更深入的研究,例如关于图密度、韧性及禁忌子图等。
在现今的研究中,Bondy–Chvátal定理提供了相对于哈密顿图的最佳顶点度特征,这使得多数哈密顿性的判断能够迅速进行。这些理论不仅限于随机判断,还与各种图的结构及特性密切相关,让我们能更清晰地理解在不同性质的图中,何种连通方式可实现哈密顿路径或回路的成立。
依据现有的研究,任何哈密顿图G的边的分解都有可能形成哈密顿循环。而一个实践上更受人瞩目的应用是哈密顿循环多项式,这是对哈密顿循环的加权导向图中所需的图描述,这一多项式若在特定情况下不恒为零,则可以推断此图为哈密顿的。
当哈密顿循环的存在与否成为探索的难点时,数学家们便开始思考更为高效的算法以解决此类问题。尽管目前在理论上已有不少成果,如何在实践中找到有效的哈密顿路径仍是一道悬而未决的谜题。
无论是数学还是其他应用领域,对于哈密顿路径及其存在的探讨仍在不断深化。这不但是数学上的挑战,也是推动计算机科学及逻辑思考进步的重要课题。您是否能在这些复杂的图中,找出那条隐藏的哈密顿路径呢?