[論文レビュー] Covering Metric Spaces by Few Trees

Yair Bartal, Nova Fandina+1 more|arXiv (Cornell University)|Jan 1, 2019

Advanced Topology and Set Theory被引用数 9

ひとこと要約

本稿では、一般、平面的、およびダブリング距離空間において、木カバーおよびラムゼイ木カバーを構築する決定的アルゴリズムを提示する。これにより、少数の木を用いてほぼ最適な歪みが達成される。特に、ダブリング距離空間に対しては、新たな階層的クラスタリング手法を導入し、ステイン点を回避することで、(1+ϵ)-歪みの木カバーを(1/ϵ)^O(log λ)本の木で構築可能となる。これは、先行研究を改善し、エッジ数の漸近的最適性に一致する。

ABSTRACT

A tree cover of a metric space (X,d) is a collection of trees, so that every pair x,y in X has a low distortion path in one of the trees. If it has the stronger property that every point x in X has a single tree with low distortion paths to all other points, we call this a Ramsey tree cover. Tree covers and Ramsey tree covers have been studied by [Yair Bartal et al., 2005; Anupam Gupta et al., 2004; T-H. Hubert Chan et al., 2005; Gupta et al., 2006; Mendel and Naor, 2007], and have found several important algorithmic applications, e.g. routing and distance oracles. The union of trees in a tree cover also serves as a special type of spanner, that can be decomposed into a few trees with low distortion paths contained in a single tree; Such spanners for Euclidean pointsets were presented by [S. Arya et al., 1995]. In this paper we devise efficient algorithms to construct tree covers and Ramsey tree covers for general, planar and doubling metrics. We pay particular attention to the desirable case of distortion close to 1, and study what can be achieved when the number of trees is small. In particular, our work shows a large separation between what can be achieved by tree covers vs. Ramsey tree covers.

研究の動機と目的

• 一般、平面的、およびダブリング距離空間において、木カバーおよびラムゼイ木カバーを構築する効率的な決定的アルゴリズムの開発。
• 特にユークリッド空間およびダブリング空間においてステイン点を回避しつつ、ほぼ最適な歪み(1+ϵ)を達成する少数の木を用いた構成。
• ラムゼイ木カバーにおける歪みのタイトな下界を確立し、木カバーとラムゼイ木カバーの間で顕著な分離を示す。
• スパニヤの構築を改善し、低歪み経路を持つ少数の木への分解を用い、エッジ数の漸近的最適性を達成。

提案手法

• ダブリング距離空間における新規な下位から上位への階層的クラスタリングを提案し、低歪み木カバーの構築を可能にする。
• 洗練された階層的分割技術を用いて、任意のαに対してO(α)の歪みとO(λ^{1/α} · log λ · log α)本の木を達成。
• ラムゼイ木カバーの下界を確立するために、Nサイクルグラフの再帰的構築（再帰的Nサイクルグラフ）を導入。
• [C_{2N}]^k_β がO(1)のダブリング次元を持つ系列並列グラフに定数歪みで埋め込めることが示された。
• 確率的および帰納的議論を用いて、サイクル距離と色分けに基づく分割を用い、ラムゼイ木カバー歪みの下界を証明。
• 既知の確率的木埋め込みおよびスパニヤ構築に関する結果を活用し、トレードオフと最適性に関する主張を導出。

実験結果

リサーチクエスチョン

• RQ1 ダブリング距離空間において、ステイン点を含まず、1/ϵの指数が1/ϵの多項式的でない（すなわち、1/ϵの指数が1/ϵの指数的でない）数の木で(1+ϵ)-歪みの木カバーを構築可能か？
• RQ2 一般およびダブリング距離空間における木カバーの歪みと木の数の最適なトレードオフは何か？
• RQ3 少数の木を用いた場合に、木カバーとラムゼイ木カバーの歪みに非定数の分離があるか？
• RQ4 平面的またはマイナー自由グラフに対して、O(1)本の木カバーが歪み1+ϵを達成可能か、それとも歪みΩ(log n)は避けられないか？
• RQ5 ダブリング距離空間におけるサイズkのラムゼイ木カバーの歪みのタイトな下界は何か？

主な発見

• 任意のダブリング定数λをもつダブリング距離空間に対して、(1/ϵ)^O(log λ)本の木を用いて(1+ϵ)-歪みの木カバーが存在し、ステイン点の必要性を排除することで先行研究を改善。
• 得られるスパニヤのエッジ数はn/ϵ^O(log λ)であり、これは漸近的に最適。
• 任意のα ≥1に対して、歪みO(α)およびO(λ^{1/α} · log λ · log α)本の木を有する木カバーが構築可能であり、[CGMZ05]を改善し、既知の下界と一致。
• 任意のn点のダブリング距離空間におけるラムゼイ(α,k)-木カバーの歪みにΩ(n^{1/k})の下界が確立され、標準的木カバーとは顕著な分離が示された。
• 再帰的Nサイクルグラフの構築により、[C_{2N}]^k_3 がO(1)のダブリング次元を持つ系列並列グラフに定数歪みで埋め込めることが示され、下界が平面的およびマイナー自由グラフへ拡張可能となった。
• 本稿では、平面グラフに対するO(1)本の木カバーが定数歪みを達成可能であることを示したが、歪み1+ϵを達成するにはO((log n)/ϵ)^2本の木が必要であり、トレードオフが存在することが示された。