[论文解读] The k-metric dimension of graphs: a general approach

Alejandro Estrada‐Moreno, Ismael G. Yero+1 more|arXiv (Cornell University)|May 21, 2016

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

一句话总结

该论文通过引入截断度量 $ d_t(x,y) = \min\{d(x,y), t\} $，提出了一种图的 k-度量维数的广义框架，统一了标准 k-度量维数（当 $ t \geq D(G) $ 时）与 k-邻接维数（当 $ t = 2 $ 时）。主要贡献在于构建了一个涵盖不连通图的完整理论体系，并证明了当 $ k $ 为奇数时，计算 (k,t)-度量维数为 NP-难问题，同时给出了字典积与冠图积的精确公式。

ABSTRACT

Let $(X,d)$ be a metric space. A set $S\subseteq X$ is said to be a $k$-metric generator for $X$ if and only if for any pair of different points $u,v\in X$, there exist at least $k$ points $w_1,w_2, \ldots w_k\in S$ such that $d(u,w_i) e d(v,w_i),\; \mbox{ m for all}\; i\in \{1, \ldots k\}.$ Let $\mathcal{R}_k(X)$ be the set of metric generators for $X$. The $k$-metric dimension $\dim_k(X)$ of $(X,d)$ is defined as $$\dim_k(X)=\inf\{|S|:\, S\in \mathcal{R}_k(X)\}.$$ Here, we discuss the $k$-metric dimension of $(V,d_t)$, where $V$ is the set of vertices of a simple graph $G$ and the metric $d_t:V imes V ightarrow \mathbb{N}\cup \{0\}$ is defined by $d_t(x,y)=\min\{d(x,y),t\}$ from the geodesic distance $d$ in $G$ and a positive integer $t$. The case $t\ge D(G)$, where $D(G)$ denotes the diameter of $G$, corresponds to the original theory of $k$-metric dimension and the case $t=2$ corresponds to the theory of $k$-adjacency dimension. Furthermore, this approach allows us to extend the theory of $k$-metric dimension to the general case of non-necessarily connected graphs.

研究动机与目标

• 通过引入截断度量 $ d_t $，推广图的 k-度量维数，建立统一框架以涵盖标准与基于邻接的 k-度量维数。
• 将 k-度量维数理论扩展至非必然连通的图，此前该理论仅限于连通图结构。
• 建立计算复杂性结果，证明当 $ k $ 为奇数时，计算 (k,t)-度量维数为 NP-难问题。
• 推导 (k,t)-度量维数在特殊图积（如字典积与冠图积）中的精确表达式。
• 探索图族与度量空间中同时存在的 k-度量维数，识别出存在公共生成元的条件。

提出的方法

• 定义截断度量 $ d_t(x,y) = \min\{d(x,y), t\} $，其中 $ d $ 为图 $ G $ 中的测地距离，$ t $ 为正整数。
• 引入 (k,t)-度量生成元的概念：集合 $ S \subseteq V $ 满足对任意不同的 $ u,v \in V $，存在至少 $ k $ 个 $ S $ 中的顶点，通过与 $ u $ 和 $ v $ 的不同距离来区分它们。
• 将 (k,t)-度量维数定义为满足该条件的最小集合大小，记为 $ \dim_k^t(G) $。
• 利用图积构造——特别是字典积与冠图积——推导 (k,t)-度量维数的精确表达式。
• 证明当 $ t \geq 2 $ 时，字典积图的 (k,t)-度量维数与 $ t $ 无关，且对于冠图积，其值等于 $ n \cdot \dim_k^2(H) $，其中 $ n $ 为第一张图的阶数。
• 通过图论中已知的 NP-难问题的归约，证明当 $ k $ 为奇数时，计算 (k,t)-度量维数为 NP-难问题。

实验结果

研究问题

• RQ1 如何将 k-度量维数推广至有界度量情形？这会带来哪些新的结构洞见？
• RQ2 (k,t)-度量维数与经典 k-度量维数（当 $ t \geq D(G) $ 时）及 k-邻接维数（当 $ t = 2 $ 时）之间存在何种关系？
• RQ3 对于特定图族（如字典积或冠图积）是否能高效计算 (k,t)-度量维数？
• RQ4 确定 (k,t)-度量维数的计算复杂性如何，特别是当 $ k $ 为奇数时？
• RQ5 在何种条件下，一族度量空间或图中存在共同的 (k,t)-度量生成元？

主要发现

• 字典积图 $ G \circ H $ 的 (k,t)-度量维数在 $ t \geq 2 $ 时与 $ t $ 无关，且等于 $ n \cdot \dim_k^2(H) $，其中 $ n $ 为 $ G $ 的阶数。
• 对于冠图积 $ G \circ H $，其 (k,t)-度量维数恰好为 $ n \cdot \dim_k^2(H) $，其中 $ n $ 为 $ G $ 的顶点数。
• 即使对于不连通图，(k,t)-度量维数仍定义良好，扩展了 k-度量维数理论的应用范围。
• 当 $ k $ 为奇整数时，计算 (k,t)-度量维数的问题为 NP-难问题，该结论通过归约至已知的 NP-难问题得以确立。
• 在特定条件下，图族 $ \mathcal{G} $ 的同时 (k,t)-度量维数 $ \operatorname{Sd}_k(\mathcal{G}) $ 可等于单张图 $ G $ 的 (k,t)-度量维数。
• 该理论统一了标准 k-度量维数（当 $ t \geq D(G) $ 时）与 k-邻接维数（当 $ t = 2 $ 时），提供了连续的推广谱系。