[論文レビュー] Total Colourings - A survey

Geetha Jayabalan, N. Narayanan+1 more|arXiv (Cornell University)|Dec 14, 2018

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

ひとこと要約

本稿は1996年以降のグラフにおける全色彩に関する包括的サーベイを提示し、平面的でないグラフを含む平面的・非平面的グラフに焦点を当てている。全色彩予想（TCC）がユニタリ・ケイリー・グラフ、モック・スラッシュ・グラフ、および奇数グラフにおいて成立することを示す新しい証明が提示されている。発電法を用いた平面的グラフに関する進展をレビューし、特定のグラフクラスにおける全色彩の多項式時間アルゴリズムを確立し、全色彩の計算複雑性を分析。いくつかのケースでNP完全性を確認するとともに、取り扱いやすい部分クラスを同定している。

ABSTRACT

The smallest integer $k$ needed for the assignment of colors to the elements so that the coloring is proper (vertices and edges) is called the total chromatic number of a graph. Vizing and Behzed conjectured that the total coloring can be done using at most $Δ(G)+2$ colors, where $Δ(G)$ is the maximum degree of $G$. It is not settled even for planar graphs. In this paper we give a survey on total coloring of graphs.

研究の動機と目的

• 1995年までの先行サーベイを更新し、1996年以降の全色彩研究を包括的にサーベイすること。
• ユニタリ・ケイリー・グラフ、モック・スラッシュ・グラフ、および奇数グラフを含む特定のグラフクラスに対して、全色彩予想（TCC）の妥当性を調査すること。
• 全色彩の計算複雑性を分析し、問題が多項式時間で解けるクラスか、NP完全となるクラスを特定すること。
• 特にΔ(G) ≥ 6の条件下で、次数および周長制約を課した発電法を用いて平面的グラフに関する結果を拡張すること。
• 区間グラフや弦的グラフを含む構造的グラフクラスにおける最適全色彩のための新しいアルゴリズム的手法を提示すること。

提案手法

• 発電法を平面的グラフに適用し、初期の電荷を頂点に割り当て、定められた規則に従って再分配することで、還元可能な構成の存在を証明する。
• 構成に基づく還元可能性分析を用い、特定の部分グラフがTCCの最小反例に出現できないことを示す。
• ユニタリ・ケイリー・グラフや奇数グラフといった特定のグラフクラスに対しては、構造的分解と色の割り当て規則を用いた構成的全色彩法を考案する。
• 根付きパス・グラフに貪欲な近隣色彩アルゴリズムを適用し、O(|V| + |E|) 時間で全色彩を達成する。
• 特にユニコールド自由およびサイクルなしグラフに対して、還元法と分解技術を用いた複雑性分析を実施する。
• 動的計画法と構造的性質を用いて、区間グラフおよび部分k-ツリーに対して多項式時間アルゴリズムを導出する。

実験結果

リサーチクエスチョン

• RQ1 ユニタリ・ケイリー・グラフ、モック・スラッシュ・グラフ、および奇数グラフにおいて、全色彩予想は成立するか？
• RQ2 Δ(G) ≥ 6 かつ特定の周長制約を満たす平面的グラフに対して、発電法を効果的に適用してTCCを証明できるか？
• RQ3 最大次数が有界な二部グラフでユニコールド自由のグラフ、および{square, unichord}-自由グラフにおける全色彩の計算複雑性は何か？
• RQ4 弦的グラフおよび双対弦的グラフにおいて、最適全色彩の多項式時間アルゴリズムは存在するか？
• RQ5 立方体二部グラフにおける公平全色彩は、効率的に決定可能か？

主な発見

• ユニタリ・ケイリー・グラフ、モック・スラッシュ・グラフ、および奇数グラフにおいて、全色彩予想は成立し、全色数はΔ(G) + 2である。
• Δ(G) = 6 で隣接する三角形や4-サイクルを含まない平面的グラフは8色で色分け可能であり、この条件下でΔ(G) = 6 のTCCが確認された。
• Δ(G) ≥ 9 である平面的グラフではTCCが成立し、タイプI（すなわちχ′′(G) = Δ(G) + 1）に属する。
• 区間グラフの全色彩にはO(|V| + |E| + Δ²) 時間で実行可能な多項式時間アルゴリズムが存在し、偶数次数の区間グラフにおいてTCCが確認された。
• 二部ユニコールド自由グラフにおける全色彩問題はNP完全であり、立方体二部グラフにおける公平全色彩もNP完全である。
• s-退化グラフの全色彩はO(n log n) 時間で解け、有界なkに対する部分k-ツリーには線形時間アルゴリズムが存在する。