에르되시 세케레스 게임 승자 분석과 전략

초록

본 논문은 에르되시‑세케레스 정리를 기반으로 한 두 명이 번갈아 수를 선택하는 퍼뮤테이션 게임을 연구한다. 파라미터 $a\ge b$와 $b\in{2,3,4,5}$에 대해, 미세레(패배가 되는) 버전에서 승자를 완전히 규정하고, 각각에 대한 구체적인 승리 전략을 제시한다. 특히 $b=5$ 경우의 새로운 전략을 제시함으로써 기존 연구를 확장한다.

상세 분석

논문은 먼저 전통적인 에르되시‑세케레스 정리(길이 $n\ge (a-1)(b-1)+1$이면 $I_a$ 혹은 $J_b$ 패턴이 존재한다)를 셀레인버그의 쌍(pair) 증명과 연결시켜, 게임 상태를 $(c,r)$ 형태의 격자 셀로 시각화한다. 여기서 $c$는 현재 원소가 끝나는 가장 긴 증가 부분수열의 길이, $r$은 가장 긴 감소 부분수열의 길이이다. 게임 진행 중에 셰이딩된 셀은 “소거(eliminated)” 영역을 형성하고, 다음 턴에서는 이 영역에 가장자리(edge‑adjacent)인 열린 셀만 선택 가능하다는 명제 1을 증명한다. 이 구조는 전통적인 ‘촘프(Chomp)’와 동형이며, 셀의 좌·우·위·아래 관계만으로 가능한 움직임을 완전히 기술한다.

$b=2$인 경우 보드가 1행 $(a-1)$열이 되므로, 각 턴마다 가장 왼쪽 빈 셀을 차례로 채우는 단순한 진행이 된다. 이때 마지막 셀을 채우는 플레이어는 $a$의 홀짝에 따라 결정되며, $a$가 짝이면 1번째 플레이어가 승, 홀이면 2번째 플레이어가 승한다.

$b=3$에서는 2행 $(a-1)$열 보드가 되며, 저자는 “첫 번째 행에 $i$개, 두 번째 행에 $i-1$개씩 교대로 채우는” 패턴을 제시한다. 이 전략은 상대가 어느 행을 선택하든 다음 턴에 반대 행의 가장 왼쪽 빈 셀을 채워 결국 $(a-1,2)$ 셀을 차지하게 만들며, 미세레 규칙 하에서 상대를 패배시킨다.

$b=4$와 $b=5$에 대해서는 각각 3행·$(a-1)$열, 4행·$(a-1)$열 보드가 된다. 저자는 이전 사례와 유사하게 “대각선 형태의 사다리”를 유지하도록 셰이딩을 진행한다. 특히 $b=5$에서는 기존 문헌에 없던 새로운 미세레 전략을 제시한다. 여기서는 현재 소거 영역의 남은 가장자리 셀을 분석해, 플레이어가 항상 “남은 열·행 중 최소값을 증가시키는” 선택을 하게 함으로써 상대가 반드시 $(a-1,b-1)$ 셀을 채우게 만든다. 이 전략은 셀의 좌표 변화를 최대 1씩 제한하는 명제 1의 특성을 핵심적으로 이용한다.

전반적으로 저자는 격자 시각화가 게임의 구조를 명확히 드러내며, 기존의 삼진 단어(ternary word) 모델보다 직관적인 전략 설계에 유리함을 강조한다. 또한, 미세레 버전과 정상 플레이 버전이 파라미터 $(a-1,b-1)$와 $(a,b)$ 사이에 일대일 대응을 갖는 점을 이용해, 기존 결과와 일관성을 검증한다.