[論文レビュー] On the Parameterized Complexity of $k$-Edge Colouring

Esther Galby, Paloma T. Lima+2 more|arXiv (Cornell University)|Jan 7, 2019

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

ひとこと要約

本稿では、最大次数をもつ頂点数をパrameterとしてk-Edge Colouringが固定パrameter可 tractable（FPT）であることを示し、アルゴリズムの実行時間を O(p²k^(k²p/2 + 4) + n + m) で保証する。このアプローチは半コア還元と、Vizingの定理の別証明に基づく構成的再色分け手順を活用し、最大次数kをもつ頂点がp個であるようなグラフに対して、効率的なk-エッジ彩色を可能にする。

ABSTRACT

For every fixed integer $k \geq 1$, we prove that $k$-Edge Colouring is fixed-parameter-tractable when parameterized by the number of vertices of maximum degree.

研究の動機と目的

• 最大次数頂点数をパrameterとしてk-Edge Colouringのパラメータ化された複雑さを特定すること。
• このパラメータ化の下でk-Edge Colouringの固定パrameter可 tractability（FPT）を確立すること。
• n と m に関して多項式時間で実行され、p と k に対してのみ超指数的依存性を示す、k-Edge Colouringの効率的アルゴリズムを提供すること。
• 半コアグラフとエッジ再色分けを用いたアルゴリズム的証明を通じて、Vizingの定理の適用範囲を拡張すること。

提案手法

• 最大次数頂点の集合 X に対して、半コアグラフ H = G[X ∪ N(X)] のk-エッジ彩色可能性を確認することで問題を還元する。
• 定理2.1を用いて、G がk-エッジ彩色可能であることと、その半コア H がk-エッジ彩色可能であることの必要十分条件を示す。
• H が高々 k²p/2 条の辺をもつことから、H のすべての可能なk-エッジ彩色を列挙するブルートフォース探索を k^(k²p/2) 個の写像で制限する。
• Lemma 1 に示される構成的再色分けアルゴリズムを活用し、H におけるk-エッジ彩色を O(k²(n − p)) 時間で G に拡張する。
• EhrenfeuchtらによるVizingの定理の別証明を基に、交互路のスワップによる適切な色割り当てを保証する再色分けプロセスをガイドする。
• 貪欲な拡張戦略を適用：残りのグラフで次数が k−1 以下の各頂点 u_i に対して、その近傍集合で使用されていない色を割り当て、必要に応じて交互路色スワップにより衝突を解消する。

実験結果

リサーチクエスチョン

• RQ1 最大次数頂点数をパrameterとしてk-Edge Colouringは固定パrameter可 tractableか？
• RQ2 半コアグラフ H = G[X ∪ N(X)] を用いることで、正しさを損なわずにk-Edge Colouring問題をより小さいインスタンスに還元できるか？
• RQ3 半コアから全グラフへのk-エッジ彩色の拡張の計算量的複雑さは何か？
• RQ4 再色分けプロセスは効率的かつ構成的に行えるか？正しさと有界な実行時間の両方を保証できるか？

主な発見

• 任意の固定された k ≥ 1 に対して、最大次数頂点数 p をパrameterとしてk-Edge Colouringは固定パrameter可 tractableである。
• アルゴリズムの実行時間は O(p²k^(k²p/2 + 4) + n + m) であり、指数的依存は p と k のみに限定される。
• 解が存在する場合、全グラフ G のk-エッジ彩色は O(p²k^(k²p/2 + 4) + k²(n − p) + n + m) 時間で構成可能である。
• 半コアグラフ H = G[X ∪ N(X)] は高々 k²p/2 条の辺をもつため、その彩色のブルートフォース探索が効率的に行える。
• 再色分けアルゴリズム（Lemma 1）は、交互路色スワップにより衝突を解消することで、H のk-エッジ彩色を O(k²(n − p)) 時間で G に拡張する。
• 証明は、構成的バージョンのVizingの定理と、MisraとGriesの再色分け手順をパラメータ化された設定に適応したものに依存している。