一、六个基本的NPC问题 三维匹配问题(3DM)顶点覆盖问题（VC）团的问题 哈密顿回路(HC)均分问题 二、基本NP完全问题的证明 三、NP完全问题的证明方法 一、六个基本NP完全问题3SAT 实例:有穷布尔变量集U和U上的子句集C={c1,c2,...,cm},其中|ci|=3,1im.问:对于U是否存在满足C中所有子句的真值...
库克在1971年证明了命题逻辑的可满足问题(Satisfiability,SAT)是NP完全的,这是第一个NP完全问题。这个证明现在有标准的教科书式呈现方式,基本思路是:首先证明SAT属于NP类,这很简单,只要能够说明任何SAT问题是多项式可验证就可以了。另一方面比较难:要证明所有的NP问题都可以归约到SAT。库克的办法是用命题逻辑来描述非...
如图1,在正方形ABCD中,P是对角线BD上的一点,点E在AD的延长线上,且PA=PE,PE交CD于F.(1)证明:PC=PE;(2)求∠CPE的度数;(3)如图2,把正方形ABCD改为菱形ABCD,其他条件不变,当∠ABC=120°时,连接CE,试探究线段AP与线段CE的数量关系,并说明理由. ...