[논문 리뷰] Tree spanners of small diameter

Ioannis Papoutsakis|arXiv (Cornell University)|2015. 03. 20.

Computational Geometry and Mesh Generation참고 문헌 18인용 수 3

한 줄 요약

이 논문은 무방향 그래프에서 지름이 최대 t+1인 트리 t-스패너의 존재성을 조사한다. t=3인 경우 다항식 시간 알고리즘을 제시하고 t≥4인 경우 NP-완전성을 증명하여 t≤3에 대한 복잡도 상태를 해결하고 더 큰 t에 대한 난이도를 규명한다.

ABSTRACT

A graph that contains a spanning tree of diameter at most $t$ clearly admits a tree $t$-spanner, since a tree $t$-spanner of a graph $G$ is a sub tree of $G$ such that the distance between pairs of vertices in the tree is at most $t$ times their distance in $G$. In this paper, graphs that admit a tree $t$-spanner of diameter at most $t+1$ are studied. For $t$ equal to 1 or 2 the problem has been solved. For $t=3$ we present an algorithm that determines if a graph admits a tree 3-spanner of diameter at most 4. For $t\geq4$ it is proved that it is an NP-complete problem to decide whether a graph admits a tree $t$-spanner of diameter at most $t+1$.

연구 동기 및 목표

• 그래프가 지름이 최대 t+1인 트리 t-스패너를 가질 수 있는지 여부를 판단하는 문제의 계산 복잡도를 규명하는 것.
• 지름 제약 조건 하에 트리 3-스패너 문제의 열려 있는 복잡도 상태를 해결하는 것.
• 해당 스패너를 허용하는 그래프 가족을 특성화하고 작은 t에 대해 알고리즘적 해결책을 제공하는 것.
• t의 값에 따라 다항식 시간 가능 사례와 NP-완전 사례 사이의 이분법을 설정하는 것.

제안 방법

• 지름이 최대 4인 트리 3-스패너의 존재 여부를 테스트하기 위한 다항식 시간 알고리즘을 개발한다.
• t-중심(중심 정점 또는 간선) 개념을 사용하여 t-스타 그래프를 정의하고, 이를 스패너 존재성과 연결한다.
• t-중심을 루트로 하는 너비 우선 탐색 트리를 사용하여 지름이 제한된 후보 스패너를 구성한다.
• 유도된 사이클과 완전 그래프의 성질을 포함한 구조적 그래프 이론을 활용하여 스패너 합집합을 분석한다.
• 기존의 알려진 NP-완전 문제를 감소시켜 t≥4에 대해 NP-완전성을 증명한다. 그래프 구조인 h(f(I),t)를 사용한다.
• t-스타 그래프와 지름이 최대 t인 스패닝 트리를 가진 그래프 사이의 동치성(논리적 보조정리 1)을 활용한다.

실험 결과

연구 질문

• RQ1 지름이 최대 t+1인 트리 t-스패너를 가질 수 있는 그래프가 존재하는지 여부를 판단하는 문제가 어떤 t 값에 대해 다항식 시간 내에 해결 가능한가?
• RQ2 지름이 최대 4인 트리 3-스패너를 가진 그래프를 인식할 수 있는 효율적인 알고리즘을 설계할 수 있는가?
• RQ3 그래프의 어떤 구조적 성질이 이러한 소지름 스패너의 존재를 보장하는가?
• RQ4 모든 t≥4에 대해 문제가 NP-완전한가? 만약 그렇다면 어떤 조건에서 그렇다고 볼 수 있는가?
• RQ5 특히 유도된 사이클의 구조 측면에서 트리 t-스패너의 합집합은 어떻게 행동하는가?

주요 결과

• 지름이 최대 t+1인 트리 t-스패너를 가질 수 있는지 여부를 판단하는 문제는 t≤3인 경우 다항식 시간 내에 해결 가능하다.
• t=3인 경우에 대해 지름이 최대 4인 트리 3-스패너의 존재 여부를 판단할 수 있는 구체적인 다항식 시간 알고리즘을 제시한다.
• t≥4인 경우 문제는 NP-완전성이 증명되어 복잡도 측면에서 이분법이 확립된다.
• 논문은 임의의 두 트리 3-스패너의 합집합이 삼각형 이외의 홀수 길이의 유도된 사이클을 포함할 수 없으며, 이러한 합집합은 완전 그래프임을 보여준다.
• t-중심(t-스타 그래프)을 가진 그래프는 정확히 지름이 최대 t인 스패닝 트리를 가진 그래프이다.
• t-중심을 루트로 하는 최단경로 트리에서 트리 t-스패너를 구성하면 t≥4일 때 지름이 최대 t+1이 되지만, 결정 문제의 복잡도는 여전히 NP-완전하다.