正方形を最少枚数で敷き詰める整数計画を疎にする
A Sparse Corner-Difference MILP for Minimum Square Tiling
この論文をやさしく読む
ひとことで言うと
大きな正方形を何枚の小さな正方形で埋められるかという最適化問題を、各タイルの四隅だけで表して計算しやすくする研究です。
何に役立つ？
被覆条件を変えずに行列の非零要素を減らせるため、整数計画ソルバーで扱う負担を小さくできます。九つの問題例では解けた例の数が増えています。
この研究の面白いところ
各セルを直接埋める表現を、符号付きの隅と累積和による表現に置き換えます。さらに回転・反転で同じになる解の重複も軽い制約で減らします。
どこまで分かった？
計算結果は辺長が素数の九つの例と、指定された実験設定でのものです。順序制約に同順位があると対称性が残り、すべての問題を解いたという結果でもありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
N×Nの正方形を、辺が座標軸に平行で、辺長がNより厳密に小さい整数である正方形で敷き詰め、タイル数を最小にする問題を扱う。標準的な配置ベースの完全被覆の混合整数線形計画（MILP）は、配置とセルの対応にΘ(N⁵)個の非零係数を持ち、正方形領域の二面体対称性の影響も受ける。 選択する各正方形を高々四つの符号付きの隅の係数で表すCorner-Difference MILP（CD-MILP）を導入する。二次元の累積和による復元から、得られる制約が元のセル被覆方程式と同値であることを示しつつ、被覆に関連する非零要素数をΘ(N³)へ減らす。また、すべてのD₄軌道から少なくとも一つの代表を残す軽量な隅の順序制約を導入する。ただし、同順位がある場合には対称性が残ることがある。 辺長が素数の九つの問題例で計算実験を行い、GurobiとCOPTを使って、ベースライン、CD-MILP、隅の順序制約付きベースライン、両方を組み合わせた定式化を比較する。記載された実験条件では、組合せ方式はGurobiで8例、COPTで7例を解くのに対し、ベースラインはそれぞれ4例、5例を解いた。前処理後の行列の非零係数は、組合せ方式では平均約10⁵個、ベースラインでは約10⁷個である。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-18（UTC）
- 最新改訂
- 2026-09-18 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-18 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We study the problem of tiling an $N\times N$ square with axis-aligned squares whose side lengths are integers strictly less than $N$, with the objective of minimizing the number of tiles. The standard placement-based exact-cover MILP contains $\Theta(N^5)$ placement-to-cell nonzero coefficients and is also affected by the dihedral symmetry of the square domain. We introduce a Corner-Difference MILP (CD-MILP) that represents each selected square by at most four signed corner coefficients. Two-dimensional prefix reconstruction shows that the resulting constraints are equivalent to the original cell-cover equations, while reducing the coverage-related nonzero count to $\Theta(N^3)$. We also introduce lightweight corner-ordering constraints that retain at least one representative from every $D_4$ orbit, although ties may leave residual symmetry. Computational experiments on nine prime-size instances compare the baseline, CD-MILP, the baseline with corner ordering, and their combination using Gurobi and COPT. Under the stated experimental settings, the combined formulation solves eight instances with Gurobi and seven with COPT, compared with four and five, respectively, for the baseline. Its average presolved matrixs contain approximately $10^5$ nonzero coefficients on average, compared with approximately $10^7$ for the baseline.
著者のコメント
16 pages, 4 figures, 8 tables
arXiv ID: 2609.21453 ／ 要約の誤りについて