[論文レビュー] On notions of distortion and an almost minimum spanning tree with constant average distortion

Yair Bartal, Arnold Filtser+1 more|arXiv (Cornell University)|Jan 10, 2016

Complexity and Algorithms in Graphs参考文献 21被引用数 1

ひとこと要約

本稿では、最小全域木（MST）の重さの (1 + ρ) 倍以内に抑えながら、平均歪みが定数となるスパニングツリーの構築を提案する。この歪みは、ペアワイズ距離を近似的に保っている。本手法は、特定のノードペアに対して歪みを改善できる新たな低重みスパニヤーを活用しており、優先順位付き歪みとスケーリング歪みの間の一般変換を確立することで、最適な優先順位付き歪みを達成するユークリッド空間への埋め込みを実現する。

ABSTRACT

Minimum Spanning Trees of weighted graphs are fundamental objects in numerous applications. In particular in distributed networks, the minimum spanning tree of the network is often used to route messages between network nodes. Unfortunately, while being most efficient in the total cost of connecting all nodes, minimum spanning trees fail miserably in the desired property of approximately preserving distances between pairs. While known lower bounds exclude the possibility of the worst case distortion of a tree being small, it was shown in [4] that there exists a spanning tree with constant average distortion. Yet, the weight of such a tree may be significantly larger than that of the MST. In this paper, we show that any weighted undirected graph admits a spanning tree whose weight is at most (1 + ρ) times that of the MST, providing constant average distortion O(1/ρ2).1The constant average distortion bound is implied by a stronger property of scaling distortion, i.e., improved distortion for smaller fractions of the pairs. The result is achieved by first showing the existence of a low weight spanner with small prioritized distortion, a property allowing to prioritize the nodes whose associated distortions will be improved. We show that prioritized distortion is essentially equivalent to coarse scaling distortion via a general transformation, which has further implications and may be of independent interest. In particular, we obtain an embedding for arbitrary metrics into Euclidean space with optimal prioritized distortion.

研究の動機と目的

• 最小全域木が総重量において最適であるものの、ペアワイズ距離を保存できないという限界を解消すること。
• MST に対してほぼ最適な重さを保ちながら、平均歪みが有界となるスパニングツリーを構築すること。
• スパニヤーにおける優先順位付き歪みの概念を導入し、特定のノードペアに対して歪みを改善すること。
• 優先順位付き歪みとスケーリング歪みの間の一般変換を確立し、より深い構造的関係を明らかにすること。
• 任意の距離空間をユークリッド空間に埋め込む際、最適な優先順位付き歪みを達成するという副次的成果を得ること。

提案手法

• 特定のノード集合に対して歪みを改善できる、優先順位付き歪みを有する低重みスパニヤーを設計する。
• より小さなノードペアの割合に対して歪みが改善されるスケーリング歪みの概念を導入し、これが定数の平均歪みを意味することを示す。
• 一般変換技術を用いて、優先順位付き歪みと粗いスケーリング歪みが本質的に同等であることを証明する。
• この変換を用いて、MST 重さの (1 + ρ) 倍以内の重さで、平均歪みが O(1/ρ²) のスパニングツリーを導出する。
• 同じ枠組みを用いて、任意の距離空間をユークリッド空間に最適な優先順位付き歪みで埋め込む構成を実現する。

実験結果

リサーチクエスチョン

• RQ1 重さがほぼ最適であり、かつ平均歪みが定数となるスパニングツリーを構築できるか？
• RQ2 スパニヤーにおける優先順位付き歪みをどのように活用すれば、スパニングツリーにおける平均歪みを改善できるか？
• RQ3 優先順位付き歪みとスケーリング歪みの関係は何か？ 一般変換として形式化可能か？
• RQ4 この枠組みを、任意の距離空間をユークリッド空間に最適な歪み保証で埋め込むために拡張可能か？
• RQ5 重み付きグラフのスパニングツリーにおいて、ツリーの重さと平均歪みの間にはどのようなトレードオフがあるか？

主な発見

• 任意の重み付き無向グラフに対して、MST 重さの (1 + ρ) 倍以内の重さで、平均歪みが O(1/ρ²) のスパニングツリーが存在する。
• 優先順位付き歪みを有する低重みスパニヤーの存在が、このようなスパニングツリーの構築を可能にする。
• 優先順位付き歪みとスケーリング歪みは、一般変換によって本質的に同等である。この関係は独立に興味深い可能性を有する。
• この枠組みにより、任意の距離空間を最適な優先順位付き歪みでユークリッド空間に埋め込むことが可能になる。
• 従来の手法に比べ、重さと平均歪みのバランスをより効果的に改善している。
• スケーリング歪みの性質により、歪みが平均的に有界であるだけでなく、小さなノードペアの割合に対してさらに改善されることも保証される。