[论文解读] Partial Chromatic Polynomials and Diagonally Distinct Sudoku Squares

Füsun Akman|ArXiv.org|Apr 2, 2008

graph theory and CDMA systems参考文献 1被引用 4

一句话总结

本文提出了一种图的部分色多项式的新型证明，表明使用 λ 种颜色完成部分正常着色的方式数是一个首一多项式，其次数为 n−t，其中 t 为预先着色的顶点数。此外，本文通过循环构造方法证明了对所有 n，均存在 n²×n² 的数独方阵，其主对角线和反对角线上所有元素互不相同，且该方法确保了行、列、宫块及对角线的唯一性。

ABSTRACT

Sudoku grids can be thought of as graphs where the vertices are the squares of the grid, and edges join vertices in the same row, column, or sub-grid. A Sudoku puzzle corresponds to a partial proper coloring of the Sudoku graph. We provide a new and simpler proof of the theorem which states that the number of completions of partial colorings of a graph is a polynomial in the number of colors (originally due to Herzberg and Murty). Moreover, we construct Sudoku squares of arbitrary size with distinct entries on both diagonals (a similar proof was first published by Keedwell, unknown to the author).

研究动机与目标

• 提供部分色多项式为首一多项式性质的替代证明，且不依赖于边收缩或莫比乌斯反演。
• 证明在标准的行、列和宫块约束之外，存在 n²×n² 数独方阵，其主对角线和反对角线上所有元素互不相同。
• 通过应用于块内元素的循环置换方法，构造出具有对角线元素互异的此类数独方阵。
• 通过更正与优化，澄清术语并提升部分色多项式证明的清晰度。
• 确立该构造对所有正整数 n 均产生满足完整对角线互异性的有效数独解。

提出的方法

• 使用一般正常着色的概念——将顶点划分为独立集——通过按独立集数量递增的方式对所有着色进行求和，推导出部分色多项式。
• 将完成方式的数量表示为求和形式：p_G,C(λ) = Σ_r=0^{n−t} m_r(G,C) ⋅ (λ−λ₀)⋯(λ−λ₀−r+1)，其中 m_r 表示使用 λ₀ + r 个集合的一致一般着色方式数。
• 证明最高次项（r = n−t）为首一多项式，因为每个未着色顶点自身构成一个独立集。
• 通过定义 (i,j)-块中的条目为 a([r−i+j], [c+i−1])，利用模 n 的最小正剩余，构造对角线元素互异的数独方阵。
• 在块之间应用循环行移位和列偏移，以保持行、列和宫块的唯一性，同时确保对角线元素互异。
• 通过证明相等值意味着索引完全相同，从而验证行、列、宫块及两条对角线中条目的单射性，进而证明其互异性。

实验结果

研究问题

• RQ1 图的部分 λ-着色的完成方式数是否为 λ 的多项式？若是，其次数和首项系数为何？
• RQ2 能否构造一个 n²×n² 的数独方阵，使其主对角线和反对角线上所有元素互不相同，且满足标准的行、列和宫块约束？
• RQ3 是否存在一种系统性构造方法，可保证对所有 n 的数独方阵中对角线元素互异？
• RQ4 与早期构造方法（如 Keedwell 的方法）相比，该方法在结构和有效性方面有何异同？
• RQ5 该构造对数独图的色多项式及相关组合不变量有何影响？

主要发现

• 使用 λ 种颜色完成部分正常着色的方式数是一个首一多项式，其次数为 n−t，其中 t 为预先着色的顶点数。
• 部分色多项式表示为按独立集数量递增的一般着色方式的求和，其系数表示一致着色方式的数量。
• 通过行的循环移位和列偏移的构造方法，确保了行、列、宫块及两条对角线中所有条目互不相同。
• 对于主对角线，互异性由条件 [r−i+i] = [r′−i′+i′] ⇒ r=r′ 且 i=i′ 推出，该条件在模运算下成立。
• 对于反对角线，通过 [r−2i] = [r′−2i′] 和 [−r+i] = [−r′+i′] 推出 r=r′ 且 i=i′，在模运算约束下成立，从而证明互异性。
• 该构造对所有正整数 n 均产生具有对角线元素互异性的有效 n²×n² 数独方阵，从而证实了其存在性。