[論文レビュー] Putting Dots in Triangles

Simon R. Blackburn⋆, Maura B. Paterson+1 more|arXiv (Cornell University)|Oct 22, 2009

Mathematics and Applications参考文献 3被引用数 7

ひとこと要約

本稿では、右三角形グリッドのサイズ $ n $ に対して、どの行、列、対角線にも1つより多いドットが配置されないよう、配置可能なドットの最大数 $ N(n) $ に対する上界 $ N(n) \leq \left\lfloor \frac{2n+1}{3} \right\rfloor $ を示す、新しい線形計画法の手法を提示する。主な貢献は、双対線形計画法の実行可能解を用いた洗練された双対性に基づく証明であり、組合せ的複雑性を最小限に抑えて既知の上界を確認するものである。

ABSTRACT

Given a right-angled triangle of squares in a grid whose horizontal and vertical sides are $n$ squares long, let N(n) denote the maximum number of dots that can be placed into the cells of the triangle such that each row, each column, and each diagonal parallel to the long side of the triangle contains at most one dot. It has been proven that $N(n) = \lfloor \frac{2n+1}{3} floor$. In this note, we give a new proof of this result using linear programming techniques.

研究の動機と目的

• 線形計画法の技術を用いて、ドットと三角形の問題における上界 $ N(n) \leq \lfloor (2n+1)/3 \rfloor $ の新しい証明を提供すること。
• 規則的な構造を示す組合せ最適化問題において、線形計画法の双対性の有用性を示すこと。
• 原始問題の目的関数値と一致する双対LPの構成により、既知の式 $ N(n) = \lfloor (2n+1)/3 \rfloor $ を検証すること。
• 数値実験と双対性を組み合わせることで、重い場合分けを避けながら、組合せ的上界を効率的に導出・確認するフレームワークを確立すること。

提案手法

• ドットの配置を表す二値変数 $ x_{i,j} $ を用いて、ドットと三角形の問題を整数線形計画問題（ILP）として定式化する。
• 変数を $ 0 \leq x_{i,j} \leq 1 $ に緩めることでILPを線形計画問題（LP）に緩和し、上界 $ \mathit{LP}(n) \geq N(n) $ を得る。
• 3通りのケース $ n = 3t $、$ n = 3t+1 $、$ n = 3t+2 $ に対して、関数 $ \max\{0, \frac{i - t - 1}{3t+1}\} $ の形をした区分的有理関数を用いて、双対LPの明示的実行可能解を構成する。
• 任意のセルに対して、その行・列・対角線の双対変数の和が1以上であることを示すことにより、双対制約を満たしていることを検証する。
• 双対目的関数値を計算し、それが $ \mathit{LP}_{f}(n) $ に等しいことを示す。ここで $ \mathit{LP}_{f}(n) $ は $ \mathit{LP}(n) $ の閉形式の予想式である。
• 弱双対性を適用して $ \mathit{LP}(n) \leq \mathit{LP}_{f}(n) $ を結論づけ、原始問題の下界と組み合わせることで $ N(n) = \lfloor (2n+1)/3 \rfloor $ を導出する。

実験結果

リサーチクエスチョン

• RQ1 線形計画法の双対性を用いて、既知の上界 $ N(n) = \lfloor (2n+1)/3 \rfloor $ を洗練された組合せ的証明で得ることは可能か？
• RQ2 ドットと三角形の問題の緩和線形計画法の最適解の構造はどのようなものか？
• RQ3 すべての $ n $ に対して、目的関数値が予想された $ \mathit{LP}_{f}(n) $ と一致する実行可能双対解が存在し、一様に構成可能か？
• RQ4 数値実験と双対性をどの程度組み合わせて、重い場合分けを避けながら組合せ的上界を証明できるか？

主な発見

• 線形計画法の双対性を用いた新しい証明により、複雑な組合せ的議論を回避して上界 $ N(n) \leq \lfloor (2n+1)/3 \rfloor $ が確立された。
• すべての $ n $ に対して、目的関数値が予想された $ \mathit{LP}_{f}(n) $ と一致する双対解が明示的に構成された。$ n = 3t+1 $ の場合、$ \mathit{LP}_{f}(n) = 2t+1 $ であり、$ n = 3t+2 $ の場合、$ 2t+1 + \frac{2t+1}{3t+2} $ であり、$ n = 3t $ の場合、$ 2t + \frac{t}{3t+1} $ である。
• 双対解の構造は規則的で、区分的有理関数であり、$ n \mod 3 $ の剰余にのみ依存する。行・列・対角線の双対変数に対して対称的な表現が得られた。
• $ n \equiv 1 \pmod{3} $ の場合、原始問題と双対問題の目的関数値が一致し、強い双対性によりこの場合のLPの予想が証明された。
• この方法により、直接数え上げに依存するのではなく双対性に依拠する短く洗練された証明により、既知の式 $ N(n) = \lfloor (2n+1)/3 \rfloor $ が確認された。
• 数値実験と双対性理論を組み合わせることで、組合せ的上界を効率的に導出・検証する手法の有効性が示された。