[논문 리뷰] Cluster Editing in Multi-Layer and Temporal Graphs

Jiehua Chen, Hendrik Molter외 2명|arXiv (Cornell University)|2018. 01. 01.

Opportunistic and Delay-Tolerant Networks인용 수 14

한 줄 요약

이 논문은 다층 및 시간적 그래프의 클러스터링을 위한 두 가지 새로운 변형인 다층 클러스터 에디팅(Multi-Layer Cluster Editing, MLCE)과 시간적 클러스터 에디팅(Temporal Cluster Editing, TCE)을 제안하고 분석한다. MLCE에 대해 고정 매개변수 다항 시간 알고리즘을 제시하며 실행 시간이 $k^{O(k+d)}s^{O(1)}$임을 보이고, TCE가 $d = 3$일지라도 $k$에 대해 W[1]-경건함을 증명함으로써 두 문제 간의 근본적인 알고리즘적 차이를 드러낸다.

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.

연구 동기 및 목표

• 다층 및 시간적 그래프에서의 클러스터 에디팅의 계산 복잡도를 체계화하고 연구함으로써, 고전적 클러스터 에디팅을 동적이고 다중 소스 환경으로 확장한다.
• 주요 매개변수 $k$ (층당 허용 편집 수)와 $d$ (표시된 정점 수)에 대해 다층 클러스터 에디팅(MLCE)과 시간적 클러스터 에디팅(TCE)의 매개변수 복잡도를 분석한다.
• 특히 알고리즘적 가용성과 시간 설정에서의 국소적이지 않은 의존성 존재 여부 측면에서 MLCE와 TCE 간의 구조적 차이를 규명한다.
• MLCE에 대한 커널화 프레임워크를 개발하고 이를 TCE로 확장함으로써 커널 크기와 계산 복잡도의 경계를 설정한다.
• 표준 복잡도 가정 하에, $n$ (정점 수)에 대해 MLCE나 TCE가 다항식 커널을 갖지 못함을 증명한다. 이는 NP ⊆ coNP/poly가 성립하지 않는 한 성립한다.

제안 방법

• 모든 층이 $d$개의 표시된 정점을 제거한 후 동일한 클러스터 그래프로 변환되어야 하며, 각 층당 최대 $k$개의 간선 편집이 허용되는 다층 클러스터 에디팅(MLCE) 문제를 제안한다.
• 연속된 층들이 각 층에서 $d$개의 표시된 정점을 제거한 후 일관성 있게 유지되어야 하며, 각 층당 $k$개의 편집이 허용되는 시간적 클러스터 에디팅(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)$이다.
• 고전적 클러스터 에디팅에서 AND-크로스 컴positions를 사용하여, MLCE와 TCE가 $n$에 대해 다항식 커널을 갖지 못함을 증명한다. 이는 NP ⊆ coNP/poly가 성립하지 않는 한 성립한다.
• W[1]-경건성 증명과 커널화 기법을 포함한 매개변수 복잡도 기법을 활용하여, 특히 $k$와 $d$에 대해 가용성 경계를 분석한다.

실험 결과

연구 질문

• RQ1 MLCE는 $k$와 $d$의 조합 매개변수에 대해 고정 매개변수 다항 시간인가?
• 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)}$인 고정 매개변수 다항 시간 알고리즘을 갖는다. 이는 $k$와 $d$가 작을 경우 효율적인 가용성을 시사한다.
• TCE는 $d = 3$일지라도 $k$에 대해 W[1]-경건함을 보이며, 이는 시간 층 간의 국소적이지 않은 의존성으로 인한 강한 알고리즘적 비가용성을 시사한다.
• 안전한 감소 규칙 8개를 사용하여 MLCE에 대해 $O(\ell n^3)$ 시간 내에 $O(\ell^3(k + d)^4)$ 크기의 커널을 계산할 수 있다.
• TCE의 커널 크기는 MLCE의 감소 규칙를 $d$ 대신 $d\ell$로 대체하여 유도한 $O(\ell^3(k + d\ell)^4)$이며, 이는 $O(\ell n^3)$ 시간 내에 계산된다.
• 표준 복잡도 가정 하에, $n$ (정점 수)에 대해 MLCE나 TCE는 다항식 커널을 갖지 못한다. 이는 고전적 클러스터 에디팅에서 AND-크로스 컴포지션을 통해 증명되었다.
• TCE의 구조적 풍부성로 인해 고전적 클러스터 에디팅이나 MLCE에 존재하지 않는 알고리즘적 장애물이 발생하며, 특히 층 간 시간적 비국소성에 기인한 정점 표시에서 나타난다.