[论文解读] A $q$-Queens Problem

Seth Chaiken, Christopher R. H. Hanusa+1 more|arXiv (Cornell University)|Mar 8, 2013

Advanced Combinatorial Mathematics参考文献 12被引用 9

一句话总结

本文利用内部-外部多面体的Ehrhart理论，推导出一个准多项式公式，用于计算在可变尺寸 $n$ 的凸多边形棋盘上，放置 $q$ 个相同且具有无界直线移动能力的棋子（如皇后）时，互不攻击的布局数量。关键结果是：组合上互不相同的配置数量等于在 $n = -1$ 处求值的准多项式，其系数由与平面中直线关联性相关的加权图的拟阵决定。

ABSTRACT

By means of the Ehrhart theory of inside-out polytopes we establish a general counting theory for nonattacking placements of chess pieces with unbounded straight-line moves, such as the queen, on a polygonal convex board. The number of ways to place $q$ identical nonattacking pieces on a board of variable size $n$ but fixed shape is given by a quasipolynomial function of $n$, of degree $2q$, whose coefficients are polynomials in $q$. The number of combinatorially distinct types of nonattacking configuration is the evaluation of our quasipolynomial at $n=-1$. The quasipolynomial has an exact formula that depends on a matroid of weighted graphs, which is in turn determined by incidence properties of lines in the real affine plane. We study the highest-degree coefficients and also the period of the quasipolynomial, which is needed if the quasipolynomial is to be interpolated from data, and which is bounded by some function, not well understood, of the board and the piece's move directions. In subsequent parts we specialize to the square board and then to subsets of the queen's moves, and we prove exact formulas (most but not all already known empirically) for small numbers of queens, bishops, and nightriders. Each part concludes with open questions, both specialized and broad.

研究动机与目标

• 开发一个用于计算在凸多边形棋盘上，具有无界直线移动能力的棋子（如皇后）的非攻击性布局的通用计数框架。
• 建立在大小为 $n$ 的棋盘上放置 $q$ 个相同棋子时，其非攻击性布局数量为关于 $n$ 的 $2q$ 次准多项式。
• 证明组合上互不相同的配置类型数量等于在 $n = -1$ 处求值的准多项式。
• 通过基于实仿射平面上直线关联性的加权图拟阵，刻画准多项式的结构。

提出的方法

• 应用内部-外部多面体的Ehrhart理论，将非攻击性配置建模为带禁止超平面的有理多面体中的整数点。
• 将配置空间表示为若干相对开多面体的并集，每个对应一种独特的组合类型布局。
• 运用准多项式理论，推导出关于 $n$ 的 $2q$ 次函数，其系数为 $q$ 的多项式，编码布局数量。
• 基于定义棋子移动方向的实仿射平面上的直线关联关系，构建加权图的拟阵。
• 利用棋盘和移动向量的几何与组合性质，推导出准多项式最高次项系数的精确公式。
• 分析决定其插值行为的准多项式周期，并将其与棋盘的几何结构及移动方向对称性相关联。

实验结果

研究问题

• RQ1 如何将具有无界直线移动能力的 $q$ 个相同棋子在棋盘大小为 $n$ 时的非攻击性布局数量表示为 $n$ 的函数？
• RQ2 计数这些配置的准多项式的代数与组合结构是什么？其系数如何依赖于棋盘和棋子类型？
• RQ3 为何在 $n = -1$ 处求值准多项式能得出组合上互不相同的配置类型数量？
• RQ4 准多项式的周期由什么决定？它与棋盘的几何结构及棋子移动方向之间有何关系？
• RQ5 能否为特定棋子（如皇后、主教和骑士）推导出小数量 $q$ 的精确公式？其中会呈现出什么规律？

主要发现

• 在大小为 $n$ 的凸多边形棋盘上，放置 $q$ 个相同棋子的非攻击性布局数量是关于 $n$ 的 $2q$ 次准多项式，其系数为 $q$ 的多项式。
• 组合上互不相同的配置类型数量由在 $n = -1$ 处求值准多项式得出，该结果源自内部-外部多面体的Ehrhart理论。
• 准多项式完全由基于实仿射平面上对应棋子移动方向的直线关联关系所构造的加权图拟阵决定。
• 准多项式最高次项系数被明确刻画，其依赖于棋盘的几何不变量及棋子移动向量的性质。
• 准多项式的周期受棋盘和移动方向对称性函数的限制，但该函数目前仍理解不足。
• 推导出小数量皇后、主教和骑士的精确公式，其中许多结果与先前已知的经验结论一致。