[论文解读] There are 1,132,835,421,602,062,347 nonisomorphic one-factorizations of $K_{14}$

Petteri Kaski, Patric R. J. Östergård|ArXiv.org|Dec 31, 2007

graph theory and CDMA systems参考文献 9被引用 10

一句话总结

本文通过群作用与轨道-稳定子定理，对完全图 $K_{14}$ 的非同构1-因子分解进行了计算枚举。通过分类具有非平凡自同构的1-因子分解并利用双重计数验证，作者确定 $K_{14}$ 恰好有 1,132,835,421,602,062,347 个非同构的1-因子分解，从而以严格的计算验证解决了这一长期存在的组合枚举问题。

ABSTRACT

We establish by means of a computer search that a complete graph on 14 vertices has 98,758,655,816,833,727,741,338,583,040 distinct and 1,132,835,421,602,062,347 nonisomorphic one-factorizations. The enumeration is constructive for the 10,305,262,573 isomorphism classes that admit a nontrivial automorphism.

研究动机与目标

• 确定完全图 $K_{14}$ 的非同构1-因子分解的确切数量，这是组合数学中一个长期悬而未决的问题。
• 开发并应用一种基于轨道-稳定子定理的计算方法，以计数同构类，而无需显式构造所有标记的1-因子分解。
• 通过多种独立检查（包括种子和自同构类型的双重计数）验证计算结果的正确性。
• 对 $K_{14}$ 的1-因子分解的所有同构类中具有非平凡自同构的类型进行分类，为对称1-因子分解提供结构洞察。

提出的方法

• 作者利用轨道-稳定子定理，通过顶点集上的对称群作用，将标记1-因子分解的数量与同构类的数量关联起来。
• 他们应用改进的Dinitz–Garnick–McKay递归算法，计算出 $K_{14}$ 的标记1-因子分解总数，结果为 98,758,655,816,833,727,741,338,583,040。
• 采用基于种子的构造性分类方法，对具有非平凡自同构群的1-因子分解进行枚举，以计数具有非平凡稳定子的同构类。
• 该方法通过双重计数三元组 $(\mathcal{X}, \Pi, T, \mathcal{S})$ 来验证自同构类型的计数，并确保独立计算之间的一致性。
• 通过将自同构群分解为阶为 $p$ 的素数阶子群 $\Pi$，并分析其在顶点划分 $U \cup V$ 的两部分上的不动点模式，参数为 $f_U$ 和 $f_V$，来分析自同构群结构。
• 通过独立计算的种子数量和扩展数，验证轨道-稳定子方程（8）左右两边在每种自同构类型下均一致，从而确认结果的正确性。

实验结果

研究问题

• RQ1 完全图 $K_{14}$ 的非同构1-因子分解有多少个？
• RQ2 是否可以在不枚举所有标记实例的情况下，高效计算1-因子分解的同构类数量？
• RQ3 1-因子分解在 $K_{14}$ 中的自同构群结构分布如何？
• RQ4 在涉及对称性的大规模组合枚举问题中，如何严格验证计算的正确性？

主要发现

• 完全图 $K_{14}$ 恰好有 1,132,835,421,602,062,347 个非同构的1-因子分解。
• 通过递归方法计算出 $K_{14}$ 的标记1-因子分解总数为 98,758,655,816,833,727,741,338,583,040，并通过独立验证确认。
• 对具有非平凡自同构的1-因子分解的分类包括 10,305,262,573 个同构类，这些类已系统地枚举并验证。
• 双重计数检查确认了所有14种自同构类型下结果的一致性，每种类型下轨道-稳定子方程的左右两边均精确一致。
• 该方法成功扩展了对 $K_{10}$ 和 $K_{12}$ 的先前结果，将构造性同构类枚举的计算边界推进至 $K_{14}$，此前这曾是该方法的理论极限。
• 作者提供了 $K_{14}$ 的1-因子分解同构类的完整且经过验证的普查结果，通过多种独立检查实现了全面的计算验证。