비공격 체스 조각 배치: 비숍과 아나사의 새로운 계산법

초록

본 논문은 체스판 위에 비숍과 아나사(수직·대각선 이동 조합) 조각을 비공격 상태로 배치하는 경우의 수를 구한다. 정의된 ‘붕괴 가능성’과 ‘귀납 부분집합’을 이용해 보드의 크기를 하나씩 감소시키는 전단사(f)를 구성하고, 이를 통해 재귀식과 닫힌 형태의 해를 도출한다. 비숍 배치 수는 두 색 보드(흰·검은)로 분리해 각각의 로크 문제로 환원되며, 최종적으로 quasi‑polynomial 형태와 주기 t=2를 명시한다. 아나사에 대해서는 새로운 귀납 집합 Λₘ을 정의하고, k개의 조각 중 p개가 주대각선 아래에 놓인 경우를 기준으로 4항 재귀식을 얻는다. 또한 각 경우에 대한 계수식과 OEIS 신규 시퀀스 기여를 제시한다.

상세 분석

논문은 먼저 “붕괴 가능성(Collapsibility)”이라는 개념을 도입한다. 보드 Bₘ와 특정 부분집합 Iₘ, 그리고 조각의 이동 집합 M_P가 주어지면, Bₘ−Iₘ를 Bₘ−1에 전단사 f로 매핑하면서 M_P에 의해 정의된 이웃 관계를 보존하면 Bₘ는 {M_P, Iₘ}에 대해 붕괴 가능하다고 정의한다. 이 정의는 비공격 배치를 유지하면서 보드 크기를 1 감소시킬 수 있음을 보장한다. 정리 1.2는 이러한 붕괴 가능성을 이용해 P_B−I(m,k)=P_B(m−1,k)라는 핵심 관계를 제시한다. 즉, Iₘ를 제외한 보드에서의 비공격 배치 수는 보드 크기가 하나 줄어든 경우와 동일하다.

비숍에 대해서는 이동 집합 M_B={(1,1),(-1,1)}을 사용한다. 저자는 보드의 흰·검은 색을 구분해 각각을 Wₘ, Kₘ라는 “로크 보드”로 변환한다. 여기서 로크는 가로·세로 이동만 허용하므로 기존의 비숍 문제를 두 개의 독립적인 로크 문제로 분해한다. Iₘ는 그림 1a에 표시된 음영 사각형이며, 전단사 f_B는 위쪽 부분을 한 칸 아래로, 아래쪽 부분을 한 칸 왼쪽으로 이동시켜 Bₘ−1을 만든다. 이때 Wₘ와 Kₘ도 각각 Wₘ−1, Kₘ−1로 붕괴 가능함을 확인한다. 결과적으로 R_W(m,k)와 R_K(m,k)에 대해

R_W(m,k)=R_W(m−1,k)+(m−k+π(m))R_W(m−1,k−1)
R_K(m,k)=R_K(m−1,k)+(m−k+1−π(m))R_K(m−1,k−1)

이라는 2항 재귀식을 얻는다. 여기서 π(m)은 m이 홀수이면 1, 짝수이면 0이다. 초기 조건 R_W(m,0)=R_K(m,0)=1, R_W(0,k)=R_K(0,k)=δ_{k0}와 함께, 저자는 닫힌 형태

R_W(m,k)=∑{j=0}^{⌊m/2⌋} C(m−j, m−k)·C(⌊m/2⌋,j)
R_K(m,k)=∑{j=0}^{⌊m/2⌋} C(m−j, m−k)·C(⌈m/2⌉,j)

을 증명한다. 이 식들을 비숍 전체 배치 수 B_S(m,k)=∑_{j=0}^{k} R_W(m,k−j)·R_K(m,j)에 대입하면

B_S(m,k)=∑{j=0}^{k}∑{i=0}^{⌊m/2⌋}∑_{l=0}^{⌈m/2⌉} C(⌊m/2⌋,i)C(m−i,m−j)·C(⌈m/2⌉,l)C(m−l,m−k+j)

이라는 삼중 합으로 정리된다. 이는 명백히 차수 2k의 quasi‑polynomial이며, 주기는 t=2임을 확인한다(특히 k≥3에서). 저자는 또한 m=−1을 대입하면 B_S(−1,k)=k!가 됨을 보여, 비공격 배치의 조합적 유형 수가 k!와 일치함을 재확인한다.

계수식 전개를 위해 두 개의 보조 정리(Lemma 2.6, 2.7)를 사용한다. Lemma 2.6은 이항 계수의 합을 Stirling 수 형태로 변환하고, Lemma 2.7은 복합 이항 곱을 β_i(p,q,z)라는 다중 합으로 전개한다. 이를 통해 R_W, R_K의 m에 대한 계수