[论文解读] 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 皇后配置数 T(n) 与 Q(n) 的非平凡下界，特别是针对 n = 4^k + 1 的情形。
• 解决 Rivin、Vardi 和 Zimmerman 提出的猜想，即当 n → ∞ 且 (n,6)=1 时，log(T(n))/(n log n) > 0。
• 通过应用于正则超图的熵方法，推导出 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 对于哪些 n 值，T(n) 的增长速度为 n^{Ω(n)}，从而确认 Rivin–Vardi–Zimmerman 猜想？
• RQ2 熵方法能否为 n 皇后问题的 T(n) 与 Q(n) 提供渐近紧致的上界？
• RQ3 当 n 不被 2 或 3 整除时，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 为渐近紧致。