[論文レビュー] The $k$-metric dimension of the lexicographic product of graphs

Alejandro Estrada‐Moreno, Ismael G. Yero+1 more|arXiv (Cornell University)|Oct 27, 2014

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

ひとこと要約

本稿は、因子グラフの $k$-隣接次元に帰着させることで、辞書的積グラフの $k$-メトリック次元に対するタイトな境界と閉形式の公式を確立する。特に直径が6以上であるグラフのクラスに関しては、積グラフの $k$-メトリック次元が因子の $k$-隣接次元の和に等しくなることを証明し、特定の構造的条件下で完全な特徴付けを提供する。

ABSTRACT

Given a simple and connected graph $G=(V,E)$, and a positive integer $k$, a set $S\subseteq V$ is said to be a $k$-metric generator for $G$, if for any pair of different vertices $u,v\in V$, there exist at least $k$ vertices $w_1,w_2,\ldots,w_k\in S$ such that $d_G(u,w_i) e d_G(v,w_i)$, for every $i\in \{1,\ldots,k\}$, where $d_G(x,y)$ denotes the distance between $x$ and $y$. The minimum cardinality of a $k$-metric generator is the $k$-metric dimension of $G$. A set $S\subseteq V$ is a $k$-adjacency generator for $G$ if any two different vertices $x,y\in V(G)$ satisfy $|((N_G(x) riangledown N_G(y))\cup\{x,y\})\cap S|\ge k$, where $N_G(x) riangledown N_G(y)$ is the symmetric difference of the neighborhoods of $x$ and $y$. The minimum cardinality of any $k$-adjacency generator is the $k$-adjacency dimension of $G$. In this article we obtain tight bounds and closed formulae for the $k$-metric dimension of the lexicographic product of graphs in terms of the $k$-adjacency dimension of the factor graphs.

研究の動機と目的

• 辞書的積グラフの $k$-メトリック次元をその因子グラフの言いかえで特定すること。
• 積グラフの $k$-メトリック次元が因子の $k$-隣接次元の和に等しくなる条件を確立すること。
• 成分内の単純な不変量に還元することで、積グラフにおける $k$-メトリック次元の計算の複雑性を解消すること。
• 特に因子グラフの直径が大きい場合に、$k$-メトリック次元がタイトな境界に達するグラフのクラスを特徴付けること。

提案手法

• 著者らは、任意の頂点ペairを、距離が異なる少なくとも $k$ 個の頂点、または対称的でない近傍差を有する頂点によって区別できるような集合として、$k$-メトリック生成子と $k$-隣接生成子を定義する。
• 彼らは、辞書的積の構造的解析を通じて、$k$-メトリック基底と $k$-隣接基底の関係を導入する。
• 証明は、距離集合 $\mathcal{D}_{K_1+G}(x,y)$ と $\mathcal{C}_G(x,y)$ の分析に依拠し、$G$ が直径 $\geq 6$ を持つ場合、$K_1 + G$ における $k$-メトリック基底が $G$ における $k$-隣接基底に対応することを示す。
• 補題を用いて、各因子グラフ $H_i$ が直径 $D(H_i) \geq 6$ を持つならば、$K_1 + H_i$ の $k$-メトリック基底は $V(H_i)$ に含まれ、$H_i$ の $k$-隣接基底に対応することを証明する。
• 主結果は、これらの構造的同型性と、偽双子を含まないおよび真の双子を含まないグラフの性質を組み合わせることで得られ、積グラフの $k$-メトリック次元が成分間で加法的であることを保証する。
• 対称的近傍差と距離に基づく区別集合を活用して、指定された条件下で $\dim_k(G \circ \mathcal{H}) = \sum_{i=1}^n \mathrm{adim}_k(H_i)$ が成り立つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、辞書的積グラフの $k$-メトリック次元がその因子グラフの $k$-隣接次元の和に等しくなるか？
• RQ2 因子グラフの直径が、辞書的積における $k$-メトリック次元と $k$-隣接次元の関係にどのように影響するか？
• RQ3 ベースグラフ $G$（例：双子を含まない）に必要な構造的性質は何か？ これにより、$G \circ \mathcal{H}$ の $k$-メトリック次元が $H_i$ 間で加法的になるか。
• RQ4 $K_1 + G$ の $k$-メトリック次元は、$G$ の $k$-隣接次元によって完全に特徴付けられるか？
• RQ5 $K_1 + G$ におけるユニバーサル頂点が $k$-メトリック基底に与える役割は何か？ また、いつ基底から除外できるか？

主な発見

• 直径6以上の連結な偽双子を含まないグラフ $G$（位数 $n \geq 2$）と、$D(H_i) \geq 6$ を満たすグラフ族 $\mathcal{H} = \{H_1, \dots, H_n\}$ に対して、$k \in \{1, \dots, \min\{\mathcal{T}(G\circ\mathcal{H}), \mathcal{C}(\mathcal{H})\}\}$ の範囲で、辞書的積 $G \circ \mathcal{H}$ の $k$-メトリック次元は正確に $\sum_{i=1}^n \mathrm{adim}_k(H_i)$ に等しい。
• 連結な真双子を含まないグラフ $G$ に対して、$G \circ \overline{\mathcal{H}}$ の $k$-メトリック次元も同様に $\sum_{i=1}^n \mathrm{adim}_k(H_i)$ に等しい。
• $K_1 + G$ の $k$-メトリック基底は、$G$ が直径6以上であれば $V(G)$ に完全に含まれ、$G$ の $k$-隣接基底に正確に対応する。
• $G$ が直径 $\geq 6$ を持つ場合、$G$ の $k$-隣接次元は $K_1 + G$ の $k$-メトリック次元に等しくなる。これは、両不変量の間の直接的な対応関係を確立する。
• これらの結果は、因子グラフ $H_i$ が直径6以上であるという仮定のもとで成り立つ。これにより、$K_1 + H_i$ のユニバーサル頂点が $k$-メトリック基底に影響を与えないことが保証される。
• 本稿は、$k \leq \min\{\mathcal{T}(G\circ\mathcal{H}), \mathcal{C}(\mathcal{H})\}$ を満たす $k$-メトリック次元を持つグラフに対して $\dim_k(G \circ \mathcal{H}) = \sum_{i=1}^n \mathrm{adim}_k(H_i)$ を証明し、このクラスに対する完全な特徴付けを提供する。