is_independent_set
is_k_independent_set
max_k_independent_set
max_independent_set
independence_number
k_independence_number