add MaximumIndependentSet