편향 약한 폴리폼 달성 게임의 새로운 전략과 결과

초록

이 논문은 메이커가 한 턴에 a 개의 셀을, 브레이커가 b 개의 셀을 번갈아 표시하는 편향 약한 (a,b) 폴리폼 달성 게임을 연구한다. 메이커의 승리 전략을 더 작은 (a,b) 게임으로 분해하는 방법과, 브레이커를 위한 새로운 “우선순위 전략”을 제시한다. 폴리오미드와 폴리오미노(크기 ≤ 4)에 대해 모든 (a,b) 쌍에 대한 승패를 완전히 규명한다.

상세 분석

본 논문은 무한 격자 위에서 두 플레이어가 번갈아가며 셀을 표시하는 편향 약한 (a,b) 게임을 정의하고, 기존의 ‘페어링 전략’이 (1,b) 게임에만 효과적이라는 한계를 지적한다. 이를 극복하기 위해 저자들은 ‘우선순위 전략(priority strategy)’을 도입한다. 우선순위 전략은 각 셀에 우선순위 레벨을 부여하고, 브레이커가 가능한 한 높은 우선순위의 셀을 먼저 차단하도록 설계된다. 이 전략은 특히 a ≥ 2 인 경우에 페어링 전략이 적용되지 않을 때도 메이커의 승리를 방어할 수 있음을 보인다.

또한, 메이커의 승리 전략을 더 작은 게임들의 승리 전략으로 구성하는 ‘분해 정리(Theorem 3.1)’를 증명한다. 여기서는 (a,b) 게임을 (a₁+…+a_s, b₁+…+b_s) 형태의 여러 하위 게임으로 나누고, 각 하위 게임을 독립적인 유한 서브보드에서 동시에 진행한다. 진행 벡터와 공급 벡터를 이용한 ‘단계 다이어그램(stage diagram)’을 통해 필요한 턴 수와 서브보드의 최소 개수를 정량화한다. 이 방법을 통해 (1 + a, ⌊b·a⌋) 게임이 승리 가능하면 원래의 (a,b) 게임도 승리 가능함을 보이는 ‘코롤라리 3.3’를 도출한다.

브레이커의 전략으로는 기존의 ‘b‑페이빙(b‑paving)’ 개념을 확장한 b‑페이빙 전략과, 새로운 우선순위 전략을 결합한다. 특히, ‘히스토리‑종속 우선순위 전략(history‑dependent priority strategy)’을 제안하여, 브레이커가 이전 턴의 선택에 따라 동적으로 우선순위를 조정하도록 설계하였다. 이 전략의 올바름을 검증하는 알고리즘도 제시되어, 컴퓨터를 이용한 자동 검증이 가능하도록 하였다.

마지막으로, 폴리오미드와 폴리오미노(크기 ≤ 4)에 대해 모든 (a,b) 쌍에 대한 ‘임계 시퀀스(threshold sequence)’를 계산한다. 각 동물(Animal)에 대해 a·b 비율에 따라 승자·패자를 구분하고, 특히 (2,5) 게임에서 T₃,₁ (삼각형 폴리다이아몬드)와 같은 형태가 메이커에게 유리함을 보인다. 전체 결과는 표와 그래프 형태로 정리되며, 아직 해결되지 않은 몇몇 (a,b) 조합에 대한 열린 문제도 제시한다.