[論文レビュー] The Overfull Conjecture on Split-Comparability Graphs

Jadder Bismarck de Sousa Cruz, Cândida Nunes da Silva+1 more|arXiv (Cornell University)|Oct 10, 2017

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

ひとこと要約

この論文は、彩色指数に関して分割比較可能グラフがクラス2であるための必要十分条件が、近傍過充実であることであることを証明し、このクラスにおいて過充実予想とFigueiredo-Meidanis-Mello予想を裏付ける。この結果により、構造的性質と推移的向き付けの特徴付けを活用することで、分割比較可能グラフにおける辺彩色分類問題を多項式時間で解くアルゴリズムが確立される。

ABSTRACT

We show in this paper that a split-comparability graph $G$ has chromatic index equal to $Δ(G) + 1$ if and only if $G$ is neighborhood-overfull. That implies the validity of the Overfull Conjecture for the class of split-comparability graphs.

研究の動機と目的

• 弦的グラフおよび分割グラフの部分クラスである分割比較可能グラフの分類問題を解決すること。
• 過充実予想が分割比較可能グラフに対して成り立つかどうかを検証すること。
• このグラフクラス内でのFigueiredo-Meidanis-Mello予想の妥当性を調査すること。
• 分割比較可能グラフにおける彩色指数を決定する多項式時間アルゴリズムを確立すること。

提案手法

• クリーク集合 Q の全順序と、安定集合 S の頂点における3つの近傍タイプ（Sl, Sr, St）を用いて、分割比較可能グラフを特徴付ける。
• 推移的向き付けを用いて分割比較可能グラフの構造を定義し、次数および辺の分布の性質を導出する。
• 頂点 v に対して色集合 ℓ(v) を用いた貪欲な彩色戦略により、部分グラフ G_l にバランスの取れた辺彩色を構築する。
• Qr に属する頂点に接続する未彩色の辺に、ℓ(v) から使用されていない色を割り当てることで、部分彩色を完全なグラフへ拡張する。この際、色の衝突が生じないことを保証する。
• 近傍過充実グラフが本質的にクラス2であることと、分割比較可能グラフが Δ(G) > n/3 を満たすことを活用し、グラフがクラス2であるための必要十分条件が、Δ(G)-頂点 v が過充実な閉近傍 G[N[v]] を持つ場合に限ることを示す。
• 近傍過充実グラフが本質的にクラス2であることと、分割比較可能グラフが Δ(G) > n/3 を満たすことを活用し、過充実予想の適用が可能になる。

実験結果

リサーチクエスチョン

• RQ1 分割比較可能グラフに対して過充実予想は成り立つか？
• RQ2 分割比較可能グラフの彩色指数が Δ(G)+1 であるための必要十分条件が、近傍過充実であることか？
• RQ3 Figueiredo-Meidanis-Mello予想は分割比較可能グラフに対して成り立つか？
• RQ4 分割比較可能グラフの分類問題は多項式時間で解けるか？

主な発見

• すべての分割比較可能グラフは Δ(G) > n/3 を満たし、過充実予想が要求する条件を満たす。
• 分割比較可能グラフの彩色指数が Δ(G)+1 であるための必要十分条件が、近傍過充実であることであることを証明し、主結果を確立した。
• 過充実予想は分割比較可能グラフのクラスに対して有効である。
• Figueiredo-Meidanis-Mello予想は分割比較可能グラフに対して成り立つ。なぜなら、これらのグラフは弦的であり、かつ近傍過充実であることとクラス2が同値であるからである。
• 近傍過充実グラフが多項式時間で同定可能であることを踏まえ、分割比較可能グラフの分類問題は多項式時間で解ける。
• 証明は、誘導部分グラフにおけるバランスの取れた彩色拡張法を用いて、近傍過充実でない分割比較可能グラフに対して Δ(G)-辺彩色を構築する。