[論文レビュー] On Dynamic Coloring of Graphs

Meysam Alishahi|ArXiv.org|Aug 18, 2009

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

ひとこと要約

本稿では、k-正則グラフの動的彩色数に対する上界を確立し、ある定数cに対してχd(G) ≤ χ(G) + c ln k + 1が成り立つことを示している。また、正則グラフの動的リスト彩色数がΔ + 1で有界であることを証明している。さらに、動的彩色と全支配集合および二重全支配集合の関係を示し、このような集合をもつグラフでは、動的彩色数がその彩色数の2倍以下であることを示している。

ABSTRACT

A dynamic coloring of a graph $G$ is a proper coloring such that for every vertex $v\in V(G)$ of degree at least 2, the neighbors of $v$ receive at least 2 colors. In this paper we present some upper bounds for the dynamic chromatic number of graphs. In this regard, we shall show that there is a constant $c$ such that for every $k$-regular graph $G$, $χ_d(G)\leq χ(G)+ c\ln k +1$. Also, we introduce an upper bound for the dynamic list chromatic number of regular graphs.

研究の動機と目的

• k-正則グラフGの動的彩色数χd(G)について、χ(G)とkを用いた上界を確立すること。
• グラフにおける動的彩色と全支配集合・二重全支配集合の関係を調査すること。
• 正則グラフの動的リスト彩色数がΔ + 1で有界であることを証明すること。
• 特定のグラフクラス（Kneserグラフやk-臨界グラフ）に対して、Conjecture 1（χd(G) − χ(G) ≤ 2）を検証すること。

提案手法

• 確率的部分集合構成法を用いる：k-正則グラフGに対して、各頂点が確率p = c′ ln k / kで独立に選ばれるランダム部分集合T ⊆ V(G)を構成する。
• チェルノフの不等式を適用して、Tにおける各頂点の隣接度の集中を制御し、各頂点vに対してdegT(v)が高確率でc′ ln kに近いことを保証する。
• ロヴァーズの局所補題を用いて、各頂点がTに少なくとも1つの隣接頂点を持ち、かつV(G)\Tにも少なくとも1つの隣接頂点を持つような部分集合Tの存在を示し、これにより二重全支配集合が得られることを示す。
• 超グラフの2色可能性を用いる：T上で、u ∈ V(G)に対してN(u) ∩ Tをハイパーエッジとする超グラフHを構成し、特定の次数条件の下でHが2色可能であることを証明する。
• 色の組み合わせ：G[T]の適切な彩色と超グラフHの2色付けを組み合わせ、V(G)\Tに対しても使用されていない色を用いて彩色を拡張する。
• 確率的補題と極値的グラフ理論を用いて、eΔ² ≤ 2^{δ−1}を満たすグラフに対しては二重全支配集合が存在することを示し、これによりχd(G) ≤ 2χ(G)が得られる。

実験結果

リサーチクエスチョン

• RQ1 k-正則グラフの動的彩色数χd(G)について、χ(G)とkを用いた上界を確立できるか？
• RQ2 正則グラフの動的彩色数は、予想されているように彩色数から2以下に異なるか？
• RQ3 全支配集合または二重全支配集合の存在と動的彩色数の間にはどのような関係があるか？
• RQ4 正則グラフの動的リスト彩色数は最大次数とどのように関係するか？
• RQ5 KneserグラフKG(m,n)に対して、m < 3nかつ三角形を含まない場合、χd(G)について何が言えるか？

主な発見

• 任意のk-正則グラフGに対して、ある定数cが存在し、χd(G) ≤ χ(G) + c ln k + 1が成り立つ。
• k-正則グラフの動的リスト彩色数はΔ + 1以下であり、Δ ≥ 4のときこの上限はタイトである。
• 固定された0 < p < 1に対して、G(n,p)に属するほとんどすべてのグラフにおいて、χd(G) = χ(G)である。これは、すべての頂点がほとんど確実に三角形に属するためである。
• グラフGが二重全支配集合Tをもつならば、χd(G) ≤ χ(G[V\T]) + χ(G[T])が成り立ち、特にχd(G) ≤ 2χ(G)が成り立つ。
• m = 2n + t < 3nであるKneserグラフKG(m,n)に対して、χd(KG(m,n)) ≤ χ(KG(m,n)) + 2が成り立ち、このクラスに対してConjecture 1が確認された。
• eΔ² ≤ 2^{δ−1}を満たすk-臨界グラフGに対して、χd(G) ≤ 2k − 2が成り立ち、同じ条件下ではχd(G) ≤ 2χ(G)が成り立つ。