[論文レビュー] Frugal Colouring of Graphs

Omid Amini, Louis Esperet+1 more|London School of Economics and Political Science Research Online (London School of Economics and Political Science)|May 3, 2007

Graph Labeling and Dimension Problems参考文献 15被引用数 8

ひとこと要約

本稿は、任意の頂点の近傍において、どの色もk回を超えて現れないようなグラフにおけるフリーガル頂点およびエッジ彩色を導入し、分析している。多重グラフにおけるk-フリーガルエッジ彩色に関して、タイトな境界を確立し、奇数kの場合、k-フリーガル彩色指数は⌈3Δ/(3k−1)⌉以下であることを示し、タイトな例も提示している。本研究は、フリーガル彩色を、平面的および外部平面的グラフにおけるL(p,q)-ラベルリング、巡回彩色、およびグラフの平方彩色と結びつけている。

ABSTRACT

A $k$-frugal colouring of a graph $G$ is a proper colouring of the vertices of $G$ such that no colour appears more than $k$ times in the neighbourhood of a vertex. This type of colouring was introduced by Hind, Molloy and Reed in 1997. In this paper, we study the frugal chromatic number of planar graphs, planar graphs with large girth, and outerplanar graphs, and relate this parameter with several well-studied colourings, such as colouring of the square, cyclic colouring, and $L(p,q)$-labelling. We also study frugal edge-colourings of multigraphs.

研究の動機と目的

• 平面的グラフ、外部平面的グラフ、および大きな周長をもつ平面的グラフのk-フリーガル彩色数を研究すること。
• フリーガル彩色を、平方彩色、巡回彩色、L(p,q)-ラベルリングといったよく知られたグラフ彩色問題と関連付けること。
• 多重グラフにおけるk-フリーガルエッジ彩色を調査し、k-フリーガル彩色指数のタイトな境界を導出すること。
• 偶数kと奇数kにおけるk-フリーガルエッジ彩色の挙動の根本的な違い、特に極値の場合を明らかにすること。
• 大きな周長をもつ平面的グラフおよび大きな最大次数をもつ外部平面的グラフが、理論的最小のk-フリーガル彩色数を達成するとの仮説を提示すること。

提案手法

• 次数が有界な部分グラフへの多重グラフの分解を用いて、k-フリーガルエッジ彩色を構成する。
• 二部多重グラフのリストエッジ彩色に関するガルフィンの定理を適用し、色リスト内での適切な彩色を保証する。
• 補助グラフにおけるマッチングに基づく議論を用いて、各頂点における色の出現回数を制限する。
• 既知のL(p,q)-ラベルリングおよび平方彩色の結果を活用し、平面的グラフにおけるk-フリーガル頂点彩色の境界を導出する。
• ペテルセンの定理を用いて、偶数正則多重グラフを2-ファクターに分解し、構造的な彩色を実現する。
• 極値の構成（例：3頂点とm本の並行エッジをもつ多重グラフ）を用いて、境界のタイトさを証明する。

実験結果

リサーチクエスチョン

• RQ1 大きな周長をもつ平面的グラフおよび外部平面的グラフのk-フリーガル彩色数は何か？
• RQ2 k-フリーガル彩色はL(p,q)-ラベルリングおよびグラフの平方彩色とどのように関連しているか？
• RQ3 特に奇数kの場合に、多重グラフにおけるk-フリーガルエッジ彩色数のタイトな境界は何か？
• RQ4 なぜk-フリーガルエッジ彩色において偶数kと奇数kの間で根本的な挙動の違いが生じるのか？
• RQ5 大きな周長をもつ平面的グラフおよび大きな最大次数をもつ外部平面的グラフは、理論的最小のk-フリーガル彩色数を達成するのか？

主な発見

• 奇数kの場合、任意の多重グラフGについて、k-フリーガルエッジ彩色数χ′_k(G) ≤ ⌈3Δ(G)/(3k−1)⌉が成り立ち、この境界はタイトである。
• 3頂点と各ペア間のm本の並行エッジからなる極値多重グラフT^(m)は、k=2ℓ+1のとき、χ′_k(T^(m)) = ⌈3m/(3ℓ+1)⌉ = ⌈3Δ/(3k−1)⌉を達成する。
• k-フリーガル頂点彩色に関して、本稿では外平面的グラフおよび大きな周長をもつ平面的グラフについて、χ_k(G) ≤ ⌈Δ/k⌉ + 1が成り立つことを示しており、この境界がタイトである可能性を示唆している。
• 平面的グラフのk-フリーガル彩色数は、L(p,q)-ラベルリングおよび平方彩色と密接に関連しており、後者の既知の結果を活用することで、前者の境界を導出できる。
• 本稿では、十分に大きな周長をもつ平面的グラフおよび大きな最大次数をもつ外部平面的グラフについて、すべてのk ≥ 1に対してχ_k(G) = ⌈Δ/k⌉ + 1が成り立つと仮説を提示している。
• 重要な構造的洞察として、k-フリーガルエッジ彩色において、各色クラスは変換されたグラフにおいて高々k/2個のマッチングに分解可能であり、これにより各頂点における色の頻度が制限されることを示している。