Dado un grafo G y un entero k, ¿es posible encontrar un subgrafo de G completo de tamaño k?