Independence number (source code)

= Independence number
{title2=$\alpha(G)$}
{wiki}

The independence number is the largest cardinality of an <independent set> in a graph. Since every colour class is independent,
$$
\chi(G)\geq\frac{|V(G)|}{\alpha(G)}.
$$