CLIQUE 问题——在图中找到最大团的问题是 NP 完全的。也就是说，CLIQUE 是
a.) 在 NP 和 b.) 中存在一个 NP 完全问题，一个 3-SAT，在多项式时间内简化为 CLIQUE。
上面的（b）部分很好——在每一个资源中都有，而且解释得很好。对于 (a) 部分，据我所知，我们需要具备以下条件：给定一个特定的解决方案实例，我们需要证明可以在多项式时间内验证该解决方案是该问题的答案。因此，例如，给定一个特定的图和它的子图，我们应该能够检查该子图是否是该图中最大尺寸的集团。
到目前为止，我阅读的资源将这部分 (a) 表述为“简单、直接等”或“可以在 O(n^2) 时间内显示给定子图是一个集团/不是”。但是，这里的验证不仅仅是它是否是一个团，而是它是否是图中的一个最大团。这如何在多项式时间内决定？
我在这里想念什么？