[论文解读] Half domination arrangements in regular and semi-regular tessellation type graphs

Eugen J. Ionaşcu|arXiv (Cornell University)|Jan 23, 2012

Advanced Graph Theory Research参考文献 4被引用 5

一句话总结

本文研究了从平面的正则与半正密铺导出的无限顶点传递图中的半支配集。通过整数线性规划与优化技术，计算或界定了此类集合的最大密度，得出精确值如六边形与正方形密铺的 2/3，以及混合三角形-正方形-六边形排列的上界 19/30。

ABSTRACT

We study the problem of half-domination sets of vertices in vertex transitive infinite graphs generated by regular or semi-regular tessellations of the plane. In some cases, the results obtained are sharp and in the rest, we show upper bounds for the average densities of vertices in half-domination sets.

研究动机与目标

• 确定由平面正则与半正则密铺生成的无限图中半支配集的最大密度。
• 利用组合与优化技术，建立此类集合渐近密度的紧上界或精确值。
• 探讨顶点传递密铺图中最优配置的存在性与唯一性。
• 分析解的缺陷与其对应不同最大排列数之间的关系。
• 为未来研究，将该框架扩展至密铺型图中的 k-依赖问题。

提出的方法

• 通过将每块瓷砖视为顶点、共享边视为图边，从边对边密铺构造无限图。
• 应用整数线性规划（ILP）建模半支配约束：集合中每个顶点在集合内的邻居数最多为 ⌊d(v)/2⌋。
• 在有限子图 G_{T,m,n} 中使用周期性边界条件，以逼近 m,n → ∞ 时的 limsup 密度 ρ_T。
• 将几何密铺对称性转化为变量 x_{i,j,k}（表示瓷砖是否被包含）的循环索引系统。
• 利用 LPSolve 求解 ILP 系统，约束条件基于局部顶点度数与邻居计数，获得数值解。
• 采用归一化变量 x = T/(6mn)，y = S/(6mn)，z = H/(6mn)，将约束转换为优化标准形式。

实验结果

研究问题

• RQ1 在由正则或半正密铺 T 导出的无限图中，半支配集的最大密度 ρ_T 的精确值是多少？
• RQ2 在哪些密铺中，半支配密度达到紧值（即无缺陷），何时最优配置是唯一的？
• RQ3 最优排列的数量与结构如何与解的缺陷（即约束中的松弛）相关？
• RQ4 用于半支配问题的方法能否推广至密铺图中的 k-依赖问题？
• RQ5 对于 (3^4,6) 等密铺，半支配密度的理论最大值是多少？该值是否可达？

主要发现

• 对于正则密铺 (4^4) 与 (6^3)，半支配密度 ρ_T 精确为 2/3，由周期性对称配置实现。
• 对于半正则密铺 (3^4,6)，最大密度的上界为 19/30 ≈ 0.633，数值解逼近该值。
• 对于 (3,4,6,4)，论文报告密度为 3/4；对于 (8^2,4) 与 (12,6,4)，密度分别为 3/4 与 5/6，且均无缺陷。
• 对于 (12^2,3)，理论最大值为 7/9，但目前已知最优配置仅达 3/4，表明存在差距。
• 对于 (4,3,3,4,3)，紧致配置实现密度 2/3；对于 (6,3,3,3,3)，论文更正了早期估计，表明真实最大值为 2/3 而非 5/9。
• 论文推测：对于无缺陷图，最优配置在图同构意义下唯一，且对任意给定缺陷，此类配置仅有有限多个。