[論文レビュー] Subexponential fixed-parameter tractability of cluster editing

Fedor V. Fomin, Stefan Kratsch+3 more|arXiv (Cornell University)|Dec 19, 2011

Advanced Graph Theory Research参考文献 26被引用数 12

ひとこと要約

本稿では、p-クラスタ編集問題に対する、時間 O(2^O(√(pk)) + n + m) で動作する、サブ指数時間の固定パラメータ tractable (FPT) アルゴリズムを提示している。これは、指数時間仮説 (ETH) の下で漸近的に最適である。本稿は、p = Θ(k^σ) かつ 0 ≤ σ ≤ 1 に対して、いかなるアルゴリズムも時間 2^o(√(pk)) · n^O(1) で問題を解くことはできないことを示す、タイトなマルチ変数下界を確立しており、k におけるすべての非線形（sublinear）な p の値において、問題のパラメータ化された複雑さを解消している。

ABSTRACT

In the Correlation Clustering, also known as Cluster Editing, we are given an undirected n-vertex graph G and a positive integer k. The task is to decide if G can be transformed into a cluster graph, i.e., a disjoint union of cliques, by changing at most k adjacencies, i.e. by adding/deleting at most k edges. We give a subexponential algorithm that, in time 2^O(sqrt(pk)) + n^O(1) decides whether G can be transformed into a cluster graph with p cliques by changing at most k adjacencies. We complement our algorithmic findings by the following tight lower bounds on the asymptotic behaviour of our algorithm. We show that, unless ETH fails, for any constant 0 < s <= 1, there is p = Theta(k^s) such that there is no algorithm deciding in time 2^o(sqrt(pk)) n^O(1) whether G can be transformed into a cluster graph with p cliques by changing at most k adjacencies.

研究の動機と目的

• p がクラスタの数、k が許容されるエッジ編集数である p-クラスタ編集問題のマルチ変数パラメータ化された複雑さを分析すること。
• p が k に対して定数から線形まで変動する範囲において、既存の上界と下界のギャップを埋めること。
• 一致する上界と下界を確立することで、問題のパラメータ化された複雑さのタイトな漸近的解析を提供すること。
• サブ指数時間のパラメータ化された複雑さと、クラスタリング問題における近似可能性との関係を調査すること。

提案手法

• p と k の間の相互作用に注目した、クラスタ編集解の構造的性質を活用する分岐アルゴリズムを設計すること。
• 入力グラフを O(pk) 頂点の小さなインスタンスに縮小するカーネル化技術を用い、サブ指数時間での効率的な探索を可能にすること。
• 指数時間仮説 (ETH) の下で下界を確立するために、3-SAT からの新規還元を適用すること。
• 各変数と節がそれぞれサイクルおよび節固有の構造として符号化されるガジェットベースの還元を構築し、論理的満たしをシミュレートすること。
• 任意のアルゴリズムが時間 2^o(√(pk)) · n^O(1) で p-クラスタ編集問題を解けるならば、ETH に反するため、上界の最適性を示すこと。
• 最小編集集合の構造を分析し、各変数に対して正確に 2s_x 条の辺と、各節に対して 8 条の辺を含む必要があることを示すことにより、論理的一致性を強制すること。

実験結果

リサーチクエスチョン

• RQ1 p-クラスタ編集問題は √(pk) の関数としてサブ指数時間で解けるか。また、この境界はタイトか？
• RQ2 p が k の関数として増加する際、p-クラスタ編集問題の正確なマルチ変数パラメータ化された複雑さは何か？
• RQ3 ETH の下で、p-クラスタ編集問題にサブ指数時間アルゴリズムが存在するならば、3-SAT に対してもサブ指数時間アルゴリズムが存在するか？
• RQ4 p が k に対して線形から非線形に変わる際、複雑さにフェーズ遷移が生じるか？
• RQ5 p が k に対して非線形（例：p = √k）である場合、p-クラスタ編集問題に PTAS を設計できるか？

主な発見

• 本稿は、時間 O(2^O(√(pk)) + n + m) で p-クラスタ編集問題を解くアルゴリズムを提示しており、これは √(pk) に関してサブ指数時間である。
• ETH の下で一致する下界が示されたことから、上界の定数を除き最適であることが証明された。
• 任意の定数 σ ∈ [0,1] に対して、p = Θ(k^σ) となるものが存在し、ETH が成り立たない限り、p-クラスタ編集問題を時間 2^o(√(pk)) · n^O(1) で解くことはできない。
• 下界構成には最大次数 5 の 3-SAT 邏 辞が用いられ、疎なインスタンスですら困難であることが示された。
• 問題はフェーズ遷移を示す：p = o(k) のとき、問題は SUBEPT に属するが、p = Θ(k^σ) のとき、複雑さは 2^O(√(pk)) でタイトに束縛される。
• 最小編集集合の構造的解析により、各変数と節に対して正確な辺数が強制され、これは忠実な 3-SAT 邏 辞を可能にし、下界の証明を可能にした。