[論文レビュー] Scattering and Sparse Partitions, and Their Applications

Arnold Filtser|arXiv (Cornell University)|Jan 1, 2020

Computational Geometry and Mesh Generation被引用数 8

ひとこと要約

本稿は、短い経路が少ないクラスタに交差する連結で有界直径のクラスタリングであるスキャターパーティションを導入し、それらが歪みO(τ³σ³)でSteiner点除去（SPR）問題の最適解を可能にすることを示している。本稿は、スキャターパーティションとSPRの理論的枠組みを確立し、スパースカバーと弱スパースパーティションの同値性を証明し、さまざまなグラフ族に対して効率的なパーティションを構築することで、SPR、ユニバーサルSteiner木、ユニバーサルTSP問題に対する新たな境界を得た。

ABSTRACT

A partition $\mathcal{P}$ of a weighted graph $G$ is $(σ,τ,Δ)$-sparse if every cluster has diameter at most $Δ$, and every ball of radius $Δ/σ$ intersects at most $τ$ clusters. Similarly, $\mathcal{P}$ is $(σ,τ,Δ)$-scattering if instead for balls we require that every shortest path of length at most $Δ/σ$ intersects at most $τ$ clusters. Given a graph $G$ that admits a $(σ,τ,Δ)$-sparse partition for all $Δ>0$, Jia et al. [STOC05] constructed a solution for the Universal Steiner Tree problem (and also Universal TSP) with stretch $O(τσ^2\log_τn)$. Given a graph $G$ that admits a $(σ,τ,Δ)$-scattering partition for all $Δ>0$, we construct a solution for the Steiner Point Removal problem with stretch $O(τ^3σ^3)$. We then construct sparse and scattering partitions for various different graph families, receiving many new results for the Universal Steiner Tree and Steiner Point Removal problems.

研究の動機と目的

• Steiner点除去（SPR）問題を解くための構造的ツールとしてスキャターパーティションを定義・形式化すること。
• スキャターパーティションと低歪みSPR解との理論的関連を確立し、(σ, τ, ∆)-スキャターパーティションが歪みO(τ³σ³)のSPR解を示すことの証明。
• 弱スパースカバーと弱スパースパーティションの同値性を示し、メトリックパーティショニングの基礎的概念を明確化すること。
• 木、ダブリンググラフ、ユークリッド空間、弦的グラフなど、さまざまなグラフ族に対して効率的な(σ, τ, ∆)-スキャターパーティションおよびスパースパーティションを構築すること。
• SPR、UST、UTSP問題について、複数のグラフ族において新たな上界および下界を提供し、ネットワーク設計および近似アルゴリズム分野の未解決問題を前進させること。

提案手法

• (σ, τ, ∆)-スキャターパーティションを導入：弱直径∆の連結クラスタで、長さ≤∆/σのすべての最短経路が高々τ個のクラスタと交差するもの。
• グラフの任意の誘導部分グラフが(1, τ)-スキャターパーティションをもつならば、SPR問題は歪みO(τ³)の解をもつことを証明。
• 弱スパースカバーと弱スパースパーティションの同値性を確立し、任意の弱スパースカバーを弱スパースパーティションに変換可能であることを示す。
• 最短経路の頂点を中心としたクラスタの段階的統合に基づく階層的クラスタリングアルゴリズムを適用。
• 二段階のクラスタリングプロセスを用いる：第一に、経路セグメントの近傍の頂点をクラスタリング；第二に、距離制約を満たすように未クラスタリング頂点を中央クラスタに統合。
• 帰納的議論と幾何的観察（例：観察9）を用いて、クラスタ直径および経路交差回数の上限を求める。

実験結果

リサーチクエスチョン

• RQ1 スキャターパーティションを用いて、Steiner点除去問題の低歪み解を構築可能か？
• RQ2 スパースカバーとスパースパーティションの関係は何か？一方を他方に変換可能か？
• RQ3 どのグラフ族がσおよびτパラメータが小さい(σ, τ, ∆)-スキャターパーティションやスパースパーティションをもつか？
• RQ4 すべてのマイナー閉グラフ族（例：平面グラフ）は(O(1), O(1))-スキャタブルであり、定数歪みのSPR解をもつと期待できるか？
• RQ5 一般の重み付きグラフにおいて、特に一意な最短経路の仮定のもとで、(σ, τ, ∆)-スキャターパーティションを効率的に構築可能か？

主な発見

• (σ, τ, ∆)-スキャターパーティションは、歪みO(τ³σ³)のSPR問題の解を示し、低歪み埋め込みへの新たな道筋を提供する。
• 木においては、SPR問題の定数歪み8を達成し、既知の最良上界と一致する。
• ダブリンググラフにおいては、強いスパースパーティションを構築したが、誘導部分グラフにおける無限大のダブリング次元のため、直接的なSPR解を示すわけではない。
• 弦的グラフおよびカクティスグラフにおいては、(O(1), O(1))-スパースパーティションを構築し、定数歪みのSPR解を示した。
• (σ, τ, ∆)-弱スパースカバーは(σ, τ, ∆)-弱スパースパーティションに変換可能であることを証明し、基礎的な同値性を確立した。
• 木におけるSPR問題のタイトな下界8を示し、上界と一致する。また、マイナー閉族が(O(1), O(1))-スキャタブルなパーティションをもつと予想し、定数歪みを示すものである。