Una vez que tenemos k o más vértices que forman un clique, es trivial verificar que lo son, por eso es un problema NP.