[论文解读] Equitable chromatic threshold of Kronecker products of complete graphs

Zhidan Yan, Wei Wang|arXiv (Cornell University)|Aug 4, 2012

Advanced Graph Theory Research参考文献 8被引用 3

一句话总结

本文确定了完全图 $K_m$ 与 $K_n$ 的克罗内克积 $K_m \times K_n$（其中 $n \geq m \geq 2$）的公平染色阈值 $χ_=^*(K_m \times K_n)$。研究基于 $n$ 对 $m+1$ 取模的余数，给出了闭式表达式，区分了 $n \equiv 0,1 \pmod{m+1}$ 与 $n \equiv 2,\dots,m \pmod{m+1}$ 两种情形，阈值分别为 $\lceil \frac{mn}{m+1} \rceil$ 或 $m\lceil \frac{n}{s^*} \rceil$，其中 $s^*$ 是不小于 $m+2$ 的 $n$ 的最小正因子。该结果完整刻画了这些图积的公平可染色性阈值。

ABSTRACT

A proper vertex coloring of a graph is equitable if the sizes of color classes differ by at most 1. The equitable chromatic threshold of a graph $G$, denoted by $χ_=^*(G)$, is the minimum $k$ such that $G$ is equitably $k^\prime$-colorable for all $k^\prime \ge k$. Let $G imes H$ denote the direct product of graphs $G$ and $H$. For $n\ge m\ge 2$ we prove that $χ_=^*(K_{m} imes K_n)$ equals $\lceil\frac{mn}{m+1} ceil$ if $n\equiv 2,...,m ( extup{mod} m+1)$, and equals $m\lceil\frac{n}{s^\star} ceil$ if $n\equiv 0,1 ( extup{mod} m+1)$, where $s^\star$ is the minimum positive integer such that $s^\star mid n$ and $s^\star\ge m+2.$

研究动机与目标

• 确定当 $n \geq m \geq 2$ 时，完全图克罗内克积 $K_m \times K_n$ 的公平染色阈值 $\chi_=^*(K_m \times K_n)$。
• 刻画使得 $K_m \times K_n$ 对所有 $k' \geq k$ 均为公平 $k'$-可染色的最小 $k$。
• 在 $n$ 对 $m+1$ 取模的不同条件下，特别是区分 $n \equiv 0,1 \pmod{m+1}$ 与 $n \equiv 2,\dots,m \pmod{m+1}$ 的情形，解析其阈值行为。
• 引入并运用参数 $s^*$（即 $n$ 的不小于 $m+2$ 的最小正因子），以确定特定余数类下的阈值公式。

提出的方法

• 作者分析了克罗内克积 $K_m \times K_n$ 的结构，其包含 $mn$ 个顶点，且为 $(m-1)(n-1)$-正则图。
• 基于公平染色约束，采用组合论证，确保各颜色类的大小最多相差一个。
• 通过考察使 $mn$ 个顶点可被划分为 $k$ 个大小至多为 $\lceil \frac{mn}{k} \rceil$ 的颜色类、且最大类大小最小化的最小 $k$，推导出阈值。
• 对于 $n \equiv 2,\dots,m \pmod{m+1}$ 的情形，通过限制最大颜色类的大小，证明阈值为 $\lceil \frac{mn}{m+1} \rceil$。
• 对于 $n \equiv 0,1 \pmod{m+1}$ 的情形，利用 $n$ 的最小因子 $s^*$ 满足 $s^* \geq m+2$，得出阈值为 $m \lceil \frac{n}{s^*} \rceil$。
• 证明过程基于模运算和因子性质进行分类讨论，以确保从阈值开始，公平染色是可实现的。

实验结果

研究问题

• RQ1 当 $n \geq m \geq 2$ 时，$K_m \times K_n$ 的公平染色阈值 $\chi_=^*(K_m \times K_n)$ 是什么？
• RQ2 该阈值如何依赖于 $n$ 对 $m+1$ 取模的余数，特别是如何区分 $n \equiv 0,1 \pmod{m+1}$ 与 $n \equiv 2,\dots,m \pmod{m+1}$ 的情形？
• RQ3 为何参数 $s^*$（即 $n$ 的不小于 $m+2$ 的最小正因子）在确定 $n \equiv 0,1 \pmod{m+1}$ 情形下的阈值时至关重要？
• RQ4 对于所有 $n \geq m \geq 2$，是否能以闭式表达公平染色阈值？
• RQ5 当 $n \equiv 2,\dots,m \pmod{m+1}$ 时，阈值 $\lceil \frac{mn}{m+1} \rceil$ 是否对公平 $k'$-可染色性既充分又必要？

主要发现

• 当 $n \equiv 2,\dots,m \pmod{m+1}$ 时，公平染色阈值 $\chi_=^*(K_m \times K_n)$ 为 $\lceil \frac{mn}{m+1} \rceil$。
• 当 $n \equiv 0,1 \pmod{m+1}$ 时，阈值为 $m \lceil \frac{n}{s^*} \rceil$，其中 $s^*$ 是满足 $s^* \geq m+2$ 的 $n$ 的最小正因子。
• 该阈值恒为整数，且是使得 $K_m \times K_n$ 对所有 $k' \geq k$ 均为公平 $k'$-可染色的最小 $k$。
• 阈值表达式对 $n$ 模 $m+1$ 的同余类极为敏感，表明其可染色行为存在结构性的相变。
• 在 $n \equiv 0,1 \pmod{m+1}$ 情形下，$s^*$ 确保了在公平约束下颜色类大小保持均衡。
• 本研究完整刻画了所有满足 $n \geq m \geq 2$ 的 $K_m \times K_n$ 的公平染色阈值，解决了公平染色图积领域的一个开放问题。