changed clique_covering_number algorithm