[论文解读] The size of the smallest uniquely completable set in order 8 Latin squares

Richard Bean|arXiv (Cornell University)|Feb 28, 2004

graph theory and CDMA systems参考文献 7被引用 8

一句话总结

本文证明了任意8阶拉丁方中最小临界集的大小为16，从而确立了scs(8) = 16。通过在Kolesova、Lam和Thiel分类的全部283,657个主类8阶拉丁方中，结合整数规划与拉丁置换分析，作者验证了不存在任何此类拉丁方能拥有小于16个元素的唯一可补全集合，其中三个特殊主类需要超越小置换的更深层次结构分析。

ABSTRACT

In 1990, Kolesova, Lam and Thiel determined the 283,657 main classes of Latin squares of order 8. Using techniques to determine relevant Latin trades and integer programming, we examine representatives of each of these main classes and determine that none can contain a uniquely completable set of size less than 16. In three of these main classes, the use of trades which contain less than or equal to three rows, columns, or elements does not suffice to determine this fact. We closely examine properties of representatives of these three main classes. Writing the main result in Nelder's notation for critical sets, we prove that scs(8)=16.

研究动机与目标

• 确定任意8阶拉丁方中临界集的最小大小。
• 验证猜想scs(n) = ⌊n²/4⌋在n = 8时是否成立。
• 研究仅使用行、列或元素数不超过3的拉丁置换，是否足以证明所有主类中临界集的最小性。
• 识别并分析在小置换无法确立16个元素下界时的特殊主类。
• 确认不存在任何8阶拉丁方包含少于16个元素的唯一可补全集合。

提出的方法

• 系统分析了Kolesova、Lam和Thiel分类的全部283,657个8阶拉丁方主类。
• 采用整数规划建模最小临界集问题，通过约束确保每个拉丁置换与候选集合相交。
• 生成并最小化了行、列或元素数不超过3的拉丁置换列表，以降低计算复杂度。
• 使用算法B并修改其第三步，以枚举所有最小临界集，同时引入约束以避免冗余解。
• 应用置换相交引理：唯一可补全集合必须在至少一个位置与每个拉丁置换相交。
• 对三个特殊主类进行了详细的结构分析，这些主类中小置换不足以证明16个元素的下界。

实验结果

研究问题

• RQ1 是否存在一个8阶拉丁方，其唯一可补全集合的大小小于16？
• RQ2 是否能够仅通过行、列或元素数不超过3的置换，证明所有8阶拉丁方主类中临界集至少需要16个元素？
• RQ3 在小置换无法确立16个元素下界的三个主类中，其结构特性有何区别？
• RQ4 猜想scs(n) = ⌊n²/4⌋在n = 8时是否成立，且该最小临界集大小是否仅在基于群的拉丁方Z₈中实现？
• RQ5 不同主类间是否存在大小相同的临界集之间的映射关系？

主要发现

• 任意8阶拉丁方中最小临界集的大小为16，因此scs(8) = 16。
• 不存在任何8阶拉丁方包含少于16个元素的唯一可补全集合。
• 三个主类——分别由平方X、Y和W代表——需要超越小置换（≤3行、列或元素）的分析，才能确认16个元素的下界。
• X有21个交错子方，Y有7个，W有9个，其中X和Y具有rcs对称性，且Y的集合关于主对角线对称。
• 在X和Y中，位置(8,8;8)分别参与了七个交错子方，且集合Xᵢ和Yᵢ各自恰好使用了其对应平方中的43个元素。
• 分析确认了猜想scs(n) = ⌊n²/4⌋在n = 8时成立，且最小临界集大小仅在可能的基于群的Z₈主类中实现。