Christoph Lenzen, PODC 2011. What is a Maximal Independet Set (MIS)? inaugmentable set of non-adjacent nodes well-known symmetry breaking structure many.