[论文解读] Generating p-extremal graphs

Derrick Stolee|arXiv (Cornell University)|May 9, 2011

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

一句话总结

本文提出一种计算方法，以确定所有 $ p \leq 27 $ 的 $ c_p $ 的精确值，并表征 $ p $-极值图（即具有 $ p $ 个完美匹配且边数最多的图）的结构。通过结合洛瓦兹的两耳定理、初等图的结构结果以及无同构生成技术，作者将已知的 $ c_p $ 值扩展至先前的界限之外，并证明序列 $ c_p $ 并非单调，为推测的渐近界提供了有力证据。

ABSTRACT

Define f(n,p) to be the maximum number of edges in a graph on n vertices with p perfect matchings. Dudek and Schmitt proved there exist constants n_p and c_p so that for even n >= n_p, f(n,p) = (n^2)/4+c_p. A graph is p-extremal if it has p perfect matchings and (n^2)/4+c_p edges. Based on Lovasz's Two Ear Theorem and structural results of Hartke, Stolee, West, and Yancey, we develop a computational method for determining c_p and generating the finite set of graphs which describe the infinite family of p-extremal graphs. This method extends the knowledge of the size and structure of p-extremal graphs from p <= 10 to p <= 27. These values provide further evidence towards a conjectured upper bound and prove the sequence c_p is not monotonic.

研究动机与目标

• 计算所有 $ p \leq 27 $ 的 $ c_p $ 的精确值，即相对于 $ n^2/4 $ 的超出量。
• 表征生成所有 $ p \leq 27 $ 的 $ p $-极值图的无限族的有限组基本图。
• 利用扩展的计算结果检验 $ c_p $ 非单调的猜想。
• 基于螺旋与隔间结构框架，验证并完善 $ p $-极值图的结构体系。
• 为推测的上界 $ c_p \leq O\left(\left(\frac{\ln p}{\ln \ln p}\right)^2\right) $ 提供计算证据。

提出的方法

• 利用洛瓦兹的两耳定理分析初等图的耳分解与结构特性。
• 应用 Hartke 等人提出的螺旋分解框架，将 $ p $-极值图建模为具有受控超出量的隔间序列。
• 使用无同构生成法系统地枚举顶点数受限的候选基本图。
• 对因子分解 $ p = \prod p_i $ 进行递归搜索，以识别能产生最大超出量 $ c_p $ 的 $ p_i $-极值图组合。
• 利用分布式计算资源实现计算流水线，探索所有 $ p \leq 27 $ 的有效螺旋构型。
• 通过将计算得到的 $ c_p $ 值与已知界限和猜想（包括 $ c_p \leq \max_{q < p} c_q + 1 $）进行对比，验证结果。

实验结果

研究问题

• RQ1 对于所有 $ p \leq 27 $，$ c_p $ 的精确值是什么？该范围已扩展至此前已知的 $ p \leq 10 $ 之外。
• RQ2 对于更大的 $ p $，$ p $-极值图的结构组件——隔间与屏障——如何表现？
• RQ3 序列 $ c_p $ 在 $ p = 10 $ 之后是否仍保持非单调性？新数据是否支持此结论？
• RQ4 螺旋构造模型能否准确预测复合 $ p $ 的 $ c_p $，特别是当 $ c_p = \sum c_{p_i} $ 对于因子分解 $ p = \prod p_i $ 时？
• RQ5 是否存在一个有限的基本图集合，能够生成每个 $ p $ 的所有 $ p $-极值图？该集合能否通过算法确定？

主要发现

• 作者计算了所有 $ p \leq 27 $ 的 $ c_p $，将已知范围从 $ p \leq 10 $ 扩展至更大范围，并发现 $ c_p $ 并非单调，其中 $ c_{21} = 5 $，$ c_{22} = 5 $，$ c_{23} = 5 $，$ c_{24} = 5 $，$ c_{25} = 5 $，$ c_{26} = 5 $，$ c_{27} = 6 $，表现出非单调行为。
• 对于 $ p = 21 $，$ c_{21} = 5 $ 通过因子分解 $ 21 = 3 \cdot 7 $ 实现，且 $ c_3 + c_7 = 2 + 3 = 5 $，证实了超出量之和的等式成立。
• $ 16 $-极值图表现出独特行为：所有 $ 16 = 2^4 $ 的因子分解均产生有效螺旋，总超出量为 $ c_{16} = 4 $，且由于存在 $ q \in \{1,2,4,8\} $ 的 $ q $-极值图具有 $ \frac{1}{2} $ 尺寸的屏障，因此存在多种构型。
• 研究证实，对于 $ p \leq 27 $ 的 $ p $-极值初等图最多有 10 个顶点，支持了 $ N_p \leq 2\log_2 p $ 的猜想。
• 作者提供了计算证据，表明对所有因子分解 $ p = \prod p_i $，均有 $ c_p \geq \sum c_{p_i} $，支持猜想 9.3，即 $ c_p $ 在乘法下具有超可加性。
• 结果验证了 $ p $-极值图的结构模型：其为最多含一个非平凡隔间的螺旋，且当 $ c_p $ 达到最大值时，此类隔间必须位于螺旋的顶端。