[論文レビュー] 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$-彩色可能で、閾値 $χ_=^*(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)$ により、色クラスのサイズが 1 以下にしかならないように保証する。
• 隣接する同じ色の頂点は距離 $\Delta(G)$ にしかありえないが、これは $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 積グラフの公平彩色閾値は、その因子の閾値によって抑えられるか（$\chi_=^*(G_1 \times G_2) \leq \max\{\chi_=^*(G_1), \chi_=^*(G_2)\}$ が成り立つか）？

主な発見

• すべての完全グラフでも奇数長のサイクルでも $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-彩色可能でないため、積において公平彩色可能性が単調でないことを示す。