clique vertex cover