[論文レビュー] A Brooks' Theorem for Triangle-Free Graphs

Mohammad Shoaib Jamall|arXiv (Cornell University)|Jun 10, 2011

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

ひとこと要約

この論文は、反復的準ランダム色分けアルゴリズムを用いて、三角形を含まないグラフの彩色数に対する新たな上界を確立している。任意の最大次数Δをもつ三角形を含まないグラフGに対して、彩色数χ(G)は67(1+o(1))Δ/logΔ未満であることが証明されており、濃度不等式とパレットおよび隣接頂点数のダイナミクスに関する再帰関係を用いた、Rödl nibble法の洗練された解析により、先行する境界を改善している。

ABSTRACT

Let G be a triangle-free graph with maximum degree δ(G). We show that the chromatic number \c{hi}(G) is less than 67(1 + o(1))δ/ log δ.

研究の動機と目的

• 三角形を含まないグラフの彩色数に対する既知の上界を改善すること。
• 三角形を含まないグラフにおけるχ(G)の境界を定めるヨハンソンの手法のより単純な代替手法を提供すること。
• 濃度不等式と再帰関係を用いて、よりきめの細かい濃度解析を伴う、三角形を含まないグラフへの準ランダム（Rödl nibble）法の拡張。
• パレットサイズおよび隣接集合サイズの再帰関係を用いて、反復的色分けアルゴリズムを分析すること。
• 三角形を含まないグラフに対して、χ(G) < 67(1+o(1))Δ/logΔ の定量的境界を達成すること。

提案手法

• 反復的準ランダム色分けアルゴリズムを設計し、ラウンドごとに頂点が確率的に起動され、そのパレットから色が割り当てられる。
• 適切な色分け制約を維持するために、色分け試行フェーズと衝突解消フェーズを交互に実行する。
• パレットサイズと各色ごとの利用可能な隣接頂点数を追跡する確率変数s_t(u)とd_t(u,c)を定義し、期待値の変化をモデル化する再帰関係を導出する。
• 濃度不等式を用いて、s_t(u)とd_t(u,c)の実際の値が高確率で期待値の軌道から大きく外れないことを示す。
• 衝突後にパレットを調整するクリーニングフェーズを導入し、パレットサイズと隣接頂点数の成長を制御する。
• パラメータc1とc2を用いた再帰系を導出し、ラウンドごとの隣接集合サイズの減少とパレットの縮小をモデル化する。

実験結果

リサーチクエスチョン

• RQ1 三角形を含まないグラフの彩色数は、O(Δ/logΔ)よりきめの細かく抑えられるか？
• RQ2 ヨハンソンの元来の手法よりも単純なO(Δ/logΔ)境界の証明は可能か？
• RQ3 準ランダム法を三角形を含まないグラフに適応し、明示的な定数係数を伴う形で適用可能か？
• RQ4 三角形を含まないグラフにおけるO(Δ/logΔ)上界の最良の定数係数は何か？
• RQ5 再帰関係と濃度不等式を用いて、スパarsなグラフにおける反復的色分けアルゴリズムをどのように分析できるか？

主な発見

• 任意の三角形を含まないグラフGの彩色数χ(G)は、67(1+o(1))Δ/logΔ未満に上界づけられる。
• 再帰に基づく濃度的議論を用いた、反復的準ランダム色分けアルゴリズムの新規な解析により導出された。
• 本手法により定数係数67が達成され、先行する定性的な境界を改善し、ヨハンソンの証明よりもより透明性の高い代替手法を提供する。
• 解析により、パレットサイズと隣接頂点数が、各ラウンドにおいて期待値のまわりできめの細かく集中することが示され、正の確率で成功する色分けが可能である。
• 再帰系により、利用可能な色と隣接頂点の減少がモデル化され、c1とc2という重要なパラメータが濃度を維持するように調整されている。
• クリーニングフェーズにより、次のラウンドにおけるパレットサイズが期待値の制御された倍率内に保たれ、反復的進行が可能になる。