[论文解读] Optimal open-locating-dominating sets in infinite triangular grids

Rex K. Kincaid, Allison Oldham+1 more|arXiv (Cornell University)|Mar 27, 2014

Advanced Graph Theory Research参考文献 10被引用 8

一句话总结

本文通过荷电论证法确定了无限三角形网格中开定位支配集（OLD-sets）的最优密度为 4/13，证明了该密度的下界为 4/13，并构造出一个达到该密度的 OLD-sets，从而确立了该网格下 4/13 为精确最优密度。该方法通过将权重从 OLD-sets 中的顶点重新分配给其邻居，确保每个顶点至少获得 4/13 单位的电荷。

ABSTRACT

An open-locating-dominating set (OLD-set) is a subset of vertices of a graph such that every vertex in the graph has at least one neighbor in the set and no two vertices in the graph have the same set of neighbors in the set. This is an analogue to the well-studied identifying code in the literature. In this paper, we prove that the optimal density of the OLD-set for the infinite triangular grid is $4/13$.

研究动机与目标

• 确定无限三角形网格中开定位支配集（OLD-sets）的精确最优密度。
• 利用荷电论证法建立 OLD-sets 密度的紧下界。
• 构造一个达到密度 4/13 的 OLD-sets，确认其为最优。
• 拓展对无限正则网格中 OLD-sets 的理解，特别是超越正方形和六边形网格的情形。

提出的方法

• 为 OLD-sets 中的每个顶点分配权重 1，其余顶点分配权重 0，然后通过荷电规则系统重新分配权重。
• 应用荷电规则（R1–R3），根据顶点的度数和结构角色（如劣质 2-顶点、1,2-对）从簇中顶点分配电荷。
• 定义结构组件，如 t-簇、角 2-顶点、劣质 2-顶点和 1,2-对，以分类顶点配置。
• 基于顶点度数和邻居类型（如 1-顶点、2-顶点、3-及以上顶点）进行情形分析，以限制总电荷分配。
• 验证每个顶点最终至少获得 4/13 单位电荷，从而证明密度不可能低于 4/13。
• 通过在三角形格点上重复使用一个模式，构造出密度为 4/13 的周期性 OLD-sets。

实验结果

研究问题

• RQ1 无限三角形网格中开定位支配集的最小可能密度是多少？
• RQ2 能否改进由正则性得出的 2/7 下界？若能，改进幅度如何？
• RQ3 是否存在一种构造方法，使密度低于此前已知的 6/19？
• RQ4 荷电法能否有效应用于建立无限网格中 OLD-sets 的紧下界？
• RQ5 三角形网格中 OLD-sets 的哪些结构特性限制了其密度？

主要发现

• 无限三角形网格中开定位支配集的最优密度恰好为 4/13。
• 荷电论证法证明，无限三角形网格中任何 OLD-sets 的密度均不可能低于 4/13。
• 本文构造出一个显式的密度为 4/13 的 OLD-sets，证实该界为紧致。
• 由正则性得出的 2/7 下界被改进为 4/13，表明三角形网格允许比 6-正则图理论最小值更密集的 OLD-sets。
• 证明通过按度数和邻居结构（如劣质 2-顶点、1,2-对）对顶点进行分类，以管理电荷再分配。
• 该方法成功验证了荷电过程中所有类型的顶点均获得至少 4/13 单位电荷，确保密度下界成立。