[논문 리뷰] Parameterized Low-distortion Embeddings - Graph metrics into lines and trees

Michael R. Fellows, Fedor V. Fomin외 4명|ArXiv.org|2008. 04. 18.

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

한 줄 요약

이 논문은 왜도가 제한된 선형 및 트리 메트릭으로 비가중치 및 가중치가 부여된 그래프 메트릭을 매립하는 고정 매개변수 가능(FPT) 알고리즘을 제시한다. 트리에서의 새로운 유형 기반 동적 프로그래밍 접근법을 도입하여, 왜도 d와 트리의 차수 Δ에 대해 FPT 실행 시간을 달성하였으며, 가중치가 있는 인스턴스의 경우 간선 가중치 W에 대한 지수적 의존성이 피할 수 없다는 것을 증명한다.

ABSTRACT

We revisit the issue of low-distortion embedding of metric spaces into the line, and more generally, into the shortest path metric of trees, from the parameterized complexity perspective.Let $M=M(G)$ be the shortest path metric of an edge weighted graph $G=(V,E)$ on $n$ vertices. We describe algorithms for the problem of finding a low distortion non-contracting embedding of $M$ into line and tree metrics. We give an $O(nd^4(2d+1)^{2d})$ time algorithm that for an unweighted graph metric $M$ and integer $d$ either constructs an embedding of $M$ into the line with distortion at most $d$, or concludes that no such embedding exists. We find the result surprising, because the considered problem bears a strong resemblance to the notoriously hard Bandwidth Minimization problem which does not admit any FPT algorithm unless an unlikely collapse of parameterized complexity classes occurs. We show that our algorithm can also be applied to construct small distortion embeddings of weighted graph metrics. The running time of our algorithm is $O(n(dW)^4(2d+1)^{2dW})$ where $W$ is the largest edge weight of the input graph. We also show that deciding whether a weighted graph metric $M(G)$ with maximum weight $W < |V(G)|$ can be embedded into the line with distortion at most $d$ is NP-Complete for every fixed rational $d \geq 2$. This rules out any possibility of an algorithm with running time $O((nW)^{h(d)})$ where $h$ is a function of $d$ alone. We generalize the result on embedding into the line by proving that for any tree $T$ with maximum degree $Δ$, embedding of $M$ into a shortest path metric of $T$ is FPT, parameterized by $(Δ,d)$.

연구 동기 및 목표

• 선형 및 트리와 같은 간단한 메트릭 공간으로 그래프 메트릭을 저왜도로 매립하는 알고리즘적 과제를 해결하기 위해.
• 밴드폭 최소화 문제와 유사하나, 왜도 d에 대해 고정 매개변수 가능(FPT)인지 여부를 탐색하기 위해.
• 비가중치 그래프 메트릭에서의 FPT 결과를 가중치가 있는 그래프 메트릭으로 확장하고, 최대 간선 가중치 W의 영향을 분석하기 위해.
• 최대 차수 Δ가 제한된 트리 호스트로의 매립 문제를 일반화하고, (d, Δ)에 대해 FPT 알고리즘을 수립하기 위해.
• 복잡도에 대한 날카운 하한을 확립하여, 가중치가 있는 인스턴스에서 W에 대한 지수적 의존성이 피할 수 없다는 것을 보여주기 위해.

제안 방법

• 트리에서 국소적 매립 행동을 추상화하기 위해 '정점 유형'의 개념을 도입하여, 동적 프로그래밍에서 효율적인 상태 전파를 가능하게 한다.
• 이웃 정점에 대한 거리 및 확장 행동을 코딩하는 [v, fu]-유형 목록을 포함한 부분 매립으로 '가능한 u-상태'를 정의한다.
• 유형 목록 간의 호환성 및 일致 조건을 사용하여 트리 간선을 따라 일관된 전역 매립을 보장한다.
• 각 노드의 상태가 자식 노드의 상태에 의해 결정되는 '계속성' 관계를 통해 재귀적 트리 분해 전략을 적용한다.
• 거리 제약 조건과 유형 변환에 의해 지배되는 동적 프로그래밍을 트리 구조 위에서 수행한다.
• d와 Δ에 대한 함수로 제한되는 서로 다른 정점 유형의 수를 유도하여, 고정 매개변수에 대해 상태 공간이 유한하게 유지됨을 보장한다.

실험 결과

연구 질문

• RQ1 비가중치 그래프 메트릭을 선형으로 저왜도 매립하는 문제는 왜도 d에 대해 고정 매개변수 가능(FPT) 시간 내에 해결될 수 있는가?
• RQ2 선형으로의 가중치가 있는 그래프 메트릭 매립에서 간선 가중치 W에 대한 지수적 의존성은 피할 수 없는가?
• RQ3 FPT 알고리즘은 최대 차수 Δ가 제한된 트리로의 매립으로 확장될 수 있는가? 이 경우 매개변수는 (d, Δ)이다.
• RQ4 비유계 차수 트리 또는 사이클 기반 메트릭으로의 매립 문제의 매개변수화된 복잡도는 무엇인가?
• RQ5 정점 유형과 유형 목록 간 호환성의 구조는 트리에서 효율적인 동적 프로그래밍을 가능하게 하는가?

주요 결과

• 최대 왜도 d인 선형으로의 비가중치 그래프 메트릭 매립을 위한 O(nd⁴(2d + 1)²ᵈ) 시간 알고리즘을 제시하였으며, 이는 이전의 O(n⁴ᵈ⁺²·dᴼ⁽¹⁾) bound에 비해 크게 향상되었다.
• 가중치가 있는 그래프의 경우, 알고리즘은 O(n(dW)⁴(2d + 1)²ᵈʷ) 시간에 실행되며, W는 최대 간선 가중치이다.
• 이 논문은 왜도 d ≥ 2인 가중치가 있는 그래프 메트릭을 선형으로 매립하는 문제의 NP-완전성을 증명하였으며, 이는 임의의 함수 h에 대해 O((nW)ʰ⁽ᵈ⁾) 실행 시간을 가지는 FPT 알고리즘이 존재하지 않음을 의미한다.
• 최대 차수 Δ인 트리로의 매립을 위한 일반적인 FPT 알고리즘을 개발하였으며, 실행 시간은 (d, Δ)에 대해 O(n²·|V(T)|·2ᴼ⁽⁽⁵ᵈ⁾Δᵈ⁺¹·ᵈ⁾)이다.
• 전역 비수축 매립의 가능성을 트리 전역에서 정점 유형과 유형 목록 간의 일관성 검사로 환원한다.
• 정점 유형의 개념은 상태 표현을 유한하게 유지하게 하여, 문제의 지수적 성격에도 불구하고 트리 위에서의 동적 프로그래밍을 가능하게 한다.