个性化阅读
专注于IT技术分析

最大团问题

证明:-Clique是否是NPC?

为此, 你必须满足以下几点:-

  1. clique
  2. 3CNF≤ρclique
  3. clique≤ρ3CNF≤SAT
  4. cliqueϵNP

1)clique

定义:-在“群体”中, 每个顶点都直接连接到另一个顶点, 并且“群体”中的顶点数量代表“群体”的大小。

CLIQUE COVER:-给定一个图G和一个整数k, 我们能否找到顶点V1, V2 … VK的k个子集, 使得UiVi = V, 并且每个Vi是G的一个集团。

下图显示了一个图形, 其大小为3。

最大团问题

2)3CNF≤ρclique

证明:-要成功地从3CNF转换为Clique, 你必须遵循以下两个步骤:-

以顶点的形式绘制子句, 每个顶点代表子句的文字。

  1. 他们不相辅相成
  2. 它们不属于同一子句。在转换中, Clique的大小和3CNF的大小必须相同, 并且你已在多项式时间内成功将3CNF转换为Clique

clique≤ρ3CNF

证明:-如你所知, 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输出已验证

4)单击ϵ NP:-

证明:-如你所知, 你可以通过3CNF获得集团, 并将基于决策的NP问题转换为3CNF, 你必须首先转换为SAT, 而SAT来自NP。

因此, 得出CLIQUE属于NP的结论。

NPC证明:

  1. 在从3CNF到Clique的多项式时间内实现的约简
  2. 并验证了从Clique还原到3CNF以上后的输出, 因此得出结论, 如果还原和验证都可以在多项式时间内完成, 这意味着Clique在NPC中也是如此。
赞(0)
未经允许不得转载:srcmini » 最大团问题

评论 抢沙发

评论前必须登录!