피자 나눔 게임에서 알리스의 최적 전략과 4/9 정리

초록

본 논문은 피자를 임의의 크기로 나눈 뒤, 알리스와 밥이 번갈아 한 조각씩 가져가는 게임을 분석한다. 첫 차례는 알리스가 자유롭게 선택하고, 이후에는 이미 먹힌 조각과 인접한 조각만 선택 가능하다. 저자는 알리스가 최소한 전체 피자의 4/9를 확보할 수 있는 전략을 제시하고, 이는 최적임을 보인다. 또한 조각 수에 따른 알리스의 최대 이득을 규명하고, 선형·이차 시간 알고리즘을 제공한다. 점프(인접하지 않은 조각 선택) 제한에 따른 이득 한계도 구한다.

상세 분석

이 연구는 원형 피자를 n개의 조각으로 나눈 뒤, 두 플레이어가 번갈아 한 조각씩 가져가는 제로섬 게임을 모델링한다. 게임의 핵심 제약은 “인접성 규칙”으로, 첫 차례를 제외하고는 이미 먹힌 조각과 직접 인접한 조각만 선택 가능하다. 이 규칙은 게임 트리를 크게 제한하면서도, 조각의 크기가 비균등할 경우 복잡한 전략적 선택을 야기한다. 저자는 먼저 알리스가 4/9 이상의 피자를 확보할 수 있음을 보이기 위해, 피자를 연속된 구간으로 묶어 “블록”이라는 개념을 도입한다. 각 블록은 인접한 조각들의 합으로 정의되며, 알리스는 자신의 차례에 현재 남아 있는 블록 중 가장 큰 블록을 선택하는 “최대 블록 전략”을 사용한다. 이 전략은 블록이 합쳐지거나 분할되는 과정을 추적함으로써, 전체 피자의 최소 4/9를 보장한다는 수학적 귀납 증명을 제공한다.

다음으로, 5/9를 확보할 수 있는 밥의 반격 전략을 구성한다. 저자는 특정한 비대칭적 조각 배치를 설계하여, 알리스가 첫 선택을 하더라도 밥이 이후에 남은 큰 블록을 차례대로 차지함으로써 전체의 5/9를 얻을 수 있음을 보인다. 이는 “역방향 블록 전략”이라 부르며, 알리스가 최선의 선택을 하더라도 밥이 최소 5/9를 차지할 수 있음을 의미한다.

알리스의 최적 이득을 조각 수 n에 따라 구체화하기 위해, 저자는 “시프트”와 “점프”라는 두 종류의 움직임을 정의한다. 시프트는 현재 먹힌 조각과 인접한 조각을 선택하는 것이고, 점프는 인접하지 않은 조각을 선택하는 것이다. 점프 횟수에 제한을 두면 게임 트리가 크게 단순화된다. 논문은 점프를 전혀 허용하지 않을 때 알리스가 확보할 수 있는 최댓값이 1/3, 한 번 점프를 허용하면 7/16, 두 번 점프를 허용하면 4/9임을 증명한다. 각각의 상한은 구성 예시를 통해 달성 가능함을 보이며, 이는 점프 제한이 전략적 힘을 어떻게 제한하는지를 명확히 보여준다.

알고리즘적 측면에서는 두 가지 핵심 절차를 제시한다. 첫 번째는 “선형 시간 알고리즘”으로, 현재 피자 상태와 인접성 규칙만을 이용해 알리스가 최소 4/9를 얻을 수 있는 구체적인 선택을 실시간으로 계산한다. 이 알고리즘은 블록의 크기와 위치를 한 번의 스캔으로 업데이트하며, O(n) 시간 복잡도를 가진다. 두 번째는 “이차 시간 최적화 알고리즘”으로, 동적 프로그래밍을 이용해 모든 가능한 게임 상태에 대해 양쪽 플레이어의 최적 수익을 역추적한다. 상태는 남은 조각들의 연속 구간과 현재 차례를 기준으로 정의되며, 전이 관계는 인접성 규칙에 따라 제한된다. 이 DP는 O(n²) 시간과 O(n²) 메모리를 사용하지만, 최적 전략을 완전하게 제공한다.

결과적으로, 논문은 피자 나눔 게임이라는 단순해 보이는 상황 속에 복합적인 조합 최적화와 게임 이론이 얽혀 있음을 밝히며, 4/9라는 비율이 최선임을 수학적으로 증명한다. 또한 점프 제한에 따른 이득 한계를 정량화하고, 실용적인 선형·이차 시간 알고리즘을 제공함으로써 이론적 결과를 실제 구현 가능하게 만든다.