[论文解读] On the anti-forcing number of fullerene graphs

Qin Yang, Heping Zhang+1 more|arXiv (Cornell University)|Mar 6, 2015

Graph theory and applications参考文献 15被引用 25

一句话总结

本文证明了任意富勒烯图的反强迫数至少为四，证明了当所有偶数 n ≥ 20 且 n ≠ 22 和 n ≠ 26 时，存在反强迫数为四的富勒烯，并提出一种基于距离数组有向图与四种特定操作的构造方法，以生成所有此类富勒烯。其主要贡献在于对实现最小反强迫数四的富勒烯进行了完整表征。

ABSTRACT

The anti-forcing number of a connected graph $G$ is the smallest number of edges such that the remaining graph obtained by deleting these edges has a unique perfect matching. In this paper, we show that the anti-forcing number of every fullerene has at least four. We give a procedure to construct all fullerenes whose anti-forcing numbers achieve the lower bound four. Furthermore, we show that, for every even $n\geq20$ ($n eq22,26$), there exists a fullerene with $n$ vertices that has the anti-forcing number four, and the fullerene with 26 vertices has the anti-forcing number five.

研究动机与目标

• 确定富勒烯图的最小可能反强迫数。
• 表征所有实现反强迫数下界四的富勒烯。
• 对于每个偶数 n ≥ 20（n ≠ 22, 26），构造至少一个反强迫数为四的富勒烯。
• 确定唯一一个含 26 个顶点的富勒烯的反强迫数，表明其为五。

提出的方法

• 将反强迫数定义为：移除最少数量的边后，图中仅剩唯一一个完美匹配。
• 使用有向图 D（距离数组）来建模反强迫数为四的富勒烯的生成过程。
• 引入四种操作（O1–O4），在保持反强迫数和顶点数不变的前提下修改初始图。
• 在 D 中从初始种子图（F_s4, F_s5, F_s9, F_s13, F_s14, F_s15）出发，沿有向路径行进至空距离数组，对应于反强迫数为四的富勒烯。
• 通过归纳法证明，所得图 F − E₀ 具有唯一完美匹配，从而确保反强迫数恰好为四。
• 利用环状 5-边割的结构特征以及富勒烯的 2-可扩展性，验证构造的正确性与连通性。

实验结果

研究问题

• RQ1 任何富勒烯图的最小可能反强迫数是多少？
• RQ2 对于哪些偶数 n ≥ 20，存在一个含 n 个顶点且反强迫数为四的富勒烯？
• RQ3 所有反强迫数为四的富勒烯是否都能从有限个初始图系统性地生成？
• RQ4 唯一一个含 26 个顶点的富勒烯的反强迫数是多少？

主要发现

• 每个富勒烯图的反强迫数至少为四。
• 所有反强迫数为四的富勒烯均可通过在距离数组图 D 中沿有向路径行进，从六个初始种子图出发，经一系列四种定义的操作生成。
• 对于每个偶数 n ≥ 20 且 n ≠ 22 和 n ≠ 26，均存在至少一个含 n 个顶点且反强迫数为四的富勒烯。
• 唯一一个含 26 个顶点的富勒烯的反强迫数为五，通过显式构造一个大小为五的反强迫集予以确认。
• 该构造方法确保所得图 F − E₀ 具有唯一完美匹配，从而证明反强迫数恰好为四。
• 在距离数组图 D 中的有向路径保持了反强迫数不变，并准确追踪了从种子图到最终图的富勒烯结构增长过程。