[论文解读] The Metric Dimension of Regular Bipartite Graphs

Suhadi Wido Saputro, Edy Tri Baskoro+3 more|arXiv (Cornell University)|Jan 19, 2011

Graph Labeling and Dimension Problems参考文献 13被引用 38

一句话总结

本文确定了 $k$-正则二分图 $G(n,n)$ 在 $k = n-1$ 和 $k = n-2$ 情况下的度量维数。证明了 $(n-1)$-正则二分图的度量维数为 $n-1$，而对于 $(n-2)$-正则图，给出了基于缺失边的环分解的公式，结合了环大小的模运算和子图的分辨集贡献。

ABSTRACT

A set of vertices $W$ resolves a graph $G$ if every vertex is uniquely determined by its vector of distances to the vertices in $W$. A metric dimension of $G$ is the minimum cardinality of a resolving set of $G$. A bipartite graph G(n,n) is a graph whose vertex set $V$ can be partitioned into two subsets $V_1$ and $V_2,$ with $|V_1|=|V_2|=n,$ such that every edge of $G$ joins $V_1$ and $V_2$. The graph $G$ is called $k$-regular if every vertex of $G$ is adjacent to $k$ other vertices. In this paper, we determine the metric dimension of $k$-regular bipartite graphs G(n,n) where $k=n-1$ or $k=n-2$.

研究动机与目标

• 确定 $n \geq 3$ 时 $(n-1)$-正则二分图 $G(n,n)$ 的度量维数。
• 通过分析缺失边分解为不相交的偶环，刻画 $(n-2)$-正则二分图 $G(n,n)$ 的度量维数。
• 基于环大小模 5 的结果，推导出度量维数的公式。
• 建立在分辨集中的额外顶点超出子图基的和的条件。

提出的方法

• 使用分辨集 $W$ 的概念，其中每个顶点到 $W$ 中元素的距离向量唯一。
• 应用先前关于完全二分图减去环的度量维数的研究成果，特别是 $K_{m,m} \setminus E(C_{2m})$。
• 对环大小 $m_i$（模 5）使用模运算，对子图进行分类并确定其各自的度量维数。
• 基于 $m_i \mod 5$ 构造子图 $G_i = K_{m_i,m_i} \setminus E(R_i)$ 的显式基，确保基中缺失顶点数不超过两个。
• 将子图 $G_i$ 的度量维数相加，并根据 $k_1$、$k_2$ 和 $k_3$ 的计数添加校正项。
• 基于 $n$、$r$（环的数量）以及 $k_1$、$k_2$、$k_3$ 的值进行情况分析，推导出最终公式。

实验结果

研究问题

• RQ1 对于 $n \geq 3$，$(n-1)$-正则二分图 $G(n,n)$ 的度量维数是多少？
• RQ2 $(n-2)$-正则二分图 $G(n,n)$ 的度量维数如何依赖于缺失边分解为不相交偶环的结构？
• RQ3 每个缺失环的大小模 5 在确定度量维数中起什么作用？
• RQ4 在什么条件下 $G(n,n)$ 的度量维数等于其子图 $G_i$ 的度量维数之和？
• RQ5 在什么情况下以及为何需要在分辨集中添加超过子图基之和的额外顶点？

主要发现

• 对于 $n \geq 3$，$(n-1)$-正则二分图 $G(n,n)$ 的度量维数恰好为 $n-1$。
• 对于 $n \geq 5$，若所有缺失环的大小满足 $m_i \equiv 0, 1, 2, 3, 4 \pmod{5}$，则 $G(n,n)$ 的度量维数由子图 $G_i = K_{m_i,m_i} \setminus E(R_i)$ 的度量维数之和决定，校正项基于 $k_1$、$k_2$ 和 $k_3$。
• 当 $n \geq 5$，$r \geq 2$，$k_1 \leq r-2$ 且 $k_3 \geq 2$ 时，度量维数为 $\sum \beta(G_i) + k_2 + k_3 - 2$。
• 当 $n \geq 5$，$r \geq 2$，$k_1 \leq r-2$ 且 $k_3 \in \{0,1\}$ 时，度量维数为 $\sum \beta(G_i) + k_2 + k_3 - 1$。
• 当 $n = 4$ 时，度量维数恰好为 2，对应于偶环 $C_8$。
• 对于满足 $m \equiv 1 \pmod{5}$ 的 $K_{m,m} \setminus E(C_{2m})$，其基必须至少包含两个各含三个缺失顶点的间隙，该性质在证明中用于推导界限和矛盾。