초콜린스 게임의 엄밀한 컴퓨터 분석

초록

본 논문은 동전 던지기 게임인 초콜린스 게임에서, 현재까지 관측된 앞면·뒷면 횟수에 따라 언제 멈추는 것이 기대값을 최대로 하는지를 컴퓨터를 이용해 엄밀히 판단하는 방법을 제시한다. 기대값의 상한을 구하는 새로운 부등식을 도입해 초기 단계(예: 앞면 5번, 뒷면 3번)에서 정지 전략이 최적임을 증명한다.

상세 분석

초콜린스 게임은 “동전을 무한히 던지면서 언제든지 멈출 수 있다. 멈출 때의 보상은 지금까지 나온 앞면 비율이다”라는 간단한 규칙을 가진 최적 정지 문제이다. 이 문제는 마코프 결정 과정(MDP)으로 모델링될 수 있지만, 상태 공간이 무한히 확장되기 때문에 전통적인 역방향 귀납법(backward induction)으로는 해답을 구하기 어렵다. 기존 연구에서는 수치 시뮬레이션을 통해 특정 상태에서 계속하는 것이 이득임을 확인했지만, “무한히 뒤로”까지 증명하는 엄밀한 논증은 부재했다.

저자들은 먼저 기대값의 상한을 제공하는 새로운 부등식 (U(h,t) = \frac{h+1}{h+t+2} + \frac{t+1}{h+t+2}) 형태의 함수(정확한 형태는 논문에 제시)를 도출한다. 이 함수는 현재 상태 ((h,t))에서 최적 전략을 따를 경우 얻을 수 있는 기대 보상의 절대적인 상한을 의미한다. 중요한 점은 (U(h,t))가 단조 감소함을 증명함으로써, 특정 임계선 이하에서는 더 이상 기대값을 높일 여지가 없다는 것을 보였다.

그 다음 저자들은 동적 계획법(DP)과 구간 절단(bisection) 기법을 결합해, 상태 ((h,t))에 대해 실제 기대값 (V(h,t))와 상한 (U(h,t))를 비교한다. 만약 (V(h,t) \leq \frac{h}{h+t}) (즉 현재 비율이 상한 이하)라면 멈추는 것이 최적임을 확정한다. 이 과정은 초기 몇 번의 동전 던짐에 대해서는 완전 탐색이 가능하도록 설계되었으며, 컴퓨터 연산량을 크게 줄이는 효과가 있다.

특히 논문은 (5,3) 상태, 즉 앞면 5번, 뒷면 3번인 경우를 집중 분석한다. 기존에는 직관적으로 “계속하면 평균적으로 비율이 상승할 가능성이 있다”는 주장이 있었지만, 저자들의 상한 부등식과 DP 계산 결과는 (U(5,3) = 0.625) 이하이며 현재 비율 (5/8 = 0.625)와 정확히 일치함을 보여준다. 따라서 멈추는 것이 기대값을 넘지 못하는 최적 전략임을 엄밀히 증명한다.

이러한 접근법은 무한히 진행되는 게임에 대해 “무한히 뒤로” 귀납법을 적용할 필요 없이, 초기 단계에서만 상한을 이용해 최적 정지를 판단할 수 있게 한다. 결과적으로 초콜린스 게임의 구조적 특성을 이용한 효율적인 컴퓨터 검증 방법을 제시했으며, 향후 다른 최적 정지 문제에도 적용 가능성을 열어준다.