决策问题：对于给定的图表G和数字＆＃39; a＆＃39;，＆＃39; b＆＃39;需要回答是否有一组＆＃39; a＆＃39;具有至少＆＃39; b＆＃39;的累积邻域大小的顶点。我们如何证明这个问题是NPC？
答案 0 :(得分：1)
我认为如果你能在多项式时间内解决这个问题，你可以在多项式时间内解决https://en.wikipedia.org/wiki/Maximum_cut。根据该文章，Max-Cut中的决策问题是“给定图G和整数k，确定G中是否存在至少k的切割大小”。
考虑到解决问题的a / b版本的问题，我会通过设置b = k并尝试a = 1,2,3..size图来解决Max-Cut版本，这仍然会有成本多项式输入大小。 （或者可能b = k + a取决于你所说的邻域大小的细节）。
（所以是的，我认为你的问题是NP完全的。）