[论文解读] Minimal resolving sets for the hypercube

Ashwin Ganesan|arXiv (Cornell University)|Jun 18, 2011

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

一句话总结

该论文证明了对于 $n \geq 5$ 的 $n$-维超立方体 $Q^n$，一个特定的 $n-1$ 个顶点的集合——即除一个外的所有标准基向量——构成一个极小分辨集，优于 Erdös 和 Renyi 所给出的大小为 $n$ 的已知分辨集。证明利用对称性和距离向量分析，无需穷举计算，确立了原 $n$-顶点分辨集的真子集仍能唯一分辨所有顶点。

ABSTRACT

For a given undirected graph $G$, an \emph{ordered} subset $S = {s_1,s_2,...,s_k} \subseteq V$ of vertices is a resolving set for the graph if the vertices of the graph are distinguishable by their vector of distances to the vertices in $S$. While a superset of any resolving set is always a resolving set, a proper subset of a resolving set is not necessarily a resolving set, and we are interested in determining resolving sets that are minimal or that are minimum (of minimal cardinality). Let $Q^n$ denote the $n$-dimensional hypercube with vertex set ${0,1}^n$. In Erdös and Renyi (Erdos & Renyi, 1963) it was shown that a particular set of $n$ vertices forms a resolving set for the hypercube. The main purpose of this note is to prove that a proper subset of that set of size $n-1$ is also a resolving set for the hypercube for all $n \ge 5$ and that this proper subset is a minimal resolving set.

研究动机与目标

• 确定 Erdös 和 Renyi 所描述的 $Q^n$ 的 $n$-顶点分辨集的真子集是否仍能分辨超立方体的所有顶点。
• 证明此类子集的极小性，即其任何真子集均无法分辨所有顶点。
• 提供一种非计算性、分析性的证明，表明当 $n \geq 5$ 时，$Q^n$ 存在大小为 $n-1$ 的极小分辨集，避免使用暴力验证。

提出的方法

• 利用超立方体的顶点传递对称性：若 $S$ 是一个分辨集，则对任意 $x \in V(Q^n)$，$S + x$ 也是一个分辨集，如引理 1 所示。
• 分析顶点 $v \in V(Q^n)$ 的距离向量 $d(v, S)$，仅使用 $n-1$ 个参考点来区分所有顶点对。
• 考虑分辨集 $S = \{e_2, e_3, \ldots, e_n\}$，其中 $e_i$ 是第 $i$ 个位置为 1、其余为 0 的顶点，并证明其能唯一分辨所有顶点。
• 基于顶点对与分辨集元素的支撑集交集，对顶点对进行分类讨论，特别关注 $\{1,2\}$ 和 $\{3,\ldots,n\}$ 中的元素。
• 利用对称性将结果推广至集合 $\{e_1, e_2, \ldots, e_{n-1}\}$，即 Erdös 和 Renyi 原始 $n$-顶点集去掉一个元素的情形。
• 利用乘积结构 $Q^n = Q^{n-1} \times K_2$ 及图积中分辨集的已知结果，递归构造大小为 $n-1$ 的分辨集。

实验结果

研究问题

• RQ1 对于 $n \geq 5$，Erdös 和 Renyi 所描述的 $Q^n$ 的 $n$-顶点分辨集的真子集是否仍能分辨超立方体的所有顶点？
• RQ2 所得的 $n-1$ 大小子集是否为极小的，即其任何真子集均无法分辨所有顶点？
• RQ3 是否存在一种非计算性、分析性的证明，可确立此类集合的极小性与分辨性质，而无需进行穷举的距离向量检查？

主要发现

• 当 $n \geq 5$ 时，集合 $\{011\ldots1, 1011\ldots1, \ldots, 111\ldots101\}$——即 Erdös 和 Renyi 的 $n$-顶点分辨集的大小为 $n-1$ 的真子集——是 $Q^n$ 的一个分辨集。
• 该大小为 $n-1$ 的分辨集是极小的，因为其任何真子集均无法区分 $Q^n$ 中的所有顶点对。
• 证明通过利用对称性与基于顶点对与分辨集元素交集的分类讨论，避免了穷举计算。
• 该结果成立，是因为对任意一对不同的顶点 $x$ 和 $y$，均存在一个分辨元素 $s$ 满足 $d(x,s) \neq d(y,s)$，这由超立方体的结构及 $S$ 的选取所保证。
• 通过自同构可推广该结果：任意坐标排列均保持分辨性质，因此所有通过去掉一个标准基向量形成的 $n-1$-元素集合均为极小分辨集。
• 当 $n \geq 5$ 时，$Q^n$ 的度量维数严格小于 $n$，这由大小为 $n-1$ 的分辨集的存在性所证明。