[논문 리뷰] Approximation Algorithms for the Airport and Railway Problem

Cohen-Addad, Vincent, Le, Hung외 2명|arXiv (Cornell University)|2023. 01. 01.

Complexity and Algorithms in Graphs인용 수 2

한 줄 요약

이 논문은 간선 가중치가 부여된 평면 그래프 및 마이너-free 그래프를 다항로그 시간 트리너비를 갖는 호스트 그래프에 랜덤화된 다항시간 알고리즘으로 매핑하는 방법을 제시한다. 이 매핑은 예상 스테치가 1에 매우 가까운 다항식 곱셈 왜곡을 가지며, 저트리너비 구조에서의 동적 프로그래밍을 활용해 NP-난해 문제들(예: 용량 제한이 있는 차량 경로 설계 및 클러스터링)에 대한 준다항시간 근사법을 가능하게 한다.

ABSTRACT

In this paper, we present approximation algorithms for the airport and railway problem (AR) on several classes of graphs. The AR problem, introduced by [Anna Adamaszek et al., 2016], is a combination of the Capacitated Facility Location problem (CFL) and the network design problem. An AR instance consists of a set of points (cities) V in a metric d(.,.), each of which is associated with a non-negative cost f_v and a number k, which represent respectively the cost of establishing an airport (facility) in the corresponding point, and the universal airport capacity. A feasible solution is a network of airports and railways providing services to all cities without violating any capacity, where railways are edges connecting pairs of points, with their costs equivalent to the distance between the respective points. The objective is to find such a network with the least cost. In other words, find a forest, each component having at most k points and one open facility, minimizing the total cost of edges and airport opening costs. Adamaszek et al. [Anna Adamaszek et al., 2016] presented a PTAS for AR in the two-dimensional Euclidean metric ℝ² with a uniform opening cost. In subsequent work [Anna Adamaszek et al., 2018] presented a bicriteria 4/3 (2+1/α)-approximation algorithm for AR with non-uniform opening costs but violating the airport capacity by a factor of 1+α, i.e. (1+α)k capacity where 0 < α ≤ 1, a (2+k/(k-1)+ε)-approximation algorithm and a bicriteria Quasi-Polynomial Time Approximation Scheme (QPTAS) for the same problem in the Euclidean plane ℝ². In this work, we give a 2-approximation for AR with a uniform opening cost for general metrics and an O(log n)-approximation for non-uniform opening costs. We also give a QPTAS for AR with a uniform opening cost in graphs of bounded treewidth and a QPTAS for a slightly relaxed version in the non-uniform setting. The latter implies O(1)-approximation on graphs of bounded doubling dimensions, graphs of bounded highway dimensions and planar graphs in quasi-polynomial time.

연구 동기 및 목표

• 평면 그래프 및 마이너-free 그래프를 근사 최적의 왜곡을 갖는 저트리너비 호스트 그래프에 효율적으로 매핑하는 방법을 설계하는 것.
• 상수 왜곡 매핑에 대해 Ω(log n) 트리너비 하한을 돌파하기 위해 예상 왜곡 (1+ε)을 허용함으로써 문제를 해결하는 것.
• 마이너-free 메트릭에서 네트워크 설계, 클러스터링, 라우팅 문제의 근사법을 통합하고 확장하는 것.
• 저트리너비 호스트에서의 동적 프로그래밍을 활용해 용량 제한이 있는 차량 경로 설계 및 시설 위치 문제에 대해 (1+ε)-근사해를 달성하는 것.

제안 방법

• n개 정점으로 구성된 마이너-free 그래프 G에서 트리너비가 1/ε과 log n에 대해 다항로그인 호스트 그래프 H로의 랜덤화된 매핑 η: V(G) → V(H)를 구성한다.
• 항상 distH(η(u),η(v)) ≥ distG(u,v)를 보장하고, E[distH(η(u),η(v))] ≤ (1+ε)distG(u,v)를 만족하는 새로운 매핑 기법을 사용한다.
• 왜곡을 제어하고 효율적인 동적 프로그래밍을 가능하게 하기 위해 간선 가중치를 정규화한다.
• H의 트리 분해에서 동적 프로그래밍을 수행하며, 유한 트리너비 그래프에 대한 기존 알고리즘을 활용한다.
• 매핑된 간선을 G 내의 최단 경로로 대체하여 H에서의 해를 G로 다시 올린다.
• 매핑 및 올림 단계가 (1+ε) 요소 내에서 근사 보장을 유지하는 프레임워크를 사용한다.

실험 결과

연구 질문

• RQ1 평면 그래프 및 마이너-free 그래프는 다항로그 시간 트리너비를 갖는 그래프로 (1+ε) 예상 왜곡을 가지며 매핑될 수 있는가?
• RQ2 예상 왜곡을 허용함으로써 상수 왜곡 매핑에 대한 Ω(log n) 트리너비 하한을 우회할 수 있는가?
• RQ3 이러한 매핑은 마이너-free 메트릭에서 NP-난해 문제에 대해 준다항시간 근사법을 가능하게 하는가?
• RQ4 이 프레임워크는 용량 제한이 있는 차량 경로 설계 및 클러스터링 문제에 대해 유한 왜곡으로 적용될 수 있는가?

주요 결과

• 호스트 그래프 H의 트리너비는 ε⁻¹, log n, 그리고 G의 메트릭의 스트레치에 대해 다항식으로 표현되며, 다항로그 시간 트리너비를 달성한다.
• 예상 곱셈 왜곡은 (1+ε)이며, 하한 측면에서의 왜곡이 없음: 항상 distH(η(u),η(v)) ≥ distG(u,v)이다.
• 이 프레임워크는 준다항시간 내에 용량 제한이 있는 차량 경로 설계 문제에 대해 (1+ε)-근사해를 제공한다.
• 용량 제한이 있는 k-메디안 및 시설 위치 문제에 대해, 알고리즘은 실행 시간 2poly(1/ε, log n) 내에서 (1+ε)-근사해를 달성한다.
• 이 매핑은 상수 왜곡 매핑에 대한 이론적 하한 Ω(log n)에 가까이 다가가는 다항로그 시간 트리너비를 달성하는 최초의 방법이다.
• 이 접근은 마이너-free 메트릭 내에서 라우팅, 클러스터링, 네트워크 설계를 포함한 여러 NP-난해 문제의 근사법을 통합하고 확장한다.