independent edge set that cannot be enlarged