📅  最后修改于: 2020-12-11 01:35:56             🧑  作者: Mango
证明: -Clique是否是NPC?
为此,您必须满足以下几点:-
定义: -在“群体”中,每个顶点都直接连接到另一个顶点,并且“群体”中的顶点数量代表“群体”的大小。
CLIQUE COVER: -给定一个图G和一个整数k,我们可以找到k个顶点的子集V 1 ,V 2 … V K ,使得UiVi = V,并且每个Vi都是G的集团。
下图显示了一个图形,其大小为3。
证明: -要成功地从3CNF转换为Clique,您必须遵循以下两个步骤:-
以顶点的形式绘制子句,每个顶点表示子句的字面量。
证明: -如您所知,K子句的函数必须存在大小为k的集团。这意味着来自不同子句的P个变量可以分配相同的值(例如为1)。通过使用CLIQUES的所有变量的这些值,你可以在函数的每个条款的值等于1
示例: -在3CNF中有一个布尔函数:-
(X + Y + Z)(X + Y + Z')(X + Y'+ Z)
从3CNF还原/转换为CLIQUE后,您将获得P变量,例如:-x + y = 1,x + z = 1和x = 1
将P变量的值放在方程式(i)中
(1 + 1 + 0)(1 + 0 + 0)(1 + 0 + 1)
(1)(1)(1)= 1输出已验证
证明: -如您所知,您可以通过3CNF获得集团,并将基于决策的NP问题转换为3CNF,您必须首先转换为SAT,而SAT来自NP。
因此,得出结论CLIQUE属于NP。
NPC证明: