[論文レビュー] Approximability of the Minimum Weighted Doubly Resolving Set Problem

Xujin Chen, Xiao Hu+1 more|arXiv (Cornell University)|Apr 18, 2014

Graph Labeling and Dimension Problems参考文献 7被引用数 6

ひとこと要約

本稿は、一般のグラフにおける最小加重二重解決集合（MWDRS）問題の、初めてのタイトな近似境界を確立し、一般のグラフにおいてΘ(ln n)の近似が可能であることを証明している。また、ホイルおよびk本の追加辺を含む木におけるMWDRSのための、初めての強多項式時間アルゴリズムを提案しており、距離とカバレッジ制約に基づく状態再帰を用いた動的計画法を用いている。

ABSTRACT

Locating source of diffusion in networks is crucial for controlling and preventing epidemic risks. It has been studied under various probabilistic models. In this paper, we study source location from a deterministic point of view by modeling it as the minimum weighted doubly resolving set (DRS) problem, which is a strengthening of the well-known metric dimension problem. Let $G$ be a vertex weighted undirected graph on $n$ vertices. A vertex subset $S$ of $G$ is DRS of $G$ if for every pair of vertices $u,v$ in $G$, there exist $x,y\in S$ such that the difference of distances (in terms of number of edges) between $u$ and $x,y$ is not equal to the difference of distances between $v$ and $x,y$. The minimum weighted DRS problem consists of finding a DRS in $G$ with minimum total weight. We establish $Θ(\ln n)$ approximability of the minimum DRS problem on general graphs for both weighted and unweighted versions. This is the first work providing explicit approximation lower and upper bounds for minimum (weighted) DRS problem, which are nearly tight. Moreover, we design first known strongly polynomial time algorithms for the minimum weighted DRS problem on general wheels and trees with additional constant $k\ge0$ edges.

研究の動機と目的

• 頂点の重みと距離差に基づく決定的モデルを用いて、ネットワーク内での拡散源の特定問題に取り組む。
• ソース局所化問題を、メトリック次元問題の強化版である最小加重二重解決集合（MWDRS）問題として形式化する。
• 一般のグラフにおけるMWDRS問題のタイトな近似境界を確立し、上界と下界の両方を提供する。
• ホイルや追加辺が高々k本の木といった特定のグラフクラスにおけるMWDRSを解く、これまでに知られている最初の多項式時間アルゴリズムを設計する。
• これらのグラフ構造において、効率的な最適観測者配置を計算するための動的計画法フレームワークを提供する。

提案手法

• MWDRS問題を、すべての頂点対u,vについて、|d(u,x)−d(u,y)| ≠ |d(v,x)−d(v,y)|を満たすx,y ∈ Sを満たす最小総重みの頂点部分集合Sの探索として形式化する。
• 頂点sで終わるDRSの最小重みを追跡するための再帰関数F(s, left/right)およびF′(s, left/right)を定義する。
• 再帰的動的計画法の再帰式において、頂点sの有効な直前頂点s′を特徴付けるために、集合α(s)、β(s)、γ(s)を用いる。これにより、すべての距離に基づく解決条件が満たされる。
• s=1からs=n−1まで下向きの再帰を用いて動的計画法を適用し、直前制約と最小悪性ペアのカバレッジに基づいて最適値を計算する。
• ホイルの循環的構造に対処するため、頂点1に対して特別なケースを定義し、モジュロ演算を用いてループを閉じ、完全なカバレッジを保証する。
• 最終状態からバックトラックして最適なDRS集合を再構築し、すべての解決条件を満たし、重みが最小となるようにする。

実験結果

リサーチクエスチョン

• RQ1 一般のグラフにおける最小加重二重解決集合問題の、最も良い近似比は何か？
• RQ2 ホイルや追加辺が少数の木といった特定のグラフクラスにおいて、MWDRS問題は多項式時間で解けるか？
• RQ3 これらのグラフクラスにおいて、効率的な動的計画法ソリューションを可能にする構造的およびアルゴリズム的性質は何か？
• RQ4 頂点と解決ペア間の距離差は、ソース同一定位のユニーク性をどのように決定するか？
• RQ5 近似計算の複雑さという観点から、メトリック次元と二重解決集合の関係は何か？

主な発見

• 一般のグラフにおけるMWDRS問題は、Θ(ln n)近似が可能であり、これはほぼタイトである。上界と下界の両方が確立された。
• 本稿は、ホイルおよび最大k本の追加辺を含む木におけるMWDRS問題に対する、これまでに知られている最初の強多項式時間アルゴリズムを提供している。
• ホイルに対する動的計画法のアプローチはO(n³)時間で実行され、このようなネットワークにおける実用的展開に適している。
• アルゴリズムは、頂点1に対する特別な再帰的ケースを定義し、直前集合におけるモジュロ演算を用いることで、ホイルの循環的性質を正しく処理している。
• α(s)、β(s)、γ(s)集合の慎重な構築により、すべての最小悪性ペアが再帰式内でカバーされることを保証している。
• 最適なDRSは、最終状態から導かれる複数の候補集合を評価することで得られ、有効な構成の全探索により、グローバル最適性が保証されている。