[論文レビュー] Spanning trees short or small

R. Ravi, R. Sundaram+3 more|arXiv (Cornell University)|Jan 23, 1994

Advanced Graph Theory Research参考文献 25被引用数 46

ひとこと要約

本稿は、グラフ内で少なくともk個のノードをカバーする最小重みの木を見つけるkMST問題を調査し、ユークリッド平面上でもNP困難であることを証明する。一般の辺重み付きグラフに対しては2√kの近似比を達成する近似アルゴリズムを提示し、ユークリッド点に対してはO(k^{1/4})の近似比を達成する。また、木幅が有界なグラフや凸境界上に配置された点に対しては多項式時間で正確に解けるアルゴリズムを提示する。さらに、T. C. Huのフレームワークを用いて最小径値k木の構築を簡単な枠組みで行う。

ABSTRACT

We study the problem of finding small trees. Classical network design problems are considered with the additional constraint that only a specified number k of nodes are required to be connected in the solution. A prototypical example is the kMST problem in which we require a tree of minimum weight spanning at least k nodes in an edge-weighted graph. We show that the kMST problem is NP-hard even for points in the Euclidean plane. We provide approximation algorithms with performance ratio 2v/ for the general edge-weighted case and O(k1/4) for the case of points in the plane. Polynomial-time exact solutions are also presented for the class of treewidth-bounded graphs, which includes trees, series-parallel graphs, and bounded bandwidth graphs, and for points on the boundary of a convex region in the Euclidean plane. We also investigate the problem of finding short trees and, more generally, that of finding networks with minimum diameter. A simple technique is used to provide a polynomiM-time solution for finding k-trees of minimum diameter. We identify easy and hard problems arising in finding short networks using a framework due to T. C. Hu.

研究の動機と目的

• グラフ内で少なくともk個のノードを含む最小重みの木を求めるkMST問題に取り組む。この際、k個のノードのみを接続すればよいという制約を満たす。
• kMST問題の計算複雑性を調査し、ユークリッド平面上の点に対してもNP困難であることを証明する。
• 一般および幾何的インスタンスのkMST問題に対して、性能保証が得られる効率的な近似アルゴリズムを開発する。
• kMST問題が多項式時間で正確に解けるグラフクラスや幾何的配置を同定する。
• T. C. Huのフレームワークを用いて、最小径値k木の構築を含む短いネットワークの研究を拡張する。

提案手法

• 原双対法と木分解技術を用いて、一般の辺重み付きkMST問題に対して2√k-近似アルゴリズムを導出する。
• ユークリッド平面上の点に対しては、幾何的クラスタリングとスパニングツリーのヒューリスティクスを適用し、O(k^{1/4})-近似比を達成する。
• 木幅が有界なグラフ（木や系列並列グラフを含む）に対しては、木分解に基づく動的計画法を用いてkMSTを多項式時間で正確に解く。
• 凸領域の境界上に配置された点に対しては、幾何的凸性と単調性の性質を活用し、多項式時間で正確なアルゴリズムを設計する。
• 最小径値k木問題に対しては、単純な動的計画法を適用し、T. C. Huのネットワーク設計フレームワークを活用する。
• ネットワーク設計と組合せ最適化の技術を統合し、k木における重みと径値の両方の最小化に関する結果を統一する。

実験結果

リサーチクエスチョン

• RQ1 kMST問題はユークリッド平面上でもNP困難であり、効率的に近似可能か？
• RQ2 一般の辺重み付きグラフにおけるkMST問題に対して、どの程度の近似比が達成可能か？
• RQ3 木幅が有界なグラフのような特殊なグラフクラスにおいて、kMSTに多項式時間正確解法が存在するか？
• RQ4 ユークリッド平面上の点を入力とするkMST問題において、近似性能はどの程度か？
• RQ5 構造化されたフレームワークを用いて、最小径値k木を多項式時間で構築可能か？

主な発見

• kMST問題は、ユークリッド平面上の点に対してもNP困難であることが証明され、幾何的設定下での計算困難性が確立された。
• 一般の辺重み付きkMST問題に対して、性能比2√kの近似アルゴリズムが開発された。
• ユークリッド平面上の点に対しては、O(k^{1/4})-近似比を達成し、従来の境界を改善した。
• 木幅が有界なグラフ（木や系列並列グラフを含む）において、kMSTの多項式時間正確解法が提供された。
• 平面上の凸領域の境界上にノードが配置された場合のkMSTに対して、多項式時間正確アルゴリズムが提示された。
• 単純な動的計画法により、T. C. Huのネットワーク設計フレームワークを活用して、最小径値k木を多項式時間で構築可能となった。