직사각형 폴리오미노 집합 약한 (1,2) 달성 게임

초록

본 논문은 메이커가 한 번에 하나, 브레이커가 한 번에 두 개의 셀을 차례로 표시하는 (1,2)-달성 게임을 연구한다. 목표는 주어진 폴리오미노 집합 중 하나와 동형인 셀 집합을 메이커가 완성하는 것이며, 브레이커는 이를 방해한다. 저자들은 크기가 4 이하인 모든 폴리오미노 집합에 대해 메이커가 승리할 수 있는지 여부를 완전히 규명하고, 무한히 큰 폴리오미노를 이용해 ‘슈퍼 승자’를 정의함으로써 일정 크기 이하의 모든 승리 팀을 포괄적으로 기술한다.

상세 분석

논문은 먼저 약한 (1,2)-달성 게임의 규칙을 형식화한다. 메이커는 매 차례 미표시 셀 하나를 선택해 표시하고, 브레이커는 동시에 두 개의 미표시 셀을 선택해 표시한다. 메이커의 목표는 사전에 정의된 폴리오미노 집합 ℱ 중 하나와 동형인 셀 집합을 완성하는 것이며, 브레이커는 이를 영구히 차단한다. 여기서 ‘약한’이라는 용어는 메이커가 목표를 달성하기 전까지 브레이커가 언제든지 승리 선언을 할 수 없다는 점을 의미한다.

주요 기법은 ‘전략적 차단’과 ‘구조적 확장’이다. 브레이커는 자신의 두 번 표시 기회를 이용해 메이커가 형성하려는 폴리오미노의 핵심 부분을 선점함으로써 승리를 보장한다. 반면 메이커는 초기 몇 수 안에 ‘핵심 구역’(critical region)을 확보하고, 이후 브레이커가 차단할 수 없는 방향으로 확장한다. 저자들은 이러한 전략을 체계화하기 위해 ‘보호 구역’(protected zone)과 ‘위협 구역’(threat zone)의 개념을 도입하고, 각 폴리오미노 크기에 따라 구역의 배치를 분석한다.

크기 1부터 4까지의 모든 폴리오미노 집합에 대해 exhaustive case analysis를 수행한다. 크기 1(단일 셀)과 2(두 셀 직선)에서는 메이커가 언제든지 승리한다는 것이 자명하다. 크기 3에서는 L형, 직선형, 삼각형형 등 세 종류가 존재하는데, L형은 브레이커가 두 셀을 동시에 차단할 수 있어 메이커가 패배하지만, 직선형은 메이커가 첫 수에서 중앙을 차지하면 브레이커의 차단을 피할 수 있다. 크기 4에서는 5가지 기본 형태가 등장하고, 각 형태마다 ‘핵심 셀’의 존재 여부가 승패를 가른다. 저자는 이를 표로 정리하고, 승리 가능한 집합과 패배 가능한 집합을 명확히 구분한다.

특히 흥미로운 점은 무한 폴리오미노, 즉 무한히 확장 가능한 직사각형 형태를 도입함으로써 ‘슈퍼 승자(super winner)’ 개념을 정의한 것이다. 무한 직사각형은 메이커가 일정한 패턴으로 셀을 채워 나가면 브레이커가 두 셀을 차단하더라도 결국 무한히 이어지는 라인을 완성할 수 있음을 보인다. 이를 통해 크기 5 이상에서 발생할 수 있는 복잡한 경우들을 간접적으로 해결한다. 즉, 어떤 크기의 폴리오미노 집합이 ‘슈퍼 승자’를 포함하면, 그 집합은 모든 하위 집합에 대해서도 메이커가 승리한다는 귀류법적 결과를 얻는다.

결과적으로 논문은 (1,2)-달성 게임에서 메이커의 승리 조건을 폴리오미노의 구조적 특성과 브레이커의 차단 능력 사이의 균형으로 해석한다. 이론적 기여는 (1,2)라는 비대칭적인 턴 구조에서도 완전한 승리/패배 분류가 가능함을 보였으며, 무한 폴리오미노를 이용한 일반화는 향후 더 높은 차원의 게임 이론 연구에 중요한 토대를 제공한다.