[논문 리뷰] A $q$-Queens Problem

Seth Chaiken, Christopher R. H. Hanusa외 1명|arXiv (Cornell University)|2013. 03. 08.

Advanced Combinatorial Mathematics참고 문헌 12인용 수 9

한 줄 요약

이 논문은 Ehrhart 이론을 활용하여, 변형 가능한 크기 $n$의 다각형 볼드 위에서 이동이 무한한 직선 방향을 가진 동일한 체스 기물 $q$개의 비공격 배치를 세는 쿼드립리미널 공식을 개발한다. 주요 결과는 이러한 배치의 조합적 유형 수가 $n = -1$에서 평가된 쿼드립리미널과 일치하며, 이는 평면 내 선의 인cidences에 관련된 가중 그래프의 매트로이드에 의해 결정된다.

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$에서 평가함으로써 얻어짐을 보임.
• 실수 아핀 평면 내 선의 인cidences에서 유도된 가중 그래프의 매트로이드를 통해 쿼드립리미널의 구조를 기술함.

제안 방법

• 비공격 구성 유형을 금지된 초평면이 있는 유리수 다면체 내의 정수 점으로 모델링하기 위해 내부-외부 다면체의 Ehrhart 이론을 적용함.
• 각기 다른 조합적 유형의 배치에 대응하는 상대적 열린 다면체들의 합집합으로 구성 공간을 표현함.
• 쿼드립리미널 이론을 활용하여 $n$에 대한 차수 $2q$의 함수를 유도함. 이 함수의 계수는 $q$에 대한 다항식이며, 놓는 방법의 수를 암호화함.
• 기물의 이동 방향을 정의하는 실수 아핀 평면 내 선의 인cidences 관계를 기반으로 가중 그래프의 매트로이드를 구성함.
• 보드와 이동 벡터의 기하학적·조합적 성질을 활용하여 쿼드립리미널의 최고차수 계수에 대한 정확한 공식을 도출함.
• 쿼드립리미널의 주기(해석에 영향을 미침)를 분석하고, 이 주기가 보드의 기하학적 특성과 기물의 이동 방향 대칭성과 어떻게 관련되는지 규명함.

실험 결과

연구 질문

• RQ1 크기 $n$의 보드에서 이동이 무한한 직선 방향을 가진 동일한 체스 기물 $q$개의 비공격 배치 수를 보드 크기 $n$의 함수로 어떻게 표현할 수 있는가?
• RQ2 이러한 구성 수를 세는 쿼드립리미널의 대수적·조합적 구조는 무엇이며, 그 계수는 보드와 기물 유형에 어떻게 의존하는가?
• RQ3 왜 쿼드립리미널을 $n = -1$에서 평가하면 조합적으로 다른 구성 유형의 수가 얻어지는가?
• RQ4 쿼드립리미널의 주기는 무엇에 의해 결정되며, 보드 기하학과 기물의 이동 방향과 어떻게 관련되는가?
• RQ5 특정 기물인 퀸, 비숍, 나이트라이더에 대해 작은 $q$에 대한 정확한 공식을 유도할 수 있으며, 그 과정에서 나타나는 패턴은 무엇인가?

주요 결과

• 크기 $n$인 볼드형 다각형 보드 위에서 동일한 기물을 비공격적으로 놓는 경우의 수는 $n$에 대한 차수 $2q$의 쿼드립리미널이며, 계수는 $q$에 대한 다항식이다.
• 조합적으로 다른 구성 유형의 수는 쿼드립리미널을 $n = -1$에서 평가함으로써 주어지며, 이는 내부-외부 다면체의 Ehrhart 이론에서 유도된 결과이다.
• 쿼드립리미널은 실수 아핀 평면 내 기물의 이동 방향에 해당하는 선의 인cidences 관계에서 유도된 가중 그래프의 매트로이드에 의해 완전히 결정된다.
• 쿼드립리미널의 최고차수 계수는 기하학적 불변량과 기물의 이동 벡터에 따라 명시적으로 기술되며, 이는 기하학적 성질과 관련된다.
• 쿼드립리미널의 주기는 보드와 이동 방향 대칭성의 함수로 유계되며, 이 함수는 아직 잘 이해되지 않은 상태이다.
• 퀸, 비숍, 나이트라이더에 대해 작은 수의 경우에 대한 정확한 공식이 도출되었으며, 많은 경우가 이전에 알려진 경험적 결과를 확인한다.