_11和formula_7满足如下关系：formula_14色数和独立数（independence number）独立集（）是一个图中两两不相邻的顶点所构成的集合。最大独立集是一个图中顶点最多的独立集，它的定点数被称为formula_10的独立数，记为formula_16。formula_16和formula_7满足如下关系：formula_19
色多项式.色多项式（）是将一个图"G"进行t-着色的方法数，记作"P"("G", "t")。"P"("G", "t")是