[논문 리뷰] Fast Biclustering by Dual Parameterization

Pål Grønås Drange, Felix Reidl외 2명|arXiv (Cornell University)|2015. 07. 29.

Constraint Satisfaction and Optimization참고 문헌 2인용 수 6

한 줄 요약

이 논문은 Bicluster Editing 및 그 일반화 문제에 대해 수상한 시간 복잡도의 매개변수화 알고리즘을 제안한다. 이는 목표로 하는 컴ponent 수(p)와 편집 거리(k)를 동시에 고려하는 이중 매개변수화를 도입함으로써 이루어지며, p-Starforest Editing 및 p-Bicluster Editing과 같은 문제들이 2^{O(√(pk))} · poly(n) 시간 내에 해결 가능하다는 것을 보여준다. 이는 기존의 매개변수화 방식에 비해 상당한 향상이며, ETH 하에서 이중 매개변수화가 하위지수적 가용성에 필수적임을 증명한다.

ABSTRACT

We study two clustering problems, Starforest Editing, the problem of adding and deleting edges to obtain a disjoint union of stars, and the generalization Bicluster Editing. We show that, in addition to being NP-hard, none of the problems can be solved in subexponential time unless the exponential time hypothesis fails. Misra, Panolan, and Saurabh (MFCS 2013) argue that introducing a bound on the number of connected components in the solution should not make the problem easier: In particular, they argue that the subexponential time algorithm for editing to a fixed number of clusters (p-Cluster Editing) by Fomin et al. (J. Comput. Syst. Sci., 80(7) 2014) is an exception rather than the rule. Here, p is a secondary parameter, bounding the number of components in the solution. However, upon bounding the number of stars or bicliques in the solution, we obtain algorithms which run in time $2^{5 \sqrt{pk}} + O(n+m)$ for p-Starforest Editing and $2^{O(p \sqrt{k} \log(pk))} + O(n+m)$ for p-Bicluster Editing. We obtain a similar result for the more general case of t-Partite p-Cluster Editing. This is subexponential in k for fixed number of clusters, since p is then considered a constant. Our results even out the number of multivariate subexponential time algorithms and give reasons to believe that this area warrants further study.

연구 동기 및 목표

• 그래프 편집 문제에 하위지수 시간 알고리즘이 존재하는지, 특히 이중구조 및 별림구조로 향하는 문제에 대해 조사한다.
• 해결책 내의 연결 성분 수(p)를 제한할 경우 하위지수 매개변수화 알고리즘이 가능해지는지 확인한다.
• 이중 매개변수화(p와 k)가 하위지수 시간 해법에 필수적임을 보여주는 하한을 설정한다.
• 이러한 결과를 더 일반적인 t-Partite p-Cluster Editing 문제로 확장한다.
• 일반적인 그래프에서 위상 제약 조건 없이 이러한 문제들이 하위지수 알고리즘을 갖는지 여부를 해결한다.

제안 방법

• p와 k를 이중 매개변수로 사용하는 p-Starforest Editing 및 p-Bicluster Editing 문제를 제안하고 분석한다. 여기서 p는 컴포넌트 수의 상한을, k는 간선 편집 수의 상한을 의미한다.
• 별림구조와 이중구조의 구조적 제약을 활용하는 분기 알고리즘을 설계하여, p-Starforest Editing의 실행 시간을 2^{5√(pk)} + O(n+m)로 확보한다.
• 핵심화 기법을 사용하여 입력 그래프를 크기 O(p(2k+1) + 2k)의 커널로 축소하며, 이는 매개변수의 곱으로 유계된다.
• 다색 정규 독립 집합 문제에서의 축소를 통해, p로만 매개변수화할 경우 W[1]-난이도임을 증명함으로써, p가 단독으로 매개변수로 사용될 수 없음을 보여준다.
• ETH 기반 하한을 설정하여, 이중 매개변수화 없이 하위지수 알고리즘이 불가능함을 증명한다.
• 변수 및 절 조건 게이지 구조를 사용하여 3-SAT 문제를 Bicluster Editing으로 축소함으로써, 하위삼각형 그래프에서의 NP-완전성을 증명하고, 정확한 편집 예산을 확립한다.

실험 결과

연구 질문

• RQ1 목표 컴포넌트 수(p)가 제한될 경우, Bicluster Editing 및 관련 문제에 대해 하위지수 시간 알고리즘이 달성 가능한가?
• RQ2 이중 매개변수화(p와 k)는 하위지수 시간 해법에 필수적인가, 아니면 k만으로도 효율적인 해법이 가능한가?
• RQ3 p-Cluster Editing에 대해 하위지수 알고리즘이 존재한다면, 이는 t-Partite p-Cluster Editing과 같은 더 일반적인 그래프 클래스로도 확장 가능한가?
• RQ4 Bicluster Editing은 O(p + k) 크기의 선형 커널을 갖는가, 아니면 현재의 O(p(2k+1) + 2k) 크기의 커널이 최적인가?
• RQ5 일반적인 그래프에서 위상 제약 조건 없이 하위지수 매개변수화 시간 알고리즘을 갖는 자연스러운 그래프 문제들이 존재하는가?

주요 결과

• p-Starforest Editing은 O(2^{5√(pk)} + n + m) 시간 내에 해결 가능하며, p가 고정되어 있을 경우 k에 대해 하위지수적이다.
• p-Bicluster Editing은 실행 시간 2^{O(p√k log(pk))} + O(n + m)로 하위지수 시간 알고리즘을 갖는다. p가 고정되어 있을 경우 k에 대해 하위지수적이다.
• 문제는 하위삼각형 그래프에서도 여전히 NP-완전하며, ETH가 성립하지 않는 한 하위지수 알고리즘이 존재하지 않는다.
• p-Cluster Editing은 p로만 매개변수화할 경우 W[1]-난이도이므로, p가 단독으로 효율적 알고리즘의 매개변수로 사용될 수 없다는 것을 의미한다.
• 이중 매개변수화(p, k)는 필수적이다. 이중 매개변수화 없이선 ETH 하에서 하위지수 시간 알고리즘이 존재하지 않는다.
• 결과는 일반적인 t-Partite p-Cluster Editing 문제로도 확장되며, 이중 매개변수화가 더 넓은 설정에서도 하위지수 알고리즘 가능성을 보여준다.