[论文解读] A Heuristic for Magic and Antimagic Graph Labellings

François Bertault, Mirka Miller+3 more|arXiv (Cornell University)|May 8, 2013

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

一句话总结

本文提出了一种通用启发式算法，通过将标号问题形式化为组合优化任务，来寻找幻和反幻图的标号。利用模拟退火法，该方法高效地发现了此前无通用构造方法的小型图 $P_2^r \times P_3^s$ 的新顶点-反幻边标号。

ABSTRACT

Graph labellings have been a very fruitful area of research in the last four decades. However, despite the staggering number of papers published in the field (over 1000), few general results are available, and most papers deal with particular classes of graphs and methods. Here we approach the problem from the computational viewpoint, and in a quite general way. We present the existence problem of a particular labelling as a combinatorial optimization problem, then we discuss the possible strategies to solve it, and finally we present a heuristic for finding different classes of labellings, like vertex-, edge-, or face-magic, and $(a, d)$-antimagic $(v, e, f)$-labellings. The algorithm has been implemented in C++ and MATLAB, and with its aid we have been able to derive new results for some classes of graphs, in particular, vertex-antimagic edge labellings for small graphs of the type $P_2^r imes P_3^s$, for which no general construction is known so far.

研究动机与目标

• 解决在多样化图类中寻找幻和反幻图标号时缺乏通用计算方法的问题。
• 开发一种适用于多种标号类型的统一算法，包括顶点-、边-、面-幻标号以及 $(a,d)$-反幻标号。
• 通过引入一种在效率与有效性之间取得平衡的启发式方法，克服穷举搜索方法的局限性。
• 使在无已知构造方法的图中发现新标号成为可能，例如 $P_2^r \times P_3^s$。
• 比较模拟退火等启发式方法与穷举搜索策略的性能，突出其在完备性与速度之间的权衡。

提出的方法

• 将图标号存在性问题形式化为组合优化任务，其中目标函数根据期望的标号类型（如幻或反幻）定义。
• 通过标号函数 $\lambda$ 将顶点、边和面映射到整数，使用关联标签的和来计算顶点、边和面的权重。
• 实现模拟退火启发式方法，以探索可能的标号分配搜索空间，最小化顶点、边或面上的权重方差。
• 使用动态温度调度控制接受较差解的概率，降低陷入局部最优的风险。
• 集成剪枝机制以避免冗余或无效的标号分配，提高搜索效率。
• 将该算法应用于多种图族，包括完全图 $K_n$ 和笛卡尔积 $P_3^k$，以评估性能与可扩展性。

实验结果

研究问题

• RQ1 单一启发式框架能否有效应用于广泛的幻和反幻图标号问题？
• RQ2 在运行时间和成功率方面，模拟退火法与穷举搜索方法在幻标号问题上的性能如何比较？
• RQ3 寻找反幻标号与幻标号的计算复杂性如何，能否通过实证方法进行量化？
• RQ4 该启发式方法能否发现此前无通用构造方法的图族（如 $P_2^r \times P_3^s$）的新标号？
• RQ5 在解决相同的标号优化问题时，不同元启发式方法（如模拟退火与进化算法）的性能如何比较？

主要发现

• 模拟退火启发式方法成功发现了小型图 $P_2^r \times P_3^s$ 的新顶点-反幻边标号，这些图此前缺乏已知的通用构造方法。
• 在 $K_n$（$n \geq 6$，$n \neq 8,12$）中寻找顶点-幻边超标号所需的迭代次数呈指数增长，最佳拟合函数为 $y = 357.8e^{0.4811x}$，表明其可能为 NP-难问题。
• 相比之下，在 $P_3^k$ 中寻找顶点-反幻边标号所需的迭代次数显著更少，近似为线性函数 $y = 0.653x - 57.08$，表明其计算复杂度较低。
• 该算法的性能高度依赖于标号类型，反幻类型标号通常比幻类型标号更容易找到。
• 该启发式方法在探索大规模搜索空间方面高效且有效，使在传统构造方法失效的情况下发现新标号成为可能。
• 作者指出，尽管该算法不能保证找到解，但其为穷举搜索提供了一种实用的替代方案，尤其适用于复杂或理解不足的图族。