[論文レビュー] Distance-2 Edge Coloring is NP-Complete

Jeff Erickson, Shripad Thite+1 more|ArXiv.org|Sep 30, 2005

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

ひとこと要約

この論文は、サイクル長が6で最大次数が3である二部グラフの2強帰納的グラフが5距離2辺彩色可能（つまり、5色を用いた強さの辺彩色可能）かどうかを判定することは、NP完全であることを証明している。著者たちは、この結論を、3変数論理和のすべてが等しくない問題（Not-All-Equal-3SAT）への多項式時間還元によって確立しており、真理値を辺彩色に符号化するための変数、節、ファンアウトの3種類のガジェットを用いている。これにより、強い構造的制約下でも問題の計算困難性が保たれることを示している。

ABSTRACT

We prove that it is NP-complete to determine whether there exists a distance-2 edge coloring (strong edge coloring) with 5 colors of a bipartite 2-inductive graph with girth 6 and maximum degree 3.

研究の動機と目的

• 特定の構造的制約下における距離2辺彩色（強さの辺彩色）の計算複雑性を確立すること。
• サイクル長が6、最大次数が3、2強帰納的構造を持つ二部グラフに対しても、5-D2辺彩色可能性の判定がNP完全のまま継続することを証明すること。
• 最大次数が小さく、サイクル長が大きく、構造的に整ったグラフにおいても、強さの辺彩色が難しいことを示すこと。
• 従来の証明とは異なる方法として、Not-All-Equal-3SATから距離2辺彩色への新たな還元を提供すること。

提案手法

• Not-All-Equal-3SATのインスタンスから、変数、節、ファンアウトの3種類のガジェットを用いてグラフ $ G(X,C) $ を構築する。
• 5色 $ \{T, F, 1, 2, 3\} $ を用い、$ T $ と $ F $ は論理的真理値を表し、$ 1,2,3 $ は補助色として使用する。
• ファンアウトガジェットを設計し、出力側で色が保存されるようにし、真理値がグラフ全体に一貫して伝搬されることを保証する。
• 変数ガジェットを、真理値と偽値を表すガジェットからの2つの入力と、各リテラルに対応する2つの出力を備え、任意の有効な彩色において出力色が $ T $ と $ F $ になるように設計する。
• 節ガジェットを設計し、3つの入力辺（リテラルからのもの）がすべて同じ色でない場合にのみ、有効な5色彩色が存在するようにし、すべてが等しくない条件を強制する。
• 得られたグラフが二部グラフであり、サイクル長が6、最大次数が3、2強帰納的であることを証明し、これらの制約下でも問題の困難性が保たれることを示す。

実験結果

リサーチクエスチョン

• RQ1 サイクル長が6で最大次数が3である二部グラフの2強帰納的グラフが5距離2辺彩色可能かどうかを判定することは、NP完全であるか？
• RQ2 最大次数と高いサイクル長といった構造的制約を保ったまま、強さの辺彩色問題をNot-All-Equal-3SATから還元できるか？
• RQ3 低最大次数、高サイクル長、2強帰納的構造の組み合わせ下でも、強さの辺彩色のNP完全性は維持されるか？
• RQ4 論理的充足可能性のガジェットベースの符号化が、辺彩色の制約によって忠実に実現可能か？

主な発見

• サイクル長が6で最大次数が3である二部グラフの2強帰納的グラフが5-D2辺彩色可能かどうかを判定する問題は、NP完全である。
• 構築されたグラフ $ G(X,C) $ に有効な5-D2辺彩色が存在するための必要十分条件は、対応するNot-All-Equal-3SATインスタンスが充足可能であることである。
• 還元によって得られるグラフは $ O(n + m) $ 個の頂点と辺から構成され、SATインスタンスから線形時間で構築可能である。
• グラフは二部グラフであり、サイクル長は正確に6、最大次数は3、2強帰納的である。これは、NP完全性が強い構造的制約下でも成立することを示している。
• ガジェットベースの構成により、真理値が辺彩色に忠実に符号化されており、$ T $ と $ F $ が論理的真理値を表し、$ 1,2,3 $ が一貫性と分離を確保するために使用されている。