[論文レビュー] Minimum Fault-Tolerant, local and strong metric dimension of graphs

Muhammad Salman, Imran Javaid+1 more|arXiv (Cornell University)|Sep 9, 2014

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

ひとこと要約

本稿では、整数型線形計画法（ILP）の定式化を用いて、2つの凸多面体族 $S_n$ と $U_n$ の最小故障耐性性・局所的・強力なメトリック次元を調査する。$n=2k$（$k \geq 2$）のとき、$U_n$ の強力メトリック次元が正確に $\frac{5n}{2}$ であることが示され、$U_n$ の局所的メトリック次元が 2 であることが証明されている。また、$n \geq 3$ のとき $S_n$ の局所的メトリック次元も 2 である。これらの結果は、これらのグラフにおける最短経路と解消集合の性質を厳密に分析することで得られた。

ABSTRACT

In this paper, we consider three similar optimization problems: the fault-tolerant metric dimension problem, the local metric dimension problem and the strong metric dimension problem. These problems have applications in many diverse areas, including network discovery and verification, robot navigation and chemistry, etc. We give integer linear programming formulations of the fault-tolerant metric dimension problem and the local metric dimension problem. Also, we study local metric dimension and strong metric dimension of two convex polytopes $S_n$ and $U_n$.

研究の動機と目的

• 故障耐性性メトリック次元および局所的メトリック次元問題に対する整数型線形計画法（ILP）の定式化を開発すること。
• 偶数 $n=2k$（$k \geq 2$）のとき、凸多面体 $U_n$ の強力メトリック次元を特定すること。
• $U_n$ および $S_n$ の局所的メトリック次元を計算し、$n \geq 3$ のときそれが 2 であることを示すこと。
• $S_n$ および $U_n$ における最短経路構造を用いて、解消性質を分析し、メトリック次元の下界および上界を導出すること。

提案手法

• 任意の1頂点を削除しても依然として解消するような解消集合のサイズを最小化する問題として、故障耐性性メトリック次元問題を整数型線形計画法（ILP）として定式化する。
• すべての隣接頂点ペアを解消するような集合のサイズを最小化する問題として、局所的メトリック次元問題をILPとして定式化する。
• 最短経路解析を用いて、$S_n$ および $U_n$ における特定の頂点部分集合がすべての頂点ペアを解消することを検証する。
• 直径および $U_n$ における距離の性質を応用して、強力メトリック次元の下界を導出する。
• 特定の頂点がすべての頂点ペア間の最短経路に存在することを確認することで、それらの頂点が特定のペアを強力に解消することを証明する。
• 特定の頂点集合が強力解消に必要かつ十分であることを示す補題を用いて、タイトな境界を確立する。

実験結果

リサーチクエスチョン

• RQ1 $U_n$ および $S_n$ における最小故障耐性性解消集合のサイズは何か？
• RQ2 凸多面体 $S_n$ および $U_n$ の局所的メトリック次元は何か？
• RQ3 $n=2k$（$k \geq 2$）のとき、$U_n$ の強力メトリック次元は何か？
• RQ4 $S_n$ および $U_n$ における最短経路構造は、頂点部分集合の解消性質をどのように決定するか？
• RQ5 整数型線形計画法（ILP）の定式化は、凸多面体のような構造的グラフにおけるメトリック次元問題を効果的にモデル化および解くために使用できるか？

主な発見

• $n=2k$（$k \geq 2$）のとき、$U_n$ の強力メトリック次元は正確に $\frac{5n}{2}$ である。これは下界および上界に関する補題による証明で示された。
• $U_n$ の局所的メトリック次元は 2 である。これは $U_n$ が非二部グラフであり、2要素の局所的解消集合が存在することから確立された。
• $n \geq 3$ のとき、$S_n$ の局所的メトリック次元も 2 である。これは2要素の局所的解消集合の存在と非二部構造によるものである。
• $n=2k$（$k \geq 2$）のとき、$U_n$ に対してサイズ $\frac{5n}{2}$ の故障耐性性解消集合が存在し、そのサイズは最小である。
• 故障耐性性および局所的メトリック次元のためのILP定式化は正式に定義されており、これらのパラメータのアルゴリズム的計算を可能にする。
• 解析により、$a_i$、$c_i$、および $d_{i'}$ 頂点が、偶数 $n$ のとき $U_n$ においてサイズ $\frac{5n}{2}$ の強力解消集合を形成することが確認された。