Mycielski shadow vertex
ID: mycielski-shadow-vertex
A Mycielski shadow vertex has graph neighbourhood in . Its neighbours other than the Mycielski apex are original vertices. All Mycielski shadow vertices form an independent set.
New to topics? Read the docs here!