[論文レビュー] New bounds on the number of n-queens configurations

Zur Luria|arXiv (Cornell University)|May 15, 2017

graph theory and CDMA systems参考文献 3被引用数 6

ひとこと要約

本稿は、標準的およびトロイダルチェス盤におけるn-クイーン配置の数について、新たな指数関数的下界および上界を確立する。代数的構成とエントロピーに基づく手法を用いて、n = 4^k + 1 のとき、T(n) および Q(n) が両方とも n^{Ω(n)} 以上であることを証明し、Rivin, Vardi, および Zimmerman の予想を裏付ける。さらに、ハイパーグラフマッチングのエントロピーを用いた手法により、タイトな上界を提示し、T(n) = ((1+o(1))n/e³)^n が漸近的に成り立つと示唆する。

ABSTRACT

In how many ways can $n$ queens be placed on an $n imes n$ chessboard so that no two queens attack each other? This is the famous $n$-queens problem. Let $Q(n)$ denote the number of such configurations, and let $T(n)$ be the number of configurations on a toroidal chessboard. We show that for every $n$ of the form $4^k+1$, $T(n)$ and $Q(n)$ are both at least $n^{Ω(n)}$. This result confirms a conjecture of Rivin, Vardi and Zimmerman for these values of $n$. We also present new upper bounds on $T(n)$ and $Q(n)$ using the entropy method, and conjecture that in the case of $T(n)$ the bound is asymptotically tight. Along the way, we prove an upper bound on the number of perfect matchings in regular hypergraphs, which may be of independent interest.

研究の動機と目的

• n = 4^k + 1 の場合に、n-クイーン配置の数 T(n) および Q(n) に対して非自明な下界を確立すること。
• Rivin, Vardi, および Zimmerman が提起した予想、すなわち n → ∞ のとき log(T(n))/(n log n) > 0 が成り立つこと（(n,6)=1 のとき）を解明すること。
• 正則ハイパーグラフにエントロピーに基づく手法を適用することで、T(n) および Q(n) に対するタイトな上界を導出すること。
• T(n) の漸近的挙動を調査し、T(n) = ((1+o(1))n/e³)^n であると予想すること。
• 正則ハイパーグラフにおける完全マッチングの数に対する一般の上界を確立し、主結果を支えること。

提案手法

• n = 4^k + 1 のとき、トーラス上に柔軟な基本配置 B = {(x,y) : x = 2^k · y mod n} を構成し、ℤ_n における 2^k ± 1 の逆元の存在を用いて、これが有効な n-クイーン解であることを証明する。
• B 内のクイーンのペアに対して二重フリップ操作を導入し、行、列、対角線の制約をすべて保持するようにする。これにより、局所的な変更が可能になる。
• エントロピー法を用いて解空間の対数的サイズを評価し、条件付き確率および積分を用いてクイーンの分布をモデル化する。
• 重要な補題を適用し、f(x) が小さいとき log(1 + f(x)) ≈ log(f(x)) となることを示し、エントロピー式を ∫log(ax³ + bx² + cx)dx を含む支配的項に簡略化する。
• 変換された係数 (a’_i, c’_i) に対する凹関数の最大化技術を用い、すべての位置における対数の和を上界で抑える。
• 環に基づく対称性を用いて対角線の近接数の和を評価し、∑(2a_i + b_i) ≥ (5/8)n² - 6n を示し、エントロピーの増加率を制御する。

実験結果

リサーチクエスチョン

• RQ1 T(n) が n^{Ω(n)} に成長するような n の値は何か？ これは Rivin–Vardi–Zimmerman の予想を確認する。
• RQ2 エントロピー法は、n-クイーン問題における T(n) および Q(n) に対して漸近的にタイトな上界をもたらすか？
• RQ3 2 または 3 で割り切れない n のとき、T(n) の正確な漸近的成長率は何か？
• RQ4 エントロピーを用いて正則ハイパーグラフにおける完全マッチングの数をどのように上界で抑えられるか？ そして、制約充足問題にどのような影響を及えるか？
• RQ5 構成的技法を用いて、無限に多くの n に対して Ω(n^{Ω(n)}) 個の異なるトーラス上の n-クイーン配置を生成できるか？

主な発見

• すべての n = 4^k + 1 に対して、T(n) ≥ n^{Ω(n)} および Q(n) ≥ n^{Ω(n)} が成り立ち、Rivin–Vardi–Zimmerman の予想がこれらの n に対して裏付けられる。
• T(n) の上界は T(n) ≤ ((1+o(1))·n/e³)^n であり、正則ハイパーグラフのエントロピー解析から導出される。
• Q(n) の上界は Q(n) ≤ ((1+o(1))·n/e^α)^n で、α ≈ 1.587 であり、自明な n! の上界を改善する。
• 本稿では ∑(2a_i + b_i) ≥ (5/8)n² - 6n が証明され、これはクイーン配置のエントロピーを抑えるために極めて重要である。
• エントロピーに基づく手法により、正則ハイパーグラフにおける完全マッチングの数に対するタイトな上界が得られ、これは独立に興味深い結果である。
• 上界と十分に柔軟な構成の存在に基づき、T(n) = ((1+o(1))·n/e³)^n が漸近的にタイトであると予想される。