已知哈密顿回路问题对无向图是NP完全的,证明哈密顿回路问题对于有向图也是NP完全的。
哈密顿图(哈密尔顿图)(英语:Hamiltonian graph,或Traceable graph)是一个无向图,由天文学家哈密顿提出,由指定的起点前往指定的终点,途中经过所有其他节点且只经过一次。
我的想法:
第一步:
已知哈密顿回路问题对无向图是NP完全的,那可以说明对应的有向图也NP的。
那么对应的有向哈密顿通路问题也是NP完全的。指定起点或终点,或同时指定起点和终点也还是NP完全的。对于无圈有向图,有向哈密顿通路能在多项式时间内得到解决。
第二步:证明无向问题可以在多项式时间归约到有向图,
疑问:具体应该如何规约,是需要构建一个界限吗和含权图G?
由于多项式问题具有传递性,因此只需证明一个已知的NP完全问题能够在多项式时间内归约到该问题即可。
https://zhuanlan.zhihu.com/p/146951959
在图中找出一条包含所有结点的闭路,并且,出来起点和重点重合外,这条闭路所含结点是互不相同的 可以在多项式时间类判断一个回路是否是哈密顿回路 但目前没有算法直接解出哈密顿回路