[논문 리뷰] Computing bounded-width tree and branch decompositions of k-outerplanar graphs

Ioannis Katsikarelis|arXiv (Cornell University)|2013. 01. 24.

Advanced Graph Theory Research참고 문헌 15인용 수 8

한 줄 요약

이 논문은 폭이 제한된 k-외평면 그래프의 트리 분해와 분기 분해를 O(kn)-시간에 효율적으로 계산하는 알고리즘을 제시한다: 트리폭은 최대 3k−1이며, 분기폭은 최대 2k+1이다. 이는 Bodlaender의 이론적 상한을 알고리즘적으로 구현한 것으로, 평면 그래프에서의 동적 프로그래밍에 실용적인 응용을 가능하게 한다.

ABSTRACT

By a well known result the treewidth of k-outerplanar graphs is at most 3k-1. This paper gives, besides a rigorous proof of this fact, an algorithmic implementation of the proof, i.e. it is shown that, given a k-outerplanar graph G, a tree decomposition of G of width at most 3k-1 can be found in O(kn) time and space. Similarly, a branch decomposition of a k-outerplanar graph of width at most 2k+1 can be also obtained in O(kn) time, the algorithm for which is also analyzed.

연구 동기 및 목표

• k-외평면 그래프의 트리폭에 대한 Bodlaender의 이론적 상한을 알고리즘적으로 정확하게 실현하는 것.
• 모든 k-외평면 그래프에 대해 최대 3k−1의 폭을 갖는 트리 분해를 선형 시간에 계산하는 알고리즘을 설계하는 것.
• 이 접근 방식을 확장하여 분기 분해를 O(n) 시간에 최대 2k+1의 폭으로 계산하는 것.
• k-외평면 그래프에 대한 트리폭과 분기폭의 상한이 날카로운지 입증하는 것.
• 효율적인 분해 알고리즘을 제공함으로써 k-외평면 그래프에서의 동적 프로그래밍을 실용적으로 가능하게 하는 것.

제안 방법

• Bodlaender의 구성적 증명을 활용하여 k-외평면 그래프의 트리 분해를 위한 알고리즘 절차를 유도하는 것.
• 입력 그래프 G의 3도 이하의 미니처 H의 최대 스패닝 포레스트 T를 사용하여, 간선 순위 er(G,T) ≤ 2k를 계산하는 것.
• 스패닝 포레스트의 변환을 통해 분기 분해를 구성하며, 폭이 max{2, er(G,T)+1} 이하가 되도록 보장하는 것.
• 미니처 성질을 적용: G가 H의 미니처이면 branchwidth(G) ≤ branchwidth(H)이므로, H로부터의 상한을 G로 이전하는 것.
• 외평면 층을 기반으로 한 재귀적 분해 전략을 사용하며, 평면성과 임bedding의 구조를 활용하는 것.
• 그래프 간선을 이진 트리의 리프에 사상하는 전단사 사상 σ를 사용하여 분기 분해를 정의하는 것.

실험 결과

연구 질문

• RQ1 Bodlaender의 k-외평면 그래프의 트리폭에 대한 이론적 상한 3k−1은 효율적인 알고리즘으로 구현될 수 있는가?
• RQ2 k-외평면 그래프에 대해 최대 3k−1의 폭을 갖는 트리 분해를 계산하는 데 필요한 계산 복잡도는 무엇인가?
• RQ3 유사한 접근 방식을 사용하여 분기 분해를 선형 시간에 최대 2k+1의 폭으로 계산할 수 있는가?
• RQ4 k-외평면 그래프에 대해 트리폭의 상한 3k−1은 날카로운가?
• RQ5 이 분해 알고리즘은 k-외평면 분해를 통해 일반 평면 그래프로 확장될 수 있는가?

주요 결과

• O(kn)-시간 알고리즘이 임의의 k-외평면 그래프에 대해 최대 3k−1의 폭을 갖는 트리 분해를 계산한다.
• O(n)-시간 알고리즘이 임의의 k-외평면 그래프에 대해 최대 2k+1의 폭을 갖는 분기 분해를 계산한다.
• k-외평면 그래프에 대해 트리폭의 상한 3k−1은 날카로우며, 이 상한에 도달하는 k-외평면 그래프가 존재한다.
• k-외평면 그래프에 대해 분기폭의 상한 2k+1은 날카로우며, 제안된 알고리즘을 통해 달성될 수 있다.
• 분해의 알고리즘적 구성은 입력 그래프 G의 3도 이하의 미니처 H에 기반하며, 어떤 최대 스패닝 포레스트 T에 대해 er(H,T) ≤ 2k이다.
• G의 분기폭은 그 미니처 H의 분기폭 이하이며, 알고리즘은 이 상한이 최대 2k+1임을 보장한다.