[論文レビュー] Approximation Algorithms for the Airport and Railway Problem

Cohen-Addad, Vincent, Le, Hung+2 more|arXiv (Cornell University)|Jan 1, 2023

Complexity and Algorithms in Graphs被引用数 2

ひとこと要約

本稿では、辺重み付き平面的かつマイナー自由グラフを、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.

研究の動機と目的

• 平面的およびマイナー自由グラフを、近似的に最適な歪みを有する低幅ホストグラフへ効率的に埋め込むこと。
• 定数歪み埋め込みにおけるΩ(log n)の幅下界を、期待歪み(1+ε)を許容することで打ち破ること。
• マイナー自由メトリクスにおけるネットワーク設計、クラスタリング、ルーティング問題の近似スキームを統合的かつ拡張的に実現すること。
• 低幅ホストにおける動的計画法を用いて、容量付き車両ルーティングや施設配置問題に対して(1+ε)近似を達成すること。

提案手法

• n頂点のマイナー自由グラフGから、1/εおよびlog nに多項式的に依存する多項式対数的幅のホストグラフHへのランダム化埋め込みη: V(G) → V(H)を構築する。
• 常にdistH(η(u),η(v)) ≥ distG(u,v)であり、E[distH(η(u),η(v))] ≤ (1+ε)distG(u,v)を満たす、新規な埋め込み技術を用いる。
• 歪みを制御し、効率的な動的計画法を可能にするために、辺重みを正規化する。
• Hの木分解における動的計画法を実行し、幅が有界なグラフに対する既知のアルゴリズムを活用する。
• HからGへと解を再構築する際、埋め込み済み辺をG内での最短経路に置き換える。
• 埋め込みと再構築のステップが、(1+ε)要因以内の近似保証を維持する枠組みを用いる。

実験結果

リサーチクエスチョン

• RQ1 平面的およびマイナー自由グラフは、多項式対数的幅のグラフへ(1+ε)の期待歪みで埋め込むことができるか？
• RQ2 期待歪みを許容することで、定数歪み埋め込みにおけるΩ(log n)の幅下界を回避できるか？
• RQ3 このような埋め込みにより、マイナー自由メトリクスにおけるNP困難問題の準多項式時間近似スキームが可能になるか？
• RQ4 この枠組みは、有界歪みを伴う容量付き車両ルーティングおよびクラスタリング問題にどのように適用可能か？

主な発見

• ホストグラフHの幅は、ε⁻¹、log n、およびGのメトリクスのストレッチに関して多項式的であり、多項式対数的幅を達成する。
• 期待乗法的歪みは(1+ε)であり、下限側には歪みがない：常にdistH(η(u),η(v)) ≥ distG(u,v)が成り立つ。
• この枠組みにより、準多項式時間で容量付き車両ルーティング問題に対して(1+ε)-近似が達成できる。
• 容量付きkメディアンおよび施設配置問題において、実行時間2poly(1/ε, log n)で(1+ε)-近似が達成される。
• 本手法は、定数歪み埋め込みにおける理論的下界Ω(log n)に近い多項式対数的幅を達成する最初の埋め込みである。
• 本アプローチにより、マイナー自由メトリクスにおけるルーティング、クラスタリング、ネットワーク設計といった複数のNP困難問題の近似スキームが統合的に実現される。