[論文レビュー] Alternating Path and Coloured Clustering

Leizhen Cai, On Yin Leung|arXiv (Cornell University)|Jul 27, 2018

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

ひとこと要約

この論文は、頂点彩色による辺色分けグラフにおける安定辺の最大化というカラフルクラスタリング問題が、最大の頂点単色部分グラフを求める問題、あるいはすべての交互パスを削除するための最小辺削除問題と同値であることを示している。本研究では、最小カット還元を用いた O(m^{3/2} log n) 時間のアルゴリズムを提案し、辺が2色に色分けされたグラフに対して高速に解けるようにした。また、最大次数4の平面二部グラフにおける辺が3色に色分けされた場合のNP完全性を証明し、安定・不安定辺の数をパラメータとするFPTアルゴリズムを提示。4k頂点のカーネルと 2k² + k 梱包のカーネルをそれぞれ得た。

ABSTRACT

In the Coloured Clustering problem, we wish to colour vertices of an edge coloured graph to produce as many stable edges as possible, i.e., edges with the same colour as their ends. In this paper, we reveal that the problem is in fact a maximum subgraph problem concerning monochromatic subgraphs and alternating paths, and demonstrate the usefulness of such connection in studying these problems. We obtain a faster algorithm to solve the problem for edge-bicoloured graphs by reducing the problem to a minimum cut problem. On the other hand, we push the NP-completeness of the problem to edge-tricoloured planar bipartite graphs of maximum degree four. Furthermore, we also give FPT algorithms for the problem when we take the numbers of stable edges and unstable edges, respectively, as parameters.

研究の動機と目的

• カラフルクラスタリング問題を、頂点単色部分グラフと交互パスの削除を含む最大部分グラフ問題として再定式化すること。
• 辺が2色に色分けされたグラフにおけるカラフルクラスタリングの時間計算量を改善すること。
• 最大次数4の辺が3色に色分けされた平面二部グラフにおけるカラフルクラスタリングのNP完全性を確立すること。
• 安定・不安定辺の数をパラメータとするFPTアルゴリズムを設計すること。
• 不安定辺パラメータ化における O(k) サイズの多項式カーネルを導出すること。

提案手法

• 辺が2色に色分けされたグラフにおけるカラフルクラスタリング問題を最小カット問題に還元し、計算を高速化する。
• 元のグラフ G から簡略化されたグラフ G* を構築し、辺の競合解析とカーネル化を容易にする。
• 辺の競合グラフ X(G*) を用いて競合ペアをモデル化し、競合ペア削除問題を頂点被覆問題に還元する。
• X(G*) における重み付き頂点被覆問題に 1.2783^k 時間のアルゴリズムを適用し、競合ペア削除問題を解く。
• カラフルクラスタリングと交互パス削除の同値性を活用し、アルゴリズム的技術を移転する。
• カラフルな頂点と不安定辺の構造的境界を用いて、不安定辺パラメータ化におけるカーネルを 4k 頂点および 2k² + k 梱包に導出する。

実験結果

リサーチクエスチョン

• RQ1 最小カットに基づくアプローチを用いて、O(m^{3/2}n) 時間未満で辺が2色に色分けされたグラフにおけるカラフルクラスタリング問題を解くことは可能か？
• RQ2 最大次数4の辺が3色に色分けされた平面二部グラフにおけるカラフルクラスタリングはNP完全か？
• RQ3 安定辺または不安定辺の数をパラメータとするFPTアルゴリズムを開発することは可能か？
• RQ4 少なくとも k 梱包の頂点単色部分グラフを求める問題に多項式カーネルが存在するか？
• RQ5 すべての交互サイクルを高々 k 梱包の辺削除で破壊するFPTアルゴリズムは存在するか？

主な発見

• 最小カット還元を用いた O(m^{3/2} log n) 時間のアルゴリズムを、辺が2色に色分けされたグラフに対して開発。従来の二部独立集合に基づく O(m^{3/2}n) 時間アルゴリズムを改善した。
• カラフルクラスタリングのNP完全性が、最大次数4の平面二部グラフにおける辺が3色に色分けされた場合に拡張された。
• 安定・不安定辺の両パラメータ化に対してFPTアルゴリズムを設計。不安定辺パラメータ化では、最大4k頂点および 2k² + k 梱包のカーネルを得た。
• カーネル化と辺の競合グラフ X(G*) における重み付き頂点被覆を用いて、競合ペア削除問題を O(m + n + 1.2783^k) 時間で解いた。
• 少なくとも k 梱包の頂点単色部分グラフを求める問題は O(k) サイズのカーネルを有するため、より高速な正確アルゴリズムの可能性が示唆された。
• カラフルクラスタリング、頂点単色部分グラフ、および交互パス削除の間の関係が、アルゴリズム的解析の統合的枠組みを提供した。