[논문 리뷰] Potential Maximal Cliques Parameterized by Edge Clique Cover.

Tuukka Korhonen|arXiv (Cornell University)|2019. 12. 23.

Bayesian Modeling and Causal Inference인용 수 3

한 줄 요약

이 논문은 트리너비, 최소 필르, 피드백 정점 집합 등의 기본 그래프 문제에 대해 간선 클리크 커버 크기(cc)를 매개변수로 사용하는 파rameterized 알고리즘을 제시한다. 잠재적 최대 클리크의 수가 $3^{cc}$로 유계임을 보이며, 이에 따라 $O^*(3^{cc})$ 시간 알고리즘을 가능하게 하고, 주어진 간선 클리크 커버 크기가 $cc'$일 경우 $O^*(2^{cc'})$로 향상되어 완전한 계통수 나무 문제에 대해 $O^*(2^n)$ 알고리즘을 도출한다.

ABSTRACT

Many graph problems can be formulated as a task of finding an optimal triangulation of a given graph with respect to some notion of optimality. In this paper we give algorithms to such problems parameterized by the size of a minimum edge clique cover ($cc$) of the graph. The parameter $cc$ is both natural and well-motivated in many problems on this setting. For example, in the perfect phylogeny problem $cc$ is at most the number of taxa, in fractional hypertreewidth $cc$ is at most the number of hyperedges, and in treewidth of Bayesian networks $cc$ is at most the number of non-root nodes of the Bayesian network. Our results are based on the framework of potential maximal cliques. We show that the number of minimal separators of graphs is at most $2^{cc}$ and the number of potential maximal cliques is at most $3^{cc}$. Furthermore, these objects can be listed in times $O^*(2^{cc})$ and $O^*(3^{cc})$, respectively, even when no edge clique cover is given as input; the $O^*(\cdot)$ notation omits factors polynomial in the input size. Using these enumeration algorithms we obtain $O^*(3^{cc})$ time algorithms for problems in the potential maximal clique framework, including for example treewidth, minimum fill-in, and feedback vertex set. We also obtain an $O^*(3^m)$ time algorithm for fractional hypertreewidth, where $m$ is the number of hyperedges. In the case when an edge clique cover of size $cc'$ is given as an input we further improve the time complexity to $O^*(2^{cc'})$ for treewidth, minimum fill-in, and chordal sandwich. This implies an $O^*(2^n)$ time algorithm for perfect phylogeny, where $n$ is the number of taxa. We also give polynomial space algorithms with time complexities $O^*(9^{cc'})$ and $O^*(9.001^{cc})$ for problems in this framework.

연구 동기 및 목표

• 최소 간선 클리크 커버(cc) 크기를 매개변수로 삼아 트리너비 및 최소 필르 등의 그래프 문제의 계산 복잡도를 다루는 것.
• 작은 간선 클리크 커버를 가진 그래프의 구조적 성질을 이용해 잠재적 최대 클리크 프레임워크 내 문제의 시간 복잡도를 감소시키는 것.
• cc 매개변수 하에서 최소 분리자 및 잠재적 최대 클리크에 대한 효율적인 열거 및 알고리즘 기법을 개발하는 것.
• 완전한 계통수 나무 및 분수 투명 트리너비와 같은 특정 응용 분야에 대해 더 나은 시간 복잡도를 보장하는 알고리즘을 제공하는 것.
• 시간 복잡도를 향상시키면서 다항식 공간 솔루션을 달성하는 것. 예를 들어 핵심 문제에 대해 $O^*(9^{cc'})$ 및 $O^*(9.001^{cc})$ 시간 복잡도를 제공한다.

제안 방법

• 잠재적 최대 클리크 프레임워크를 활용하여 그래프 문제를 이러한 구조 위의 최적화 문제로 재정의하는 것.
• 간선 클리크 커버 크기에 기반해 그래프 내 최소 분리자의 수는 최대 $2^{cc}$이며, 잠재적 최대 클리크의 수는 최대 $3^{cc}$임을 증명하는 것.
• 입력으로 간선 클리크 커버가 주어지지 않더라도 $O^*(3^{cc})$ 시간 내에 모든 잠재적 최대 클리크를 나열하는 알고리즘을 개발하는 것.
• 입력으로 간선 클리크 커버 크기가 $cc'$인 경우, 보다 효율적인 열거 전략을 사용해 시간 복잡도를 $O^*(2^{cc'})$로 향상시키는 것.
• 열거 결과를 활용해 트리너비, 최소 필르, 순환 샌드위치 문제를 $O^*(2^{cc'})$ 시간 내에 해결하는 것.
• 공간 효율성과 시간 효율성을 균형 잡기 위해 다항식 공간 알고리즘을 설계하여 동일한 문제에 대해 $O^*(9^{cc'})$ 및 $O^*(9.001^{cc})$ 시간 복잡도를 확보하는 것.

실험 결과

연구 질문

• RQ1 최소 간선 클리크 커버 크기를 매개변수로 삼을 때, 그래프 내 최소 분리자 및 잠재적 최대 클리크의 최대 수는 얼마인가?
• RQ2 입력으로 간선 클리프 커버가 필요 없이 $O^*(3^{cc})$ 시간 내에 잠재적 최대 클리크의 열거를 효율적으로 수행할 수 있는가?
• RQ3 크기가 $cc'$인 간선 클리프 커버가 존재할 경우, 트리너비 및 관련 그래프 매개변수 계산의 시간 복잡도는 어떻게 영향을 받는가?
• RQ4 잠재적 최대 클리크 프레임워크 내 문제에 대해 시간 복잡도를 향상시키면서 다항식 공간 알고리즘을 설계할 수 있는가?
• RQ5 cc 매개변수는 완전한 계통수 나무 및 분수 투명 트리너비와 같은 특정 응용 분야에 어떤 영향을 미치는가?

주요 결과

• 모든 그래프에서 최소 분리자의 수는 최대 $2^{cc}$이며, 여기서 $cc$는 최소 간선 클리프 커버의 크기이다.
• 잠재적 최대 클리크의 수는 최대 $3^{cc}$이며, 입력으로 간선 클리프 커버가 필요 없이 $O^*(3^{cc})$ 시간 내에 열거할 수 있다.
• 입력으로 크기가 $cc'$인 간선 클리프 커버가 주어지면, 트리너비, 최소 필르, 순환 샌드위치 문제의 시간 복잡도는 $O^*(2^{cc'})$로 감소한다.
• 완전한 계통수 나무 문제에 대해 $O^*(2^n)$ 시간 알고리즘을 확보하며, 여기서 $n$은 종의 수이며, 이 경우 $cc \to n$이기 때문이다.
• 다항식 공간 알고리즘을 개발하여 시간 복잡도 $O^*(9^{cc'})$ 및 $O^*(9.001^{cc})$를 확보하였으며, 이는 공간과 시간 효율성 간의 트레이드오프를 제공한다.
• 프레임워크를 활용해 분수 투명 트리너비 문제에 대해 $O^*(3^m)$ 시간 알고리즘을 도출하였으며, 여기서 $m$은 하이퍼엣지의 수이며, $m$을 간선 클리프 커버 크기와 연결함으로써 유도된다.