[논문 리뷰] Computing the Gromov-Hausdorff Distance for Metric Trees

Pankaj K. Agarwal, Kyle Fox외 3명|arXiv (Cornell University)|2015. 09. 18.

Topological and Geometric Data Analysis참고 문헌 13인용 수 7

한 줄 요약

이 논문은 거리 트리 간의 그로모프-하우스도르프(GH) 거리에 대한 최초의 NP-난이도 결과를 확립하며, 이 거리를 3보다 나은 요인으로 근사하는 것이 NP-난이도임을 증명한다. 이 논문은 $r$이 가장 긴 간선 길이와 가장 짧은 간선 길이의 비율인 다항시간 $O(\min\{n,\sqrt{rn}\})$-근사 알고리즘을 제시하며, 단위 간선 길이 트리에 대해서는 $O(\sqrt{n})$-근사도 달성한다.

ABSTRACT

The Gromov-Hausdorff (GH) distance is a natural way to measure distance between two metric spaces. We prove that it is $\mathrm{NP}$-hard to approximate the Gromov-Hausdorff distance better than a factor of $3$ for geodesic metrics on a pair of trees. We complement this result by providing a polynomial time $O(\min\{n, \sqrt{rn}\})$-approximation algorithm for computing the GH distance between a pair of metric trees, where $r$ is the ratio of the longest edge length in both trees to the shortest edge length. For metric trees with unit length edges, this yields an $O(\sqrt{n})$-approximation algorithm.

연구 동기 및 목표

• 거리 트리 간의 그로모프-하우스도르프 거리 근사화의 계산 난이도를 확립하기.
• 거리 트리에서 GH 거리를 계산하기 위한 첫 번째 다항시간 근사 알고리즘을 개발하기.
• 이 문제에 대한 최선의 알려진 하한과 상한 간의 간격을 좁히기.
• 그로모프-하우스도르프 거리와 융합 트리의 교차 거리 간의 관계를 활용하여 효율적인 근사 알고리즘 설계하기.
• 간선 길이 비율 $r$과 노드 수 $n$을 기반으로 한 근사 비율 분석하기.

제안 방법

• 3-Partition 문제에서의 감소를 통해 GH 거리 근사화가 3 미만의 요인으로 가능하지 않음을 증명하기.
• 거리 트리 간의 GH 거리 계산 문제를 그들의 관련 융합 트리 간의 교차 거리 계산 문제로 감소시키기.
• 작은 간선을 잘라내고 구조적 성질을 유지하는 융합 트리의 단순화된 버전을 구성하기.
• 임계값 $\varepsilon$을 사용한 매개변수화 접근법을 통해 융합 트리 간의 $O(\min\{n,\sqrt{rn}\})$-호환 맵 계산하기.
• 단순화된 트리에서 동형성 검사 또는 동적 프로그래밍 절차를 적용하여 유한한 왜곡 내에서 호환 맵 계산하기.
• 기존의 GH 거리와 교차 거리 간의 관계를 활용하여 최종 근사 보장 도출하기.

실험 결과

연구 질문

• RQ1 거리 트리 간의 그로모프-하우스도르프 거리는 상수 요인 이내로 근사하는 것이 NP-난이도인가?
• RQ2 거리 트리에서 GH 거리를 위한 다항시간 근사 알고리즘을 설계할 수 있으며, 그 근사 비율은 무엇인가?
• RQ3 가장 긴 간선 길이와 가장 짧은 간선 길이의 비율 $r$은 근사 품질에 어떤 영향을 미치는가?
• RQ4 그로모프-하우스도르프 거리와 융합 트리의 교차 거리 간의 관계는 무엇인가?
• RQ5 근사 비율을 $O(\min\{n,\sqrt{rn}\})$를 초월해 향상시킬 수 있는가?

주요 결과

• 거리 트리 간의 그로모프-하우스도르프 거리는 3보다 나은 요인으로 근사하는 것이 NP-난이도이다.
• 이 논문은 $r$이 가장 긴 간선 길이와 가장 짧은 간선 길이의 비율인 거리 트리 간의 GH 거리를 계산하기 위한 $O(\min\{n,\sqrt{rn}\})$-근사 알고리즘을 제시한다.
• 단위 길이 간선을 가진 거리 트리에 대해서는 알고리즘이 다항 시간 내에 $O(\sqrt{n})$-근사도 달성한다.
• 알고리즘은 융합 트리 간의 교차 거리로의 감소에 기반하여 $O(n^{7/2}\log n)$ 시간에 실행된다.
• 융합 트리 간의 교차 거리는 $4(\sqrt{2ns}+1)\varepsilon$-호환 맵 구성 방법을 통해 $O(\min\{n,\sqrt{rn}\})$ 이내로 근사된다.
• 근사 비율은 상수 요인 범위 내에서 최적이며, 최고의 알려진 하한과 상한 간의 격차는 여전히 다항적으로 크다.