[论文解读] Equitable coloring of interval graphs and products of graphs

Bor-Liang Chen, Ko‐Wei Lih+1 more|ArXiv.org|Mar 8, 2009

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

一句话总结

本文證實了區間圖的公平 Δ-染色猜想，並確立了此類圖中公平可染色性的單調性。此外，本文推導出圖的平方與交叉積中公平可染色性的條件，證明完全二分圖如 $K_{n} \times K_{n,n-1}$ 是公平 $n$-可染色的，且其臨界值為 $\chi_=^*(G) = n$，並顯示一般而言，公平可染色性在圖的積運算下不被保持。

ABSTRACT

We confirm the equitable $Δ$-coloring conjecture for interval graphs and establish the monotonicity of equitable colorability for them. We further obtain results on equitable colorability about square (or Cartesian) and cross (or direct) products of graphs.

研究动机与目标

• 證實區間圖的公平 Δ-染色猜想，此為公平染色理論中長期未解的開門問題。
• 確立區間圖中公平可染色性的單調性，確保一旦在某個 $k$ 值下可公平染色，則對所有更大的 $\ell$ 值亦成立。
• 研究兩種圖積類型（平方（笛卡爾）與交叉（直積））的公平可染色性。
• 確立特定圖積（特別是 $K_n \times K_{n,n-1}$）的公平色譜臨界值 $\chi_=^*(G)$。
• 展示公平可染色性在一般情況下不具單調性，且兩個公平可染色圖的積未必是公平可染色的。

提出的方法

• 使用區間圖的團路表示法，定義滿足條件 (1) 的線性頂點排序：若 $u < v < w$ 且 $uw \in E(G)$，則 $uv \in E(G)$。
• 應用模數染色方案：$c(v_i) = i \mod \Delta(G)$，確保各顏色類的大小最多相差一。
• 證明若相鄰頂點具有相同顏色，則它們之間的距離必為 $\Delta(G)$，除非圖為完全圖，從而得出矛盾，進而證實非完全區間圖的猜想。
• 對於圖積，透過循環分割頂點陣列構造公平染色，移除大小為 $m+1$ 和 $m$ 的初始段以形成獨立集。
• 根據可除性條件（例如 $m-3$ 或 $n-3$ 可被 4 整除）進行情況分析，以定義具有平衡類大小的染色。
• 使用反證法證明 $K_n \times K_{n,n-1}$ 無法在 $k < n$ 時被公平 $k$-染色，方法是分析大小約束與組成結構。

实验结果

研究问题

• RQ1 區間圖是否成立公平 Δ-染色猜想？
• RQ2 區間圖的公平可染色性是否具有單調性（即若公平 $k$-可染色，則對所有 $\ell \geq k$ 亦公平 $\ell$-可染色）？
• RQ3 在何種條件下，兩個圖的平方或交叉積是公平可染色的？
• RQ4 $K_n \times K_{n,n-1}$ 的公平色譜臨界值 $\chi_=^*(G)$ 是多少？
• RQ5 是否可由因子的臨界值來界定積圖的公平色譜臨界值？

主要发现

• 公平 Δ-染色猜想對所有非完全圖、非奇圈、非 $K_{2m+1,2m+1}$ 的連通區間圖均成立。
• 區間圖的公平可染色性具有單調性：若圖 $G$ 是公平 $k$-可染色，則對所有 $\ell \geq k$ 均為公平 $\ell$-可染色。
• $K_n \times K_{n,n-1}$ 是公平 $n$-可染色，且其公平色譜臨界值為 $\chi_=^*(K_n \times K_{n,n-1}) = n$。
• 由於大小與組成結構的約束，$K_n \times K_{n,n-1}$ 無法對任何 $k < n$ 被公平 $k$-染色。
• 積圖的公平色譜臨界值未必滿足 $\chi_=^*(G_1 \times G_2) \leq \max\{\chi_=^*(G_1), \chi_=^*(G_2)\}$，如 $K_{3,2} \times K_{3,2}$ 的反例所示。
• 即使兩個因子均為公平 2-可染色，其交叉積 $K_{m,m-1} \times K_{n,n-1}$ 也未必是公平 2-可染色，顯示積運算下公平可染色性不具單調性。