利用自动机理论研究有向哈密顿回路问题，提出一个多项式复杂度的算法验证有向哈密顿回路问题的一个充分条件.更具体地说，将有向图建模为一个自动机，并在自动机的基础上形式化了哈密顿图的相关概念，然后提出了一个多项式复杂度的算法，检验一个自动机标记的语言的子集是否满足真子集的一个充分条件.在该算法的基础上，提出了一个多项式复杂度的算法检验哈密顿图的一个充分条件并找出相应的哈密顿回路.特别地，给出了一个判断有向图是否是哈密顿图的充分条件和一个判断有向图中的一条回路是否是哈密顿回路的充分条件.
科研之友
微信
新浪微博
Facebook
分享链接
