在代数图论中，色多项式是乔治·戴维·伯克霍夫为了尝试证明四色定理而定义的一种多项式。色多项式formula_1的值是在图formula_2中顶点的不同的formula_3-着色数目，是关于formula_3的多项式。例如当图formula_2为一点时，formula_6。
性质.给定formula_7阶图formula_2，色多项式formula_9是关于formula_3的多项式，且满足以下性质：特别的，设formula_2有formula_18个连通分量，分别为for