[論文レビュー] 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$ の凸多角形盤上で、同じ駒（例：クイーン）を非効果的に配置する方法の数を求めるための準多項式の公式を開発する。この駒は直線的に無限に動ける。主な結果は、組合せ的に異なる配置の数が、$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 サイズ $n$ の盤上で、無限直線移動を持つ $q$ 個の同一チェス駒の非効果的配置の数を、$n$ の関数としてどのように表現できるか？
• RQ2 このような配置を数える準多項式の代数的・組合せ的構造は何か？ その係数は盤と駒の種類にどのように依存するか？
• RQ3 なぜ準多項式を $n = -1$ で評価すると、組合せ的に異なる配置型の数が得られるのか？
• RQ4 準多項式の周期は何かによって決定され、盤の幾何構造と駒の移動方向とどのように関係するか？
• RQ5 クイーン、ビショップ、ナイトライダーなどの特定の駒について、小さい $q$ の場合に正確な公式を導出できるか？ どのようなパターンが現れるか？

主な発見

• サイズ $n$ の凸多角形盤上に $q$ 個の同一駒を非効果的に配置する方法の数は、$n$ についての次数 $2q$ の準多項式であり、その係数は $q$ の多項式である。
• 組合せ的に異なる配置型の数は、準多項式を $n = -1$ で評価することによって与えられ、これは内部・外部多面体のEhrhart理論から導かれた結果である。
• 準多項式は、駒の移動方向に対応する実アフィン平面における直線の接続関係から構築された重み付きグラフのマトロイドによって完全に決定される。
• 準多項式の最高次係数は明示的に特徴づけられ、盤の幾何的不変量と駒の移動ベクトルに依存する。
• 準多項式の周期は、盤と移動方向の対称性の関数によって上限が与えられるが、この関数の性質はまだ十分に理解されていない。
• クイーン、ビショップ、ナイトライダーの小さい個数についての正確な公式が導出され、多くの場合、既存の経験的結果を確認している。