The maximum clique problem