【哈密顿圈问题】对于一个有向图G=(V,E),如果G中的圈C恰好经过每一个顶点一次，则称圈C是一个哈密顿圈。即，哈密顿圈构成一条经过所有的顶点，没有重复的“路线”。如图6是一个含有哈密顿圈的图。图6 一个含有哈密顿圈的有向图证明哈密顿圈问题是NPC的，可以通过证明3-SAT≤p\leq_p≤p哈密顿圈来得到。【3-SAT≤p\leq_p≤p哈密顿圈】构造方法如下:(1)对于每一个...
【哈密顿圈问题】
对于一个有向图G=(V,E),如果G中的圈C恰好经过每一个顶点一次，则称圈C是一个哈密顿圈。即，哈密顿圈构成一条经过所有的顶点，没有重复的“路线”。如图6是一个含有哈密顿圈的图。
图6 一个含有哈密顿圈的有向图
证明哈密顿圈问题是NPC的，可以通过证明3-SAT ≤ p \leq_p ≤p哈密顿圈来得到。
【3-SAT ≤ p \leq_p ≤p哈密顿圈】
构造方法如下:
(1)对于每一个变量 x i x_i xi,创建3m+3个顶点。命名为 v i , 1 , . . . , v i , 3 m + 3 v_{i,1},...,v_{i,3m+3} vi,1,...,vi,3m+3，并且对相邻的顶点，添加边( v i , j , v i , j + 1 v_{i,j},v_{i,j+1} vi,j,vi,j+1)和( v i , j + 1 , v i , j v_{i,j+1},v_{i,j} v
最低0.47元/天 解锁文章
658
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
