[논문 리뷰] A $q$-Queens Problem. III. Nonattacking Partial Queens

Seth Chaiken, Christopher R. H. Hanusa외 1명|arXiv (Cornell University)|2014. 02. 20.

Advanced Combinatorial Mathematics참고 문헌 5인용 수 4

한 줄 요약

이 논문은 $q$-퀸 문제를 퀸의 이동 수의 부분집합을 가진 부분 퀸(partial queens)—즉, 체스 기물 중 퀸의 이동 방식의 부분 집합을 가진 기물—으로 확장하여, 에르하르트 이론과 안쪽-바깥 다면체(inside-out polytopes)를 사용해 $n\times n$ 체스판 위에서 비공격 배치를 세는 다항식(quasipolynomial)의 네 번째 높은 차수 계수에 대한 명시적 공식을 유도한다. 논문은 다항식의 다섯 번째 높은 차수 계수가 일정하다는 것을 증명하고($n$에 독립적임), 다음 계수의 주기를 이동 집합에 따라 결정하며, 세 개의 비공격 부분 퀸에 대한 정확한 공식과 조합적으로 다른 구성 수를 제공한다.

ABSTRACT

We apply our geometrical theory for counting placements of $q$ nonattacking on an $n imes n$ chessboard, from Parts~I and II, to partial queens: that is, chess pieces with any combination of horizontal, vertical, and $45^\circ$-diagonal moves. Parts~I and II showed that for any rider (a piece with moves of unlimited length) the answer will be a quasipolynomial function of $n$ in which the coefficients are essentially polynomials in $q$. Those general results gave the three highest-order coefficients of the counting quasipolynomial and formulas for counting placements of two nonattacking pieces and the combinatorially distinct types of such placements. By contrast, the unified framework we present here for partial queens allows us to explicitly compute the four highest-order coefficients of the counting quasipolynomial, show that the five highest-order coefficients are constant (independent of $n$), and find the period of the next coefficient (which depends upon the exact set of moves). Furthermore, for three nonattacking partial queens we are able to prove formulas for the total number of nonattacking placements and for the number of their combinatorially distinct types. The method of proof, as in the previous parts, is by detailed analysis of the lattice of subspaces of an inside-out polytope.

연구 동기 및 목표

• 부분 퀸—퀸의 이동 방식의 부분집합을 가진 라이더(riders)—으로 $q$-퀸 문제를 일반화하여 비공격 구성 수를 세는 통합 프레임워크를 제공한다.
• 부분 퀸의 수를 세는 다항식의 구조를 규명하며, 특히 높은 차수 계수와 이동 집합에 대한 의존성을 다룬다.
• 다항식의 다섯 번째 높은 차수 계수가 일정하다는 것을 증명한다($n$에 독립적임) 및 다음 계수의 주기를 이동 유형에 따라 계산한다.
• 세 개의 비공격 부분 퀸에 대해 비공격 구성 수와 조합적으로 다른 유형의 수에 대한 명시적 공식을 도출한다.
• 에르하르트 이론과 안쪽-바깥 다면체에서 유도된 기하학적·대수학적 도구를 사용하여 기물의 이동에 해당하는 초평면 배열의 격자점 수를 분석한다.

제안 방법

• 부분 퀸에 대한 $q$-부분 퀸 문제를 안쪽-바깥 다면체 $([0,1]^{2q}, \mathscr{A}_{\mathbb{P}})$ 내의 격자점 수 문제로 모델링하며, 여기서 $\mathscr{A}_{\mathbb{P}}$는 부분 퀸의 이동 초평면 배열이다.
• 에르하르트 이론을 적용하여 비공격 구성 수를 $n$에 대한 다항식으로 표현하며, 계수는 $q$에 대한 다항식이 된다.
• 교차 순서반순서집합 $\mathscr{L}$ 내의 코드미니멀리티 1, 2, 3인 부분공간에 대한 기여를 모비우스 역전환과 격자점 수세기 방법을 사용해 계산한다.
• 각 부분공간 $\mathcal{U}$에 대해 모비우스 함수 $\mu(\hat{0}, \mathcal{U})$를 사용해 기여도를 가중치를 적용하며, 여기서 $\mathcal{U}$는 특정 기물들이 상호로 공격하는 구성에 대응한다.
• 2- 및 3개 기물이 일직선으로 공격하는 경우를 세는 공식 $\alpha^{d/c}(n)$, $\beta^{d/c}(n)$, 및 $\varepsilon = \frac{1}{2}[1 - (-1)^n]$을 사용하여 각 부분공간 유형($e.g.$, $\mathcal{U}_2^2$, $\mathcal{U}_4^2$, $\mathcal{U}_6^3$)의 격자점 수를 명시적으로 계산한다.
• 모든 부분공간 유형의 기여를 합산하여 $o_{\mathbb{Q}^{hk}}(q;n)$의 전체 다항식을 유도하며, $h$(수평/수직 이동)와 $k$(대각선 이동)에 대한 계수를 명시적으로 표현한다.

실험 결과

연구 질문

• RQ1 비공격 부분 퀸의 다항식을 $n\times n$ 체스판 위에서 세는 데 사용되는 네 번째 높은 차수 계수에 대한 명시적 공식은 무엇인가?
• RQ2 왜 부분 퀸의 다항식에서 다섯 번째 높은 차수 계수가 일정한가($n$에 독립적인가), 일반적인 라이더의 경우와는 어떻게 다를까?
• RQ3 다항식에서 $n^{2q-7}$의 계수 주기는 무엇에 의해 결정되며, 이는 부분 퀸의 이동 집합에 어떻게 의존하는가?
• RQ4 세 개의 비공격 부분 퀸을 놓을 때, 총 비공격 구성 수와 조합적으로 다른 유형의 수에 대한 정확한 공식을 도출할 수 있는가?
• RQ5 이동 집합($h$ 및 $k$)은 다항식의 구조, 특히 낮은 차수 계수의 주기성에 어떻게 영향을 미치는가?

주요 결과

• 다항식 $o_{\mathbb{Q}^{hk}}(q;n)$의 네 번째 높은 차수 계수는 $h$와 $k$의 함수로 명시적으로 계산되었으며, $n^{2q-4}$ 항의 주요 항은 $\frac{1}{(2q)!} \cdot \frac{1}{24} h^2 k^2$로 주어진다.
• 다섯 번째 높은 차수 계수(까지 $n^{2q-6}$)는 일정하며, $n$에 독립적이다. 이는 전체 퀸이나 비숍의 경우에 성립하지 않는다.
• 다항식에서 $n^{2q-7}$의 계수는 이동 집합에 따라 주기를 가지며, 부분 퀸이 대각선 이동을 전혀 갖지 않는 경우 주기는 1(일정)이지만, 그 외의 경우 주기는 2 이상일 수 있다.
• 세 개의 비공격 부분 퀸에 대해 총 구성 수는 $h$, $k$, $q$를 포함한 닫힌 형태의 다항식 표현으로 주어지며, $\mathcal{U}_2^2$, $\mathcal{U}_4^2$, $\mathcal{U}_6^3$ 등 모든 부분공간 유형의 기여가 포함되어 있으며, 각각 $n^{2q-3}$, $n^{2q-5}$, $n^{2q-7}$ 항을 기여한다.
• 세 개의 비공격 부분 퀸에 대한 조합적으로 다른 구성 수는 이동의 종류에 관계없이 총 이동 수($h+k$)에만 의존하며, 이는 정리 4.3에서 보여진다.
• 다항식에서 $n^{2q-9}$의 계수에는 $(-1)^n$ 항이 포함되어 있어 주기 2를 나타내며, 이는 $\mathcal{U}_6^3$ 유형에서 $\varepsilon = \frac{1}{2}[1 - (-1)^n]$에 기인하여, 주기성이 $n$의 기수성과 관련이 있음을 보여준다.