Definition, synonyms and related words
the number of vertices in a maximum independent set of a given graph, often denoted as ๐ผ=๐ผ(G)