图的色多项式

色多项式 \(P(G, t)\) 的值是在图 \(G\) 中顶点的不同的 \(t\) 着色数目，是关于 \(t\) 的多项式.

特殊图的色多项式

当 \(\mathrm{card}(V) = 1\) 时，\(P(G, t) = t\).

当 \(G\) 为一条链时，\(P(G, t) = t \cdot (t-1)^{\mathrm{card}(V(G))-1}\).

当 \(G\) 为完全图时，\(P(G, t) = A_t^{t-\mathrm{card}(V(G))}\).

一般图的色多项式

给定图 \(G\) 与 \(e \in E(G)\)，则 \(P(G, t) = P(G - e, t) - P(G / e, t)\).

其中 \(G / e\) 表示合并 \(e\) 连接的两个顶点.

证明

设 \(e = (u, v)\)，考虑图 \(G - e\)：

• 当 \(u\) 和 \(v\) 异色时，此时的着色方案也是图 \(G\) 的一种合法的着色方案，反之亦然.

• 当 \(u\) 和 \(v\) 同色时，此时的着色方案也是图 \(G / e\) 的一种合法的着色方案，反之亦然.

即 \(P(G - e, t) = P(G, t) + P(G / e, t)\)，移项后即为上式，\(\mathrm{Q.E.D}\).

标签：方案,多项式,着色,反之亦然,card,mathrm
来源： https://www.cnblogs.com/johnsmith0x3f/p/16310784.html