[论文解读] On a certain representation of the chromatic polynomial

Yu. V. Matiyasevich|ArXiv.org|Mar 6, 2009

Graph theory and applications参考文献 3被引用 3

一句话总结

本文通过图G的边子图H上的流多项式F(H,k)，提出了一种色多项式C(G,k)的新表示，建立了色多项式与流多项式之间深刻的代数联系。关键结果是一个精确公式，将C(G,k)表示为子图H的加权和，其中系数包含F(H,k)和(1−k)的幂次，通过平面图的几何对偶性及对偶图的色多项式，揭示了其中的对偶性。

ABSTRACT

The representation is essentially the same as that given by J.P.Nagle in J. Comb. Theory (B), 1971, 10:1, 42--59. The distinction is in the definition of the weighting function via the number of flows. This new definition allows one to deduce a number of corollaries, in particular, the following. A) The chromatic polynomial of a connected planar graph G can be uniquely determined from its combinatory dual graph G^* (although the graph G itself isn't, in general, determined uniquely by G^*). B) If a planar graph G is different from the full graph K_3 and has exactly one (up to renaming of colors) proper coloring of vertices in three colors, then the graph G^* dual to graph G is also vertex colorable in three colors.

研究动机与目标

• 通过图G的边子图H上的流多项式F(H,k)，建立色多项式C(G,k)的新代数表示。
• 阐明先前工作中引入的权函数w(H,k)与流多项式等标准图论不变量之间的关系。
• 展示该表示如何简化色多项式的计算，特别是在平面图中的应用。
• 通过流多项式揭示平面图与其几何对偶图之间色多项式的对偶性。

提出的方法

• 本文推导出色多项式C(G,k)的新公式，表示为对所有边子图H ≤ G的求和，权重为F(H,k)/(1−k)^m(H)，并按(k−1)^m(G)/k^{m(G)−n(G)}进行缩放。
• 证明了先前工作中引入的权函数w(H,k)满足w(H,k) = k^{m(H)−n(H)} F(H,k)，从而将其与流多项式联系起来。
• 对于平面图，本文利用几何对偶性证明F(H,k) = C(H*,k)/k，其中H*是H的对偶图，从而得到C(G,k)的对偶表示形式。
• 建立了当m(G) > 1时模(k−1)^2的同余关系，即C(G,k) ≡ (−1)^m C(G*,k) mod (k−1)^2。
• 证明依赖于在环R_k上的代数结构，通过双射关系将着色与对偶图上的平衡流对应起来。
• 利用欧拉公式与边对偶性，将子图H ≤ G映射到对偶图G*中的收缩图L ≼ G*，从而实现公式两种形式之间的变换。

实验结果

研究问题

• RQ1 色多项式如何用子图的流多项式表示？
• RQ2 权函数w(H,k)与流多项式F(H,k)之间的精确代数关系是什么？
• RQ3 平面图的色多项式与其对偶图的色多项式有何关系？
• RQ4 能否通过此表示在模(k−1)^2下简化色多项式？
• RQ5 图的哪些结构特性（如是否存在桥边）会影响权函数w(H,k)的行为？

主要发现

• 色多项式C(G,k)被精确表示为C(G,k) = (k−1)^m(G)/k^{m(G)−n(G)} × ∑_{H≤G} F(H,k)/(1−k)^m(H)，建立了色多项式与流多项式之间的直接联系。
• 先前工作中引入的权函数w(H,k)满足w(H,k) = k^{m(H)−n(H)} F(H,k)，从而解释了其已知性质，如在含桥边的图上为零。
• 对于平面图，该公式转化为C(G,k) = (k−1)^m(G)/k^{m(G)−n(G)+1} × ∑_{H≤G} C(H*,k)/(1−k)^m(H)，揭示了G与其对偶图G*之间的对偶性。
• 当m(G) > 1时，有C(G,k) ≡ (−1)^m C(G*,k) mod (k−1)^2，表明对偶图的色多项式之间存在强同余关系。
• 该结果意味着：若一个平面图G恰好有一个（在重命名意义下）合法的3-着色，则其对偶图G*也是3-可着色的，此结论可通过代入k=3得到验证。
• G*的合法着色与G上的平衡流之间存在双射关系（相差一个因子k），该双射通过边的对偶定向与生成树构造而成。