[論文レビュー] Cluster Editing in Multi-Layer and Temporal Graphs

Jiehua Chen, Hendrik Molter+2 more|arXiv (Cornell University)|Jan 1, 2018

Opportunistic and Delay-Tolerant Networks被引用数 14

ひとこと要約

本稿は、マルチレイヤーおよび時系列グラフのクラスタリングを目的とした、Cluster Editingの2つの新規変種—Multi-Layer Cluster Editing (MLCE) と Temporal Cluster Editing (TCE)—を導入し、分析している。MLCEに対しては、実行時間 $k^{O(k+d)}s^{O(1)}$ の固定パラメータ tractable (FPT) アルゴリズムを提示している一方で、TCEが $d = 3$ でさえも $k$ に関して W[1]-hard であることを証明しており、両問題間に根本的なアルゴリズム的差異が存在することを示している。

ABSTRACT

Motivated by the recent rapid growth of research for algorithms to cluster multi-layer and temporal graphs, we study extensions of the classical Cluster Editing problem. In Multi-Layer Cluster Editing we receive a set of graphs on the same vertex set, called layers and aim to transform all layers into cluster graphs (disjoint unions of cliques) that differ only slightly. More specifically, we want to mark at most d vertices and to transform each layer into a cluster graph using at most k edge additions or deletions per layer so that, if we remove the marked vertices, we obtain the same cluster graph in all layers. In Temporal Cluster Editing we receive a sequence of layers and we want to transform each layer into a cluster graph so that consecutive layers differ only slightly. That is, we want to transform each layer into a cluster graph with at most k edge additions or deletions and to mark a distinct set of d vertices in each layer so that each two consecutive layers are the same after removing the vertices marked in the first of the two layers. We study the combinatorial structure of the two problems via their parameterized complexity with respect to the parameters d and k, among others. Despite the similar definition, the two problems behave quite differently: In particular, Multi-Layer Cluster Editing is fixed-parameter tractable with running time k^{O(k + d)} s^{O(1)} for inputs of size s, whereas Temporal Cluster Editing is W[1]-hard with respect to k even if d = 3.

研究の動機と目的

• マルチレイヤーおよび時系列グラフにおけるクラスタリング編集の計算複雑性を形式化し、古典的 Cluster Editing を動的で複数の情報源を含む設定に拡張すること。
• キーとなるパrameter $k$（各レイヤーあたりの編集数）および $d$（マークされた頂点数）に関して、Multi-Layer Cluster Editing (MLCE) および Temporal Cluster Editing (TCE) のパラメータ化された複雑性を分析すること。
• 特に、アルゴリズム的 tractability および時系列設定における非局所的依存関係の有無という観点から、MLCE と TCE の構造的差異を特定すること。
• MLCE に対してカーネル化フレームワークを構築し、それを TCE に拡張することで、カーネルサイズおよび計算複雑性の境界を確立すること。
• MLCE も TCE も、頂点数 $n$ に関して多項式カーネルをもたない、すなわち NP ⊆ coNP/poly でない限り、標準の複雑性仮定のもとで、多項式カーネルをもたないことを証明すること。

提案手法

• すべてのレイヤーが $d$ 個のマークされた頂点を削除した後、各レイヤーで最大 $k$ 個の辺編集を行うことで、同じクラスターグラフに変換できる問題として Multi-Layer Cluster Editing (MLCE) を提案する。
• 連続するレイヤーが、各レイヤーで $d$ 個のマークされた頂点を削除した後、$k$ 個の編集で整合性を持つように変換される問題として Temporal Cluster Editing (TCE) を導入する。
• MLCE インスタンスを縮小するために8つの簡約規則を適用し、$O(\ell n^3)$ 時間で安全かつ包括的に適用可能であり、結果として $O(\ell^3(k + d)^4)$ のカーネルが得られる。
• MLCE の簡約規則を TCE に適応する際、$d$ を $d\ell$ に置き換えることで、$O(\ell^3(k + d\ell)^4)$ のカーネルが得られ、実行時間は $O(\ell n^3)$ である。
• 古典的 Cluster Editing からの AND-cross-composition を用いて、MLCE も TCE も $n$ に関して多項式カーネルをもたないことを証明する。
• W[1]-hardness 証明やカーネル化を含むパラメータ化された複雑性技術を用いて、特に $k$ および $d$ に関して、 tractability の境界を分析する。

実験結果

リサーチクエスチョン

• RQ1 MLCE は、組み合わせパrameter $k$ と $d$ に関して固定パラメータ tractable か？
• RQ2 TCE のパラメータ化された複雑性は $k$ に関してどうか、特に $d$ が小さい場合（例：$d = 3$）にどうか？
• RQ3 TCE と MLCE の構造的差異は、時系列設定における非局所的依存関係の有無によって説明可能か？
• RQ4 MLCE も TCE も、頂点数 $n$ に関して多項式カーネルをもつか？
• RQ5 MLCE の簡約規則を TCE に安全に拡張できるか？また、その場合のカーネルサイズの境界はどのようになるか？

主な発見

• MLCE は、入力サイズ $s$ に対して実行時間 $k^{O(k+d)}s^{O(1)}$ の固定パラメータ tractable であり、$k$ と $d$ が小さい場合には効率的な tractability を示している。
• TCE は $d = 3$ であっても $k$ に関して W[1]-hard であることが示され、時間的レイヤーにまたがる非局所的依存関係により、強いアルゴリズム的非 tractability が生じている。
• 8つの安全な簡約規則を用いることで、$O(\ell n^3)$ 時間で $O(\ell^3(k + d)^4)$ のカーネルを MLCE に対して計算可能である。
• TCE のカーネルは、$d$ を $d\ell$ に置き換えた MLCE の簡約規則を変更することで得られ、サイズは $O(\ell^3(k + d\ell)^4)$ であり、$O(\ell n^3)$ 時間で計算可能である。
• MLCE も TCE も、頂点数 $n$ に関して多項式カーネルをもたない（NP ⊆ coNP/poly でない限り）、古典的 Cluster Editing からの AND-cross-composition により示された。
• TCE の構造的豊かさは、古典的 Cluster Editing や MLCE にないアルゴリズム的障害を生じさせ、特に時間的非局所性に起因する頂点マークのレイヤー間依存関係がその要因である。