[論文レビュー] List-coloring embedded graphs

Zdenĕk Dvořák, Ken‐ichi Kawarabayashi|arXiv (Cornell University)|Jan 6, 2013

Advanced Graph Theory Research参考文献 17被引用数 6

ひとこと要約

本稿では、固定された genus g の曲面上に埋め込まれた girth が 5 以上のグラフのリスト彩色に、サイズ 3 のリストを用いた効率的なアルゴリズムを提示する。彩色されていないグラフに対しては O(|V(G)|) 時間で実行され、最大 s 個の成分が事前に彩色されている場合、O(|V(G)|^{K(g+s)+1}) 時間で実行され、決定と彩色の両方を可能にする。定数 K はグラフのサイズに依存しない。

ABSTRACT

For any fixed surface Σ of genus g, we give an algorithm to decide whether a graph G of girth at least five embedded in Σ is colorable from an assignment of lists of size three in time O(|V(G)|). Furthermore, we can allow a subgraph (of any size) with at most s components to be precolored, at the expense of increasing the time complexity of the algorithm to O(|V(G)|K(g+s)+1) for some absolute constant K; in both cases, the multiplicative constant hidden in the O-notation depends on g and s. This also enables us to find such a coloring when it exists. The idea of the algorithm can be applied to other similar problems, e.g., 5-list-coloring of graphs on surfaces.

研究の動機と目的

• girth が 5 以上のグラフの、固定された genus g の曲面上への埋め込みにおける 3 リスト彩色可能性の決定を多項式時間で行うアルゴリズムの開発。
• アルゴリズムを、成分数が s 個に制限された事前彩色部分グラフに対しても拡張すること。
• 彩色可能性を決定するだけでなく、存在する場合には有効な彩色を実際に構成する構成的メソッドの提供。
• 他の問題、例えば曲面上の 5 リスト彩色問題へのアプローチの一般化。

提案手法

• girth が 5 以上のグラフが genus g の曲面上に埋め込まれた場合の構造的性質を活用し、局所的構成を制限する。
• グラフの埋め込みと曲面トポロジーに基づく分解における動的計画法を用いる。
• 事前彩色された成分を扱うために、有界な探索木技術を適用し、時間計算量を genus g と s に依存させる。
• リストサイズ 3 のリスト彩色制約を活用し、girth 条件を用いて矛盾する割り当ての数を削減する。
• リスト割り当てを尊重し、曲面に埋め込まれたグラフ全体で一貫性を保つ再帰的彩色手順を統合する。
• アルゴリズムの時間計算量が |V(G)| に対して多項式的であり、指数部が genus g と事前彩色の複雑さ s に依存することを保証する。

実験結果

リサーチクエスチョン

• RQ1 girth が 5 以上のグラフが固定された genus g の曲面上に埋め込まれた場合、3 リスト彩色は効率的に決定可能か？
• RQ2 最大 s 個の成分が事前に彩色されている場合、埋め込みグラフにおけるリスト彩色アルゴリズムの時間計算量にどのような影響があるか？
• RQ3 高 girth を持つ埋め込みグラフのどのような構造的性質が、効率的リスト彩色アルゴリズムの実現を可能にするか？
• RQ4 このアルゴリズム的手法は、例えば曲面上の 5 リスト彩色問題など、他のリスト彩色問題へも拡張可能か？

主な発見

• 事前彩色がない場合、girth が 5 以上のグラフが genus g の曲面上に埋め込まれた場合、3 リスト彩色可能性は O(|V(G)|) 時間で決定可能である。
• 最大 s 個の成分が事前に彩色されている場合、アルゴリズムはある絶対定数 K に対して O(|V(G)|^{K(g+s)+1}) 時間で実行可能である。
• アルゴリズムは彩色可能性を決定するだけでなく、存在する場合には有効なリスト彩色を構成する。
• 時間計算量は |V(G)| に対して多項式的であり、指数部は genus g と事前彩色された成分数 s に応じて増加する。
• この手法は、例えば曲面上の 5 リスト彩色問題など、他のリスト彩色問題へも一般化可能であり、より広範な適用性を示唆する。