互いに比較不能な整数長方形で敷き詰める最小の正方形
The smallest square tileable by pairwise incomparable integer rectangles
この論文をやさしく読む
ひとことで言うと
どの2枚も包含関係で比較できない整数辺の長方形で正方形を敷き詰める問題について、最小の一辺が27であることを示す研究です。26以下では何枚使っても不可能とします。
何に役立つ？
図形の敷き詰めにおける組合せ的な制約を理解し、既知の構成が最小かを確定する基礎研究です。数学的な絞り込みと計算による証明の組合せを示しています。
この研究の面白いところ
二つの構造的な簡約で候補を絞り、残った167,538組を全探索します。独立に書かれた二つのプログラムを使い、ソフトウェア、構築手順、出力ログを補助資料として付けています。
どこまで分かった？
不可能性は整数辺、2枚以上、互いに比較不能という条件の下での結果です。要旨からは全探索のコードをこちらで検査したわけではなく、独立プログラムによる確認は著者の報告として扱います。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
Croft、Falconer、Guyは、互いに比較不能な8個の整数長方形による27×27正方形の敷き詰めを示し、タイル数に制限を設けない場合に、正方形の一辺27がそのような敷き詰めで最小かどうかは未解決だと述べた。本研究は、27が実際に最小であることを示す。すべての整数 n≤26 とすべての k≥2 に対し、n×n正方形は互いに比較不能な k 個の整数長方形では敷き詰められない。証明は二つの構造的縮約と、残った167,538個の候補タイル集合に対する全探索を組み合わせる。この探索は独立に作成された二つのプログラムで実行した。完全なソフトウェア、ビルド手順、出力ログは補足ファイルに含まれる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-17（UTC）
- 最新改訂
- 2026-09-17 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-17 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Croft, Falconer and Guy ({Unsolved Problems in Geometry}, Problem~C5) exhibit a tiling of the $27\times27$ square by eight pairwise incomparable integer rectangles and remark that it is not known whether $27$ is the smallest side length of a square that can be tiled by pairwise incomparable integer rectangles, no restriction being placed on the number of tiles. We show that it is: for every integer $n\le26$ and every $k\ge2$, the $n\times n$ square admits no tiling by $k$ pairwise incomparable integer rectangles. The proof combines two structural reductions with an exhaustive search over the $167\,538$ surviving candidate tile sets, carried out by two independently written programs. The complete software, build instructions and output logs are included as ancillary files.
著者のコメント
17 pages, 2 figures. Ancillary files contain the complete verification software (two independent implementations), build instructions, and all output logs
arXiv ID: 2609.19536 ／ 要約の誤りについて