[논문 리뷰] Drawing (Complete) Binary Tanglegrams: Hardness, Approximation, Fixed-Parameter Tractability

Kevin Buchin, Maike Buchin외 5명|arXiv (Cornell University)|2008. 06. 05.

Computational Geometry and Mesh Generation참고 문헌 17인용 수 13

한 줄 요약

이 논문은 루트가 있는 이진 트리 쌍으로 이루어진 이진 탄글램(서로 매칭된 리프가 있는)의 간선 교차 수를 최소화하는 데 필요한 계산 복잡도를 조사한다. 완전 이진 트리일 경우조차 NP-난이도임을 증명하고, 유일성 게임 추측 하에 근사 불가능성을 입증하며, 완전 이진 트리에 대해 O(n³) 시간에 2-근사 알고리즘을 제안하고, 교차 수를 매개변수로 하는 고정-파rameter 트래터블 알고리즘을 제시한다.

ABSTRACT

A \emph{binary tanglegram} is a drawing of a pair of rooted binary trees whose leaf sets are in one-to-one correspondence; matching leaves are connected by inter-tree edges. For applications, for example, in phylogenetics, it is essential that both trees are drawn without edge crossings and that the inter-tree edges have as few crossings as possible. It is known that finding a tanglegram with the minimum number of crossings is NP-hard and that the problem is fixed-parameter tractable with respect to that number. We prove that under the Unique Games Conjecture there is no constant-factor approximation for binary trees. We show that the problem is NP-hard even if both trees are complete binary trees. For this case we give an $O(n^3)$-time 2-approximation and a new, simple fixed-parameter algorithm. We show that the maximization version of the dual problem for binary trees can be reduced to a version of MaxCut for which the algorithm of Goemans and Williamson yields a 0.878-approximation.

연구 동기 및 목표

• 이진 탄글램에서 간선 교차 수를 최소화하는 문제의 계산 복잡도를 이해하는 것. 이는 계통수학적 및 소프트웨어 시각화 분야에서 핵심적인 문제이다.
• 이진 탄글램 교차 수 최소화 문제에 대해 상수 요인 근사 알고리즘이 존재하는지 확인하는 것.
• 교차 수가 작을 경우에 효율적인 알고리즘을 개발하는 것, 즉 교차 수가 작은 경우에 대해 고정-파rameter 트래터블인가를 고려하는 것.
• 특히 완전 이진 트리의 맥락에서 최적의 탄글램 레이아웃의 구조적 성질을 조사하는 것.
• 교차 수 최소화 문제와 유사 문제, 예를 들어 MaxCut 및 간선 제거를 통한 평면화 문제 간의 관계를 탐구하는 것.

제안 방법

• 두 트리가 모두 완전 이진 트리일 경우조차 탄글램 교차 수 최소화 문제의 NP-난이도를 증명한다.
• 유일성 게임 추측 하에, 이진 탄글램에 대해 상수 요인 근사가 존재하지 않음을 입증한다.
• 트리 분해에 기반한 동적 프로그래밍을 사용하여 O(n³) 시간에 2-근사 알고리즘을 제안한다.
• 서브트리 순서를 모두 탐색하는 고정-파rameter 트래터블 알고리즘을 도입하며, 탐색 트리 크기는 O(4^k)이고, 실행 시간은 O(4^k n²)이다.
• 내부 노드에서 서브트리 순서를 고정하고 각 수준에서 교차 수를 세는 재귀적 분해 전략을 사용한다.
• 최대화 문제의 이중 문제로의 감소를 통해 MaxCut에 기반한 접근을 적용하며, Goemans-Williamson 0.878-근사 알고리즘을 활용한다.

실험 결과

연구 질문

• RQ1 이진 탄글램 교차 수 최소화 문제에 대해 상수 요인 근사 알고리즘이 존재하는가?
• RQ2 교차 수가 작을 경우 문제를 효율적으로 해결할 수 있는가, 즉 교차 수가 작은 경우에 대해 고정-파rameter 트래터블인가?
• RQ3 두 트리가 모두 완전 이진 트리일 경우에도 문제의 난이도가 유지되는가?
• RQ4 비교적 비효율적인 비용을 가진 비용 최소화 문제의 이중 문제인 비교적 비효율적인 비용 최대화 문제를 효과적으로 근사할 수 있는가?
• RQ5 현재 수준의 교차 회피 휴리스틱이 최적의 레이아웃을 확보하는 데 충분한가, 아니면 전역적 구성이 필요한가?

주요 결과

• 이진 탄글램 교차 수 최소화 문제는 두 트리가 모두 완전 이진 트리일 경우조차 NP-난이도이다.
• 유일성 게임 추측 하에, 이 문제에 대해 상수 요인 근사가 존재하지 않는다.
• 완전 이진 트리에 대해 O(n³) 시간에 2-근사 알고리즘을 제시한다.
• 교차 수 k를 매개변수로 하는 고정-파rameter 트래터블 알고리즘을 개발하였으며, 실행 시간은 O(4^k n²)이다.
• 알고리즘은 서브트리 순서를 재귀적으로 탐색하며, 현재 수준의 교차 회피 전략은 최적성에 부족하다.
• 비교적 비효율적인 비용 최대화 문제의 이중 문제는 MaxCut의 변형으로 감소되며, Goemans-Williamson 알고리즘을 통해 0.878-근사가 가능하다.