[论文解读] 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$-度量维数达到紧致界的图类，特别是当因子图具有大直径时。

提出的方法

• 作者将 $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 能否通过 $G$ 的 $k$-邻接维数完全表征 $K_1 + G$ 的 $k$-度量维数？
• RQ5 在 $K_1 + G$ 中，万能顶点在确定 $k$-度量基时起什么作用？在何种情况下可将其从基中排除？

主要发现

• 对于阶数 $n \geq 2$ 的连通无伪孪点图 $G$ 及一族图 $\mathcal{H} = \{H_1, \dots, H_n\}$，若 $D(H_i) \geq 6$，则字典积图 $G \circ \mathcal{H}$ 的 $k$-度量维数恰好为 $\sum_{i=1}^n \mathrm{adim}_k(H_i)$，其中 $k \in \{1, \dots, \min\{\mathcal{T}(G\circ\mathcal{H}), \mathcal{C}(\mathcal{H})\}\}$。
• 对于连通无真孪点图 $G$，在相同 $k$ 和 $H_i$ 条件下，$G \circ \overline{\mathcal{H}}$ 的 $k$-度量维数也等于 $\sum_{i=1}^n \mathrm{adim}_k(H_i)$。
• $K_1 + G$ 的 $k$-度量基完全包含于 $V(G)$ 中，当且仅当 $G$ 的直径至少为 6，且其恰好对应于 $G$ 的 $k$-邻接基。
• 当 $G$ 的直径 $\geq 6$ 时，图 $G$ 的 $k$-邻接维数等于 $K_1 + G$ 的 $k$-度量维数，从而在两个不变量之间建立了直接对应关系。
• 上述结果成立的前提是因子图 $H_i$ 的直径至少为 6，这确保了 $K_1 + H_i$ 中的万能顶点不影响 $k$-度量基。
• 本文证明了 $\dim_k(G \circ \mathcal{H}) = \sum_{i=1}^n \mathrm{adim}_k(H_i)$，适用于 $k$-度量维数图且满足 $k \leq \min\{\mathcal{T}(G\circ\mathcal{H}), \mathcal{C}(\mathcal{H})\}$ 的情况，为该类图提供了完整表征。