[論文レビュー] The minimum stretch spanning tree problem for typical graphs

Lan Lin, Yixun Lin|arXiv (Cornell University)|Dec 10, 2017

Advanced Graph Theory Research参考文献 19被引用数 3

ひとこと要約

この論文は、木ストレッチ不変量 𝜎𝑇(G) の正確な値を導出することにより、いくつかの古典的グラフ族における最小ストレッチスパニングツリー問題を解決する。平面グラフにおけるフェースレベル解析を用いてタイトな下界を確立し、それらの下界を達成する最適スパニングツリーを構築することで、ペテルセングラフ、完全k部グラフ、スプリットグラフ、一般化凸グラフ、および長方形、三角形、三角形分割長方形グリッドを含むさまざまな平面グリッドについて正確な結果を提供する。

ABSTRACT

With applications in distribution systems and communication networks, the minimum stretch spanning tree problem is to find a spanning tree T of a graph G such that the maximum distance in T between two adjacent vertices is minimized. The problem has been proved to be NP-hard and fixed-parameter polynomial algorithms have been obtained for some special classes of graphs. In this paper, we concentrate on the optimality characterizations for typical classes of graphs. We determine the exact optimality representations for Petersen graph, the complete k-partite graphs, split graphs, generalized convex graphs, and several planar grids, including rectangular grids, triangular grids, and triangular-rectangular grids.

研究の動機と目的

• 基本的グラフクラスにおける木ストレッチ不変量 𝜎𝑇(G) の正確な値を特定すること。
• 平面グラフにおける基本サイクルとフェースレベルの観点から、最小ストレッチスパニングツリー問題を特徴づけること。
• 平面埋め込みの幾何的および組合せ的性質を用いて、ストレッチのタイトな下界を確立すること。
• 複数のグラフ族にわたる理論的下界に達する最適スパニングツリーを構築すること。
• 既知の木コンゲストの結果を、双対問題である木ストレッチに拡張し、スパニングツリー最適化の並列理論を提供すること。

提案手法

• 平面グラフにおけるフェースレベル解析を用いて下界を導出：𝜎𝑇(G) ≥ 𝜆max + 1、ここで 𝜆max は最大フェースレベルである。
• 双対グラフ（平面双対）技術を適用して、スパニングツリーをエッジカットおよび基本サイクルに写像する。
• グリッド埋め込みにおける垂直および水平線の選択により最適スパニングツリーを構築し、三角形グリッドでは偶奇性に応じた調整を行う。
• グリッド次元に対する帰納法を用いて、三角形分割長方形グリッド Tm,n における最大フェースレベル 𝜆max(G) = m−1 を証明する。
• パスおよびサイクル長の解析により、構築された木が下界に達することを検証して最適性を裏付ける。
• 双対グラフにおける最短パスおよび境界サイクルの解析を用いて、最大長が最小となる基本サイクルを同定する。

実験結果

リサーチクエスチョン

• RQ1 ペテルセングラフにおける木ストレッチ 𝜎𝑇(G) の正確な値は何か？
• RQ2 完全k部グラフおよびスプリットグラフにおける木ストレッチはどのように振る舞うか？
• RQ3 一般化凸グラフおよび平面グリッドにおける最小ストレッチは何か？
• RQ4 フェースレベルおよび双対グラフの性質を用いて、𝜎𝑇(G) に対するタイトな下界を導出できるか？
• RQ5 長方形、三角形、および三角形分割長方形グリッドにおける最小ストレッチを達成するスパニングツリー構造は何か？

主な発見

• ペテルセングラフにおいて、最小ストレッチスパニングツリーの 𝜎𝑇(G) = 3 である。
• 完全k部グラフ Kn₁,n₂,…,nk に対して、𝜎𝑇(G) = 2 であり、k ≥ 3 かつすべての ni ≥ 2 のとき正確に決定される。
• スプリットグラフに対して、本稿では 𝜎𝑇(G) = 2 が成り立ち、グラフが完全でない場合に、𝜎𝑇(G) = 1 が完全な場合に成り立つ。
• 長方形グリッド Pm × Pn（m ≤ n）に対して、最小ストレッチは 𝜎𝑇(G) = m である。
• 三角形グリッド Tn に対して、最小ストレッチは 𝜎𝑇(G) = n である。
• 2 ≤ m ≤ n である三角形分割長方形グリッド Tm,n に対して、最小ストレッチは 𝜎𝑇(G) = m であり、これは列と対角線エッジから構築されたスパニングツリーによって達成される。