[논문 리뷰] Spanning trees short or small

R. Ravi, R. Sundaram외 3명|arXiv (Cornell University)|1994. 01. 23.

Advanced Graph Theory Research참고 문헌 25인용 수 46

한 줄 요약

이 논문은 그래프에서 적어도 k개의 노드를 포함하는 최소 가중치 트리를 찾는 kMST 문제를 조사하며, 유클리드 평면에서도 NP-난이도임을 증명한다. 일반적인 간선 가중치 그래프에 대해 2√k의 근사 비율을 갖는 근사 알고리즘과 유클리드 점들에 대해 O(k^{1/4})의 근사 비율을 갖는 알고리즘을 제시한다. 또한, 트리너프가 제한된 그래프와 볼록 경계 위의 점들에 대해 다항시간 정확한 해법을 제공하며, T. C. Hu의 프레임워크를 활용해 최소 지름 k-트리 문제를 단순한 프레임워크로 다룬다.

ABSTRACT

We study the problem of finding small trees. Classical network design problems are considered with the additional constraint that only a specified number k of nodes are required to be connected in the solution. A prototypical example is the kMST problem in which we require a tree of minimum weight spanning at least k nodes in an edge-weighted graph. We show that the kMST problem is NP-hard even for points in the Euclidean plane. We provide approximation algorithms with performance ratio 2v/ for the general edge-weighted case and O(k1/4) for the case of points in the plane. Polynomial-time exact solutions are also presented for the class of treewidth-bounded graphs, which includes trees, series-parallel graphs, and bounded bandwidth graphs, and for points on the boundary of a convex region in the Euclidean plane. We also investigate the problem of finding short trees and, more generally, that of finding networks with minimum diameter. A simple technique is used to provide a polynomiM-time solution for finding k-trees of minimum diameter. We identify easy and hard problems arising in finding short networks using a framework due to T. C. Hu.

연구 동기 및 목표

• 그래프에서 적어도 k개의 노드를 포함하는 최소 가중치 트리를 찾는 kMST 문제를 다루며, 연결되어야 할 노드 수가 정확히 k개라는 조건 하에.
• kMST 문제의 복잡도를 조사하여, 유클리드 평면 상의 점들에 대해서도 NP-난이도임을 증명한다.
• 일반적이고 기하학적 인스턴스에 대해 성능 보장이 있는 효율적인 근사 알고리즘을 개발한다.
• kMST 문제가 다항시간 정확한 해법을 갖는 그래프 클래스와 기하 구조를 규명한다.
• T. C. Hu의 프레임워크를 활용해 최소 지름 k-트리 문제로의 연구를 확장한다.

제안 방법

• 기본-쌍대 접근법과 트리 분해 기법을 사용하여 일반적인 간선 가중치 kMST 문제에 대해 2√k-근사 알고리즘을 유도한다.
• 유클리드 평면 상의 점들에 대해 기하 클러스터링과 스패닝 트리 휴리스틱을 적용하여 O(k^{1/4})-근사 비율을 달성한다.
• 트리너프가 제한된 그래프, 즉 트리와 순차-병렬 그래프에 대해 트리 분해 위주의 동적 계획법을 사용하여 kMST를 다항시간 내에 정확히 해결한다.
• 볼록 영역의 경계 상에 위치한 점들에 대해 기하학적 볼록성과 단조성 성질을 활용하여 다항시간 정확한 알고리즘을 설계한다.
• 최소 지름 k-트리 문제에 대해 단순한 동적 계획법 기법을 적용하며, 네트워크 설계를 위한 T. C. Hu의 프레임워크를 활용한다.
• 네트워크 설계와 조합 최적화 기법을 통합하여 k-트리에서의 가중치 및 지름 최소화 문제에 대한 통합된 결과를 도출한다.

실험 결과

연구 질문

• RQ1 kMST 문제는 유클리드 평면에서도 NP-난이도이며, 효율적으로 근사할 수 있는가?
• RQ2 일반적인 간선 가중치 그래프에서 kMST 문제에 대해 달성 가능한 근사 비율은 무엇인가?
• RQ3 트리너프가 제한된 그래프와 같은 특수 그래프 클래스에서 kMST 문제에 대해 다항시간 정확한 해법을 얻을 수 있는가?
• RQ4 입력이 유클리드 평면 상의 점들인 경우 kMST 문제의 근사 성능은 어떻게 되는가?
• RQ5 구조화된 프레임워크를 사용해 최소 지름 k-트리를 다항시간 내에 구성할 수 있는가?

주요 결과

• kMST 문제는 유클리드 평면 상의 점들에 대해서도 NP-난이도임이 증명되어 기하학적 환경에서의 계산 불가능성을 입증한다.
• 일반적인 간선 가중치 kMST 문제에 대해 2√k의 성능 비율을 갖는 근사 알고리즘을 개발하였다.
• 유클리드 평면 상의 점들에 대해 O(k^{1/4})-근사 비율을 달성하여 이전의 한계를 향상시켰다.
• 트리너프가 제한된 그래프, 즉 트리와 순차-병렬 그래프에 대해 다항시간 정확한 알고리즘을 제공하였다.
• 평면 상의 볼록 영역 경계 위에 위치한 점들에 대해 kMST 문제에 대해 다항시간 정확한 알고리즘을 제시하였다.
• 단순한 동적 계획법 기법을 통해 T. C. Hu의 네트워크 설계 프레임워크를 활용하여 최소 지름 k-트리를 다항시간 내에 구성할 수 있었다.