into cliques）是问一个图里面的所有点可否分成"k"个分团。一旦给定了这个图该怎么分成"k"个分团，我们可以在多项式时间里面检证这个答案是否正确，因此我们可以知道这个问题属于NP。分团覆盖问题是NP完全这件事情，可以借由将此问题从"k"-图着色问题（GRAPH "k"-COLOURABILITY）归约出来而得证。要推出这个结果，首先我们将一个"k"-图着色问题的输入图"G"转成其补图"G"'。那么，求出"G' "怎么分出"k"个分团这问题就等同于求出"G"怎么分出"k"个独立集；我们能将每个