Maximum independent set problem