k-clique problem
is NP-complete