摘要：
把哈密顿回路中的图改成有向图即为有向哈密顿回路 有向HC$\in$NP是显然的，只需证明$3SAT \in_p \text{有向}HC$ ###证明思路 任给变元$x_1,x_2...x_n$的三元合取范式$F = \and {1\le j\le m}C_j$，其中$C_j = z{j1}\or z 阅读全文
posted @ 2022-05-26 20:34
无证_骑士
阅读(978)
评论(0)
推荐(0)
摘要：
恰好覆盖定义：类似于集合的划分，互不相交子集的并集为全集 恰好覆盖问题：给定有穷集$A={a_1,a_2...a_n }$和A的子集的集合$W={S_1,...S_m }$，问是否存在子集$U\subset W$使得U中的子集都是不相交的且它们的并集等于A？ 例题3:恰好覆盖是NP完全的 显然 恰好 阅读全文
posted @ 2022-05-26 20:34
无证_骑士
阅读(668)
评论(0)
推荐(0)
摘要：
只需证明 \(3SAT \le _p VC\) 证明思路 任给3SAT的一个实例I(I由变元$x_1,...x_n$的3元合取范式$F=\and_{1\le j\le m} C_j$构成) 需要构造一个VC的实例$f(I)$(由一个无向图$G=<V,E>$和非负整数K构成) 要求：3元合取范式F是可 阅读全文
posted @ 2022-05-26 20:31
无证_骑士
阅读(511)
评论(0)
推荐(0)
浙公网安备 33010602011771号