[論文レビュー] Equitable chromatic threshold of complete multipartite graphs

Zhidan Yan, Wei Wang|arXiv (Cornell University)|Jul 16, 2012

Limits and Structures in Graph Theory参考文献 20被引用数 5

ひとこと要約

本稿では、完全多部グラフの公平彩色閾値を計算する閉形式の公式と線形時間アルゴリズムを確立し、その閾値が、少なくとも2つの部集合サイズを割り切らない最小の正の整数 $ h $ に対して、各部集合サイズを $ h $ で割った上側丸めの和に等しいことを証明している。ここで $ h $ は、ある $ i $ に対して $ n_i/(h+1) > \lfloor n_i/h \rfloor $ を満たす最小の整数としても定義される。この結果により、完全多部グラフにおける公平彩色閾値が、証明可能かつ最適な方法で解かれた。

ABSTRACT

A proper vertex coloring of a graph is equitable if the sizes of color classes differ by at most one. The equitable chromatic number of a graph $G$, denoted by $χ_=(G)$, is the minimum $k$ such that $G$ is equitably $k$-colorable. The equitable chromatic threshold of a graph $G$, denoted by $χ_=^*(G)$, is the minimum $t$ such that $G$ is equitably $k$-colorable for $k\ge t$. We develop a formula and a linear-time algorithm which compute the equitable chromatic threshold of an arbitrary complete multipartite graph.

研究の動機と目的

• 完全多部グラフ $ G = K_{n_1,n_2,\dots,n_l} $ における公平彩色閾値 $ \chi_{=}^{*}(G) $ を特定すること。これは、すべての $ k \geq t $ に対して $ G $ が公平に $ k $ 色で彩色可能となる最小の $ t $ である。
• 任意の完全多部グラフに対して $ \chi_{=}^{*}(G) $ を効率的に計算する多項式時間アルゴリズムを開発すること。
• 先行の未発表の結果を是正・拡張し、完全多部グラフにおける公平彩色閾値の正確な値を初めて公表された証明を提供することで、公平彩色分野の未解決問題を解決すること。

提案手法

• $ h $ を、少なくとも2つの部集合サイズ $ n_i $ を割り切らない最小の正の整数、または場合によってはある $ i $ に対して $ n_i/(h+1) > \lfloor n_i/h \rfloor $ を満たす最小の $ h $ として定義する。
• 整数分割理論を用いて公平彩色をモデル化する：各色クラスのサイズは $ \lfloor n/k \rfloor $ または $ \lceil n/k \rceil $ であり、サイズ $ \lceil n/k \rceil $ のクラスの数は剰余 $ r = n \mod k $ によって決定される。
• 公平彩色閾値が $ \chi_{=}^{*}(K_{n_1,\dots,n_l}) = \sum_{i=1}^l \lceil n_i / h \rceil $ に等しいことを確立し、ここで $ h $ は3段階の反復アルゴリズムによって計算される。
• 背理法を用いて閾値が最小であることを証明する：$ k = \sum \lceil n_i/h \rceil - 1 $ と仮定すると、すべての $ n_i $ に対して有効な $ q $-分割が存在しないことの矛盾が生じる。これは、最大および最小の $ q $-分割の性質を用いる。
• 部集合サイズをスキャンし、停止条件を満たすまで $ h $ を段階的に増加させる線形時間アルゴリズムを実装し、効率性を保証する。
• 特に、補題2.1（$ q $-分割の非存在に関する）を含む、$ q $-分割（存在性、最大性、最小性）の性質と $ \lfloor n/q \rfloor $、$ \lceil n/q \rceil $ の関係を活用する。

実験結果

リサーチクエスチョン

• RQ1 完全多部グラフ $ G = K_{n_1,n_2,\dots,n_l} $ における公平彩色閾値 $ \chi_{=}^{*}(G) $ の正確な値は何か？
• RQ2 グラフの頂点数に対して線形時間で公平彩色閾値を計算できるか？
• RQ3 部集合サイズに基づいて、$ \chi_{=}^{*}(K_{n_1,\dots,n_l}) $ の閉形式の公式は存在するか？
• RQ4 公平彩色可能となるために必要な最小の色数を決定づける部集合サイズの構造的性質は何か？
• RQ5 公平彩色閾値は、少なくとも2つの部集合サイズを割り切らない最小の整数 $ h $ とどのように関係しているか？

主な発見

• 完全多部グラフ $ K_{n_1,n_2,\dots,n_l} $ の公平彩色閾値は、$ h $ を、少なくとも2つの $ n_i $ を割り切らない最小の正の整数、またはある $ i $ に対して $ n_i/(h+1) > \lfloor n_i/h \rfloor $ を満たす最小の整数として定義すると、ちょうど $ \sum_{i=1}^l \lceil n_i / h \rceil $ に等しい。
• 本稿は、完全多部グラフにおける公平彩色閾値の公式を初めて公表された証明を提供し、Chen と Wu の先行未発表の結果を是正・補完した。
• 頂点総数 $ |V(G)| $ に対して線形時間の効率的アルゴリズムが提案され、$ \chi_{=}^{*}(G) $ を計算可能である。
• アルゴリズムは $ h $ を1から段階的に増加させ、停止条件（$ h $ が少なくとも2つの $ n_i $ を割り切らない、またはある $ i $ に対して $ n_i/(h+1) > \lfloor n_i/h \rfloor $）を満たすまで繰り返し実行し、正しさを保証する。
• 閾値は最小である：$ \sum_{i=1}^l \lceil n_i / h \rceil $ 色未満の公平彩色は存在しない。これは、$ q $-分割の性質を用いた背理法により示された。
• 部集合サイズがすべて $ n $ である $ r $-部グラフの特殊ケースでは、閾値は $ r \lceil n / s^* \rceil $ に等しく、ここで $ s^* $ は $ n $ を割り切らない最小の正の整数であり、Lin の結果を確認した。