Independence Number

Keyword: StabNum

The independence number of a graph G is the maximum cardinality of an independent set in G.