色多项式 \(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
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。