[論文レビュー] Sum list coloring, the sum choice number, and sc-greedy graphs

Michelle Anne Lastrina, Michael E. Young|arXiv (Cornell University)|May 8, 2013

Graph Labeling and Dimension Problems参考文献 5被引用数 3

ひとこと要約

この論文は、5頂点からなるすべてのグラフの和選択数を決定し、サイクルのパスおよびより一般にサイクルの木が、その和選択数が |V| + |E| に等しくなるような sc-greedy であることを証明している。著者らは、頂点のリストサイズに関する帰納的ケース解析とサイクル接続グラフの構造的分解を用いて、グラフがこの上限に達するための一般条件を確立している。

ABSTRACT

Let G=(V,E) be a graph and let f be a function that assigns list sizes to the vertices of G. It is said that G is f-choosable if for every assignment of lists of colors to the vertices of G for which the list sizes agree with f, there exists a proper coloring of G from the lists. The sum choice number is the minimum of the sum of list sizes for f over all choosable functions f for G. The sum choice number of a graph is always at most the sum |V|+|E|. When the sum choice number of G is equal to this upper bound, G is said to be sc-greedy. In this paper, we determine the sum choice number of all graphs on five vertices, show that trees of cycles are sc-greedy, and present some new general results about sum list coloring.

研究の動機と目的

• 5頂点グラフのすべての和選択数を計算し、小さなグラフの完全な分類を提供すること。
• グラフが和選択数が貪欲上界 |V| + |E| に等しい、つまり sc-greedy である条件を調査すること。
• 単純な構造を超えて、サイクルに基づくグラフ（例：サイクルのパスや木）への sc-greedy グラフの特徴付けを拡張すること。
• リストサイズ制約と色分けの障害を用いて、複雑なサイクル接続グラフに対する sc-greediness を証明するための帰納的技法を開発・適用すること。

提案手法

• 和選択数 χ_SC(G) を、適切なリスト彩色を可能にするすべての頂点リスト割り当てにおけるリストサイズの合計の最小値として定義する。
• 貪欲上界 GB(G) = |V| + |E| を、適切なサイズのリストから正しく彩色可能な頂点順序に基づいて、χ_SC(G) の上界として用いる。
• 矛盾を用いた構成により、サイズ関数 f が GB(G) - 1 のサイズを持つ場合、選択関数にはなり得ないことを示すことで、sc-greediness を証明する。
• サイクルのパスにおけるサイクル数に関する帰納法を用い、共有頂点 (t_i, b_i) におけるリストサイズの和に基づくケース分析を行う。
• 共有頂点に互いに素な色集合を割り当て、隣接頂点のリストサイズを貪欲上界よりわずかに小さくすることで、彩色不能なリスト割り当て L を明示的に構成する。
• 弱双対木構造を活用し、任意のサイクルの交差を含む一般化を適用することで、サイクルの木への結果の一般化を行う。

実験結果

リサーチクエスチョン

• RQ1 5頂点グラフのすべての和選択数は何か？
• RQ2 すべてのサイクルのパスは sc-greedy か、すなわち χ_SC(G) = |V| + |E| が成り立つか？
• RQ3 sc-greediness 性質は、サイクルの木のようなより複雑なサイクルベースのグラフへ拡張可能か？
• RQ4 どのような構造的条件が、グラフが和選択数を貪欲上界に等しく達成することを保証するか？
• RQ5 sc-greedy グラフを辺で接続した場合、sc-greediness 性質は保存されるか？

主な発見

• 5頂点グラフのすべての和選択数が明示的に計算され、このようなグラフの分類が完全に完了した。
• サイクルのパスが sc-greedy であることが証明され、すべてのこのようなグラフについて χ_SC(G) = |V| + |E| が成り立つ。
• サイクルの木が sc-greedy であることが示され、より広範なサイクル接続グラフのクラスへ結果が拡張された。
• 共有頂点 (t_i, b_i) におけるリストサイズの和に基づくケース解析により、貪欲上界より小さいサイズ関数では常に彩色不能なリスト割り当てが生じることを示した。
• 重要な構成として、共有頂点に互いに素な色集合を割り当て、隣接頂点のリストサイズを小さくすることで、色分けの障害を生じさせる手法を用いた。
• この結果により、サイクルの木において和選択数が正確に |V| + |E| に等しくなることが示され、等号は貪欲上界に達した場合にのみ成立する。