[논문 리뷰] Constant approximation algorithms for embedding graph metrics into trees and outerplanar graphs

Victor Chepoi, Feodor F. Dragan외 3명|arXiv (Cornell University)|2010. 07. 03.

Advanced Graph Theory Research참고 문헌 19인용 수 18

한 줄 요약

이 논문은 가중치가 없는 그래프 메트릭을 트리 메트릭으로 매핑하는 데 대해 6의 왜곡 인자로 간소화되고 향상된 상수 인자 근사 알고리즘을 제시한다. 이는 이전 결과를 향상시킨 것이다. 또한 메트릭 이완 미니어(minor)의 개념을 도입하고, 외평면 메트릭으로의 매핑에 대해 처음으로 상수 인자 근사 알고리즘을 제공한다. $K_{2,3}$-미니어 금지 구조를 이용해 왜곡 $O(\alpha)$를 달성한다.

ABSTRACT

In this paper, we present a simple factor 6 algorithm for approximating the optimal multiplicative distortion of embedding a graph metric into a tree metric (thus improving and simplifying the factor 100 and 27 algorithms of B\\v{a}doiu, Indyk, and Sidiropoulos (2007) and B\\v{a}doiu, Demaine, Hajiaghayi, Sidiropoulos, and Zadimoghaddam (2008)). We also present a constant factor algorithm for approximating the optimal distortion of embedding a graph metric into an outerplanar metric. For this, we introduce a general notion of metric relaxed minor and show that if G contains an alpha-metric relaxed H-minor, then the distortion of any embedding of G into any metric induced by a H-minor free graph is at meast alpha. Then, for H=K_{2,3}, we present an algorithm which either finds an alpha-relaxed minor, or produces an O(alpha)-embedding into an outerplanar metric.

연구 동기 및 목표

• 가중치가 없는 그래프 메트릭을 트리 메트릭으로 매핑하는 더 단순하고 향상된 상수 인자 근사 알고리즘을 개발하는 것.
• 트리 매핑에 사용된 금지 기반 접근법을 외평면 메트릭으로 확장하는 것.
• 메트릭 이완 미니어의 개념을 도입하여, 미니어 자유 그래프 메트릭에서의 왜곡 하한을 분석하는 일반적 프레임워크를 제공하는 것.
• 어느 그래프가 외평면 메트릭으로 $O(\alpha)$ 왜곡을 갖는 매핑을 할 수 있는지 또는 $\alpha$-메트릭 이완 $K_{2,3}$-미니어를 탐지하는 효율적인 알고리즘을 설계하는 것.
• $K_{2,3}$-미니어 자유(즉, 외평면) 메트릭으로의 낮은 왜곡 매핑이 불가능한 구조적 조건을 규명하는 것.

제안 방법

• 이전 연구에서 유래한 분해 절차를 활용하여, Bǎdoiu 등이 제안한 트리 매핑을 단순화하고 개선한다.
• 메트릭 이완 미니어의 개념을 도입하여, 왜곡 하한을 위한 상위 구조적 금지 조건의 일반화를 수행한다.
• $K_{2,3}$-미니어를 금지 구조로 사용하여, $K_{2,3}$-미니어 자유 그래프로의 매핑에 대한 왜곡 하한을 정의한다.
• 그래프를 층과 세포로 분할하는 클러스터 기반 분해를 사용하며, 분리 및 인접성 성질을 활용해 목표 외평면 그래프 내 경로 연결성을 보장한다.
• 큰 클러스터의 세포 간 매칭 절차를 적용하여 왜곡이 유한한 외평면 매핑을 구성한다.
• 경로 길이 분석을 통해 원래 그래프와 임베딩된 그래프 사이의 임의의 정점 쌍 간 왜곡을 유계로 제한하며, $d_G \leq d_{G'} \leq (100\lambda + 75) d_G$를 증명한다.

실험 결과

연구 질문

• RQ1 가중치가 없는 그래프 메트릭을 트리 메트릭으로 매핑하는 데 있어 근사 인자가 27 이하로 낮추는 것이 가능할까? 이때 단순성과 효율성은 유지되어야 한다.
• RQ2 트리 외에 다른 미니어 자유 그래프 메트릭으로의 매핑에 대해 일반적인 금지 이론이 존재하는가?
• RQ3 예를 들어 $K_{2,3}$-미니어와 같은 구조적 금지 조건을 사용하여 외평면 메트릭으로의 상수 인자 근사 알고리즘을 설계할 수 있는가?
• RQ4 어떤 그래프가 $K_{2,3}$-미니어 자유 메트릭으로 낮은 왜곡 매핑을 갖는 데 필요한 충분한 조건은 무엇인가?
• RQ5 메트릭 이완 미니어 프레임워크를 $K_4$ 또는 $K_{2,r}$와 같은 다른 금지 미니어로 확장할 수 있는가?

주요 결과

• 논문은 가중치가 없는 그래프 메트릭을 트리 메트릭으로 매핑하는 데 대해 이전 최고의 인자 27보다 향상된 6-근사 알고리즘을 제시한다.
• 메트릭 이완 미니어의 개념을 도입하여, 그래프 $G$가 $\alpha$-메트릭 이완 $H$-미니어를 포함하면, $G$가 $H$-미니어 자유 메트릭으로 매핑될 경우 왜곡이 최소 $\alpha$ 이상이 된다는 것을 보여준다.
• $H = K_{2,3}$인 경우, 논문은 $\alpha$-메트릭 이완 $K_{2,3}$-미니어를 찾거나 외평면 메트릭으로 $O(\alpha)$-매핑을 생성하는 알고리즘을 제시한다.
• 최적 왜곡 $\lambda^*(G, \mathcal{O}) \leq \lambda$일 때, 매핑의 왜곡이 $100\lambda + 75$ 이하로 유계임을 보장하여 상수 인자 근사가 성립함을 증명한다.
• 결과는 무한 그래프로 확장되며, 유한한 왜곡으로 트리 또는 외평면 그래프로의 매핑이 존재하는 것은 층화 분할에서 클러스터 지름이 균일하게 유계일 때에만 가능하다.
• 메트릭 이완 미니어 프레임워크가 미니어 자유 그래프 메트릭에서의 왜곡 하한 분석과 근사 알고리즘 설계에 강력한 도구임을 입증한다.