[论文解读] The k-metric dimension of a graph

Alejandro Estrada‐Moreno, Juan A. Rodríguez‐Velázquez+1 more|arXiv (Cornell University)|Dec 24, 2013

Graph Labeling and Dimension Problems参考文献 18被引用 78

一句话总结

本文引入了图的k-度量维数作为度量维数的推广，其中k-度量生成器确保每对顶点至少被k个地标区分。论文建立了k-度量维数图的刻画，并在特定结构条件下给出了树的k-度量维数的精确公式，表明在某些情况下k-度量维数可等于k-区分对的数量。

ABSTRACT

As a generalization of the concept of a metric basis, this article introduces the notion of $k$-metric basis in graphs. Given a connected graph $G=(V,E)$, a set $S\subseteq V$ is said to be a $k$-metric generator for $G$ if the elements of any pair of different vertices of $G$ are distinguished by at least $k$ elements of $S$, i.e., for any two different vertices $u,v\in V$, there exist at least $k$ vertices $w_1,w_2,...,w_k\in S$ such that $d_G(u,w_i) e d_G(v,w_i)$ for every $i\in \{1,...,k\}$. A metric generator of minimum cardinality is called a $k$-metric basis and its cardinality the $k$-metric dimension of $G$. A connected graph $G$ is $k$-metric dimensional if $k$ is the largest integer such that there exists a $k$-metric basis for $G$. We give a necessary and sufficient condition for a graph to be $k$-metric dimensional and we obtain several results on the $k$-metric dimension.

研究动机与目标

• 为解决标准度量维数的局限性，即单个地标虽可唯一标识一个顶点，但若通信失败则可能产生歧义。
• 通过要求至少k个地标来区分任意一对顶点，正式建立一种鲁棒的网络定位系统，以增强容错能力。
• 定义并分析k-度量维数，即k-度量生成器的最小大小，推广经典度量维数的概念。
• 刻画k-度量维数图，即图中k为最大值，使得存在k-度量基。
• 在特定结构约束下，如终端度和星形配置，推导出树的k-度量维数的精确公式。

提出的方法

• 将k-度量生成器定义为集合 S ⊆ V，使得对任意两个不同的顶点 u, v ∈ V，至少有k个 S 中的顶点 w_i 满足 d(u, w_i) ≠ d(v, w_i)。
• 引入k-度量维数 dim_k(G) 为该类k-度量生成器的最小基数。
• 通过分析度量基和区分集合的结构，刻画k-度量维数图的必要与充分条件。
• 通过将树分解为度量区间，并利用度量支配顶点（M(T)）及其终端度（ter(w)）和星形度（ς(w)）的概念分析树。
• 建立树T的k-度量维数公式：当每个度量支配顶点w满足 ter(w) = 2 且 ς(w) = k 时，dim_k(T) = k|ℳ(T)|。
• 证明在此类树中，k-度量维数等于k-区分对的数量 |𝒟_k(T)|，表明理论下界是紧的。

实验结果

研究问题

• RQ1 图需满足何种条件才能成为k-度量维数图，即存在最大k使得k-度量基存在？
• RQ2 在度量支配顶点的特定结构约束下，如何精确计算树的k-度量维数？
• RQ3 能否利用结构不变量（如度量支配顶点的数量及其度数）来界定或精确计算k-度量维数？
• RQ4 在何种条件下，树的k-度量维数等于k-区分对的数量 |𝒟_k(T)|？
• RQ5 k-度量维数如何推广经典度量维数？其对容错网络定位有何影响？

主要发现

• 图G是k-度量维数图当且仅当存在k-度量基但不存在(k+1)-度量基，其特征为至少存在一对顶点被恰好k个地标区分。
• 对于不同于路径的树T，2-度量维数等于μ(T)，即度量支配顶点的数量。
• 对于满足ς(T) ≥ 3的树T，3-度量维数为 dim_3(T) = 2μ(T) − |ℳ(T)|，表明先前界限的紧致性。
• 当每个度量支配顶点w满足 ter(w) = 2 且 ς(w) = k 时，T的k-度量维数等于k|ℳ(T)|。
• 在此类树中，k-度量维数恰好等于 |𝒟_k(T)|，即k-区分对的数量，表明理论下界是紧的。
• 一个示例树满足 ℳ(T) = {w, w′} 且 ς(w) = ς(w′) = 3，此时 dim_3(T) = |𝒟_3(T)| = 6，实际验证了公式的正确性。