[論文レビュー] 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を確立している。8次ラテン平方の283,657個のメインクラスすべてに対して整数プログラミングとラテントレイド解析を用いて、16未満のエントリで一意に補完可能な集合をもたないことを検証した。3つの例外的なメインクラスについては、小規模なトレイドを超えた構造的解析が不可欠であった。

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次ラテン平方における臨界集合の最小サイズを特定すること。
• n = 8のとき、scs(n) = ⌊n²/4⌋という予想が成り立つかどうかを検証すること。
• 行、列、または要素がそれぞれ3つ以下のラテントレイドのみで、すべてのメインクラスにおける臨界集合の最小性を証明できるか否かを調査すること。
• 小規模なトレイドが臨界集合の下界を確立できない例外的なメインクラスを同定し、それらを分析すること。
• 8次ラテン平方に16未満のエントリで一意に補完可能な集合を含まないことを確認すること。

提案手法

• Kolesova, Lam, および Thielが分類した8次ラテン平方の283,657個のすべてのメインクラスを体系的に分析した。
• 最小臨界集合問題をモデル化するための整数プログラミングを採用し、各ラテントレイドが候補集合と少なくとも1点で交差することを保証する制約を設けた。
• 計算複雑性を軽減するため、行・列・要素がそれぞれ3つ以下のラテントレイドのリストを生成し、最小化した。
• アルゴリズムBを変更した第3段階を用いて、重複を避ける制約を組み込み、すべての最小臨界集合を列挙した。
• トレイド交差補題を適用した：一意に補完可能な集合は、すべてのラテントレイドと少なくとも1点で交差しなければならない。
• 小規模なトレイドでは16エントリの下界を証明できなかった3つの例外的なメインクラスについて、詳細な構造的解析を実施した。

実験結果

リサーチクエスチョン

• RQ1 16未満のエントリで一意に補完可能な集合をもつ8次ラテン平方は存在するか？
• RQ2 8次ラテン平方のすべてのメインクラスにおいて、行・列・要素がそれぞれ3つ以下のトレイドのみで、臨界集合に少なくとも16エントリが必要であることを証明できるか？
• RQ3 小規模なトレイドが16エントリの下界を確立できない3つのメインクラスの構造的特徴は何か？
• RQ4 n = 8のとき、scs(n) = ⌊n²/4⌋という予想は成り立つか？また、その最小臨界集合サイズは群に基づくラテン平方Z₈でのみ実現されるか？
• RQ5 異なるメインクラス間で同じサイズの臨界集合の間には、対応関係が存在するか？

主な発見

• 8次ラテン平方の最小臨界集合のサイズは16であり、したがってscs(8) = 16である。
• 8次ラテン平方のいかなるものにも、16未満のエントリで一意に補完可能な集合は存在しない。
• X、Y、Wの3つのメインクラス—それぞれの代表となる平方—は、小規模なトレイド（≤3行・列・要素）を超えた解析が必要であり、16エントリの下界を確認するためのものであった。
• Xには21個のインタカリテが存在し、Yには7個、Wには9個である。XとYはrcs対称であり、Yの集合は主対角線に関して対称である。
• XおよびYにおいて、位置(8,8;8)はそれぞれ7つのインタカリテに含まれており、XᵢおよびYᵢの集合はそれぞれの平方から正確に43エントリを用いている。
• 解析により、scs(n) = ⌊n²/4⌋という予想がn = 8において成り立つことが確認され、最小臨界集合サイズは群に基づくZ₈を除き、いかなるメインクラスでも実現されないことが示された。