[論文レビュー] 2-FREE-FLOOD-IT is polynomial

Aurélie Lagoutte|arXiv (Cornell University)|Aug 18, 2010

Constraint Satisfaction and Optimization参考文献 1被引用数 3

ひとこと要約

本稿では、2色に塗り分けられたグラフのモノクロマチゼーションに必要な最小のフラッディング操作の数が、その縮約グラフの半径に正確に等しいことを示すことにより、2-Free-Flood-It問題が多項式時間で解けることを証明している。アルゴリズムは縮約グラフの半径をO(nm)時間で計算し、一般のグラフおよびN×Nの正方形グリッドの場合の両方で最適かつ効率的な解法を提供する。

ABSTRACT

We study a discrete diffusion process introduced in some combinatorial games called FLOODIT and MADVIRUS that can be played online and whose computational complexity has been recently studied by Arthur et al (FUN'2010). The flooding dynamics used in those games can be defined for any colored graph. It has been shown in a first report (in french, hal-00509488 on HAL archive) that studying this dynamics directly on general graph is a valuable approach to understand its specificities and extract uncluttered key patterns or algorithms that can be applied with success to particular cases like the square grid of FLOODIT or the hexagonal grid of MADVIRUS, and many other classes of graphs. This report is the translation from french to english of the section in the french report showing that the variant of the problem called 2-FREE-FLOOD-IT can be solved with a polynomial algorithm, answering a question raised in the previous study of FLOODIT by Arthur et al.

研究の動機と目的

• 3色以上の場合はNP困難であるにもかかわらず、2-Free-Flood-Itの計算複雑性に関する未解決の問題を解消すること。
• 2-Free-Flood-Itが多項式時間アルゴリズムを有することを確立し、先行研究[3, 4]で提起された疑問に答えること。
• 2色に塗り分けられたすべての連結グラフ（FLOODITで用いられる正方形グリッドを含む）に適用可能な一般かつ効率的なアルゴリズムを提供すること。
• 縮約グラフをキーモデルとして形式化し、元のグラフと縮約グラフのダイナミクスの等価性を示すこと。

提案手法

• 元のグラフ内の単色連結領域を各頂点として持つ縮約グラフを構築することで、問題をグラフの縮約プロセスに変換する。
• 適切な2色塗り分けのため、縮約グラフは二部グラフであり、各フラッディング操作は頂点の近傍収縮に対応する。
• 鍵となる洞察は、縮約グラフ上の頂点xをフラッディングすることは、xとその隣接頂点を1つの頂点に収縮させ、G/xを形成することに相当することである。
• 縮約グラフGの半径R(G)を最適な手数として用い、中心頂点が選ばれると各ステップで半径が正確に1ずつ減少する。
• 各頂点からBFSを用いて中心性を計算することで、縮約グラフの半径をO(nm)時間で計算する。
• N×Nグリッドの場合、n = N²およびm = 4N² − 4Nより、時間計算量はO(N⁴)となる。

実験結果

リサーチクエスチョン

• RQ1 3色バージョンがNP困難であるにもかかわらず、2-Free-Flood-Itは多項式時間で解けるか？
• RQ2 グラフ論的不変量を用いて、フラッディング操作の最小数を正確に特徴づけられるか？
• RQ3 縮約グラフの半径は、グラフをモノクロマチゼーションするのに必要な手数の正確な下界および上界を提供するか？
• RQ4 縮約グラフにおける近傍収縮操作は、最適性を保証するための必要な構造的性質を保持するか？

主な発見

• 2色に塗り分けられたグラフをモノクロマチゼーションするために必要な最小のフラッディング操作の数は、その縮約グラフの半径R(G)に正確に等しい。
• 中心頂点が選ばれると、最適なフラッディングステップごとに縮約グラフの半径が正確に1ずつ減少するため、R(G)が必要かつ十分であることが示された。
• 2-Free-Flood-Itに対して多項式時間アルゴリズムが存在し、頂点数nおよび辺数mを用いてO(nm)時間で実行可能である。
• N×N正方形グリッドでは、アルゴリズムはO(N⁴)時間で実行可能であり、このクラスにおいては効率的かつ最適である。
• 縮約グラフの構築は線形時間で可能であり、半径の計算が主なコストであり、各頂点からBFSを用いて解ける。
• 近傍収縮操作G/xは半径解析に必要な構造的性質を保持しており、普遍的にR(G/x) ≥ R(G) − 1が成り立つ。