CLIQUE问题 - 找到问题的问题 图中的最大团是NP完全的。 也就是说，CLIQUE是
a。）在NP和 b。）有一个NP完全问题，一个3-SAT， 在多项式时间内减少到CLIQUE。
上面的（b）部分很好 - 在每一个资源中都是如此，并且很好地解释了。 对于（a）部分，据我所知，我们需要具备以下条件： 给定一个特定的解决方案实例，我们需要证明这一点 可以在多项式时间内验证该解决方案是该问题的答案。 例如，给定一个特定的图形和它的子图，我们应该 能够检查该子图是否是该图中最大尺寸的集团。
到目前为止我读过的资源都是这样说的 （a）部分为“简单，直截了当”等 “它可以在O（n ^ 2）时间内显示给定的子图是一个集团/不是”。 然而，这里的验证不仅仅是它是否是一个集团，而且还在于它是否是图中的最大集团。 如何在多项式时间内决定？
我在这里缺少什么？
答案 0 :(得分：0)
您将问题的优化版与问题的决策版混淆。
clique的决定版本询问图表是否有大小为k的集团。给定候选解，您可以在多项式时间内测试其可行性。关注NP完整性证明的决策版本。
优化问题的最优化证书确实难以获得。