クイーングラフ彩色の1584通りの符号化比較
Coloring Queens with Thousands of Encodings
この論文をやさしく読む
ひとことで言うと
チェス盤のクイーングラフ彩色で、多数の制約の書き方を比べて性能要因を調べた。
何に役立つ？
考えられる用途は、制約充足やSATソルバーに入力する符号化の設計である。
この研究の面白いところ
1584通りを比較し、対称性除去、クリークヒント、ブロック節が特に重要と示す。
どこまで分かった？
クイーングラフ彩色に対する比較であり、他の問題でも同じ順位とは要旨にない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
KnuthはThe Art of Computer Programmingで、クイーングラフの彩色数を求める10種類の符号化手法を比較した。この問題は、n×nのチェス盤の各マスを、同じ行、列、対角線にあるマスが同色にならないよう塗るための最小色数を求める。本論文は比較を大きく広げ、同じ問題の数千の符号化を比べることで、ソルバーの性能に重要な別の要因を特定する。各マスへの色の割り当てを表す制約、行・列・対角線で同色を禁じる制約、対称性を壊す制約を変え、1584種類の符号化を得た。影響が最も大きい要因は、対称性を壊す制約の選択、クリークヒントの有効化、そして各マスにちょうど一色が割り当てられることをブロック節で強制することの三つだった。またKnuthは順序符号化の利点としてクリークヒントを提案したが、one-hot符号化でも効果的に使えることを示す。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-23（UTC）
- 最新改訂
- 2026-09-23 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-23 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
In The Art of Computer Programming, Knuth benchmarked 10 encoding techniques for computing the chromatic number of the queen's graph: the minimum number of colors needed to color the squares of an $n \times n$ chessboard so that no two squares sharing a row, column, or diagonal receive the same color. In this paper, we extend his analysis much further by comparing thousands of encodings for the same problem, which allows us to identify additional factors that are important for solver performance. We obtain 1584 encodings for this problem by varying (a) the constraints that encode which color is assigned to each cell, (b) the constraints that forbid the same color appearing in a row, column, or diagonal line, and (c) the symmetry-breaking constraints. We find that the three most impactful encoding factors are (i) the choice of symmetry-breaking constraints, (ii) enabling so-called clique hints, and (iii) enforcing that each cell is assigned exactly one color through blocked clauses. Furthermore, while Knuth proposed clique hints as an advantage of the order encoding, we show in fact that they can be effectively employed for the one-hot encoding as well.
著者のコメント
To appear in LPAR 2026
arXiv ID: 2609.27674 ／ 要約の誤りについて