[논문 리뷰] The Generalized Zeckendorf Game

Paul Baird‐Smith, Alyssa Epstein외 2명|arXiv (Cornell University)|2018. 09. 13.

Game Theory and Applications참고 문헌 8인용 수 8

한 줄 요약

이 논문은 정수를 선형 재귀 수열(피보나치 수열 및 고차수 재귀 포함)의 비연속 항으로 유일하게 분해하는 데 기반한 두 명의 플레이어가 참여하는 조합 게임인 일반화된 제크엔도르프 게임을 소개한다. 플레이어들은 재귀 규칙에 기반한 이동 규칙을 번갈아 적용하여 초기 분해를 유일한 제크엔도르프 형태로 변환하며, 피보나치 경우에서 n > 2일 때 플레이어 2가 승리 전략을 가짐을 비구성적 방법으로 증명한다.

ABSTRACT

Zeckendorf proved that every positive integer $n$ can be written uniquely as the sum of non-adjacent Fibonacci numbers; a similar result, though with a different notion of a legal decomposition, holds for many other sequences. We use these decompositions to construct a two-player game, which can be completely analyzed for linear recurrence relations of the form $G_n = \sum_{i=1}^{k} c G_{n-i}$ for a fixed positive integer $c$ ($c=k-1=1$ gives the Fibonaccis). Given a fixed integer $n$ and an initial decomposition of $n = n G_1$, the two players alternate by using moves related to the recurrence relation, and whomever moves last wins. The game always terminates in the Zeckendorf decomposition, though depending on the choice of moves the length of the game and the winner can vary. We find upper and lower bounds on the number of moves possible; for the Fibonacci game the upper bound is on the order of $n\log n$, and for other games we obtain a bound growing linearly with $n$. For the Fibonacci game, Player 2 has the winning strategy for all $n > 2$. If Player 2 makes a mistake on his first move, however, Player 1 has the winning strategy instead. Interestingly, the proof of both of these claims is non-constructive.

연구 동기 및 목표

• 정수를 선형 재귀 수열의 항으로 일반화된 제크엔도르프 분해에 기반한 두 명의 플레이어 게임을 체계화하는 것.
• 이동 순서, 게임 길이의 상한과 하한, 승리 전략 등을 포함한 게임의 역학을 분석하는 것.
• 피보나치 경우에서 알려진 결과를 트리보나치 및 고차수 선형 재귀 수열과 같은 더 넓은 범주로 확장하는 것.
• 특히 플레이어 2의 승리 전략의 존재성과 구조를 탐색하고, 게임 복잡도 및 전략 구성 분야에서 열려 있는 문제를 규명하는 것.

제안 방법

• 양의 선형 재귀 수열(PLRS)의 항들로 이루어진 다중집합을 게임 상태로 정의하며, 첫 번째 항의 n개 복제본에서 시작한다.
• 재귀 규칙에 기반한 합법적 이동을 정의: 연속된 두 항을 다음 항으로 융합하거나, 동일한 두 항을 재귀 규칙에 기반한 조합으로 대체하는 것.
• 트리 기반 게임 분석을 통해 모든 가능한 게임 경로를 모델링하며, 레이어는 이동 수를 나타내고, 노드 색상은 승리한 플레이어를 나타낸다.
• 비구성적 방법을 적용하여, 특히 피보나치 게임에서 플레이어 2의 승리 전략 존재성을 증명한다.
• 컴퓨터 도구(마이크로소프트 수학 및 자바 앱лет)를 사용해 게임 트리 시뮬레이션, 이동 수 집계, 게임 상태 및 승리 경로의 시각화를 수행한다.
• 게임 길이에 대한 상한과 하한을 설정하며, 피보나치의 경우 O(n log n), 다른 PLRS의 경우 O(n)임을 보여준다.

실험 결과

연구 질문

• RQ1 일반화된 제크엔도르프 게임에서 충분히 큰 모든 n에 대해 플레이어 2가 승리 전략을 가질 수 있는가, 특히 피보나치 경우에 대해?
• RQ2 주어진 재귀 수열에 대해 어떤 게임 순서에서도 이동 수의 가장 날카로운 상한과 하한은 무엇인가?
• RQ3 피보나치 제크엔도르프 게임에서 플레이어 2에 대해 구성적 승리 전략을 유도할 수 있는가, 아니면 현재 증명이 본질적으로 비구성적인가?
• RQ4 랜덤 플레이 하에서 게임 길이의 분포는 어떻게 행동하는가, 그리고 이는 정규 분포와 같은 알려진 분포로 수렴하는가?
• RQ5 게임이 두 명 이상의 플레이어로 확장되거나, 균일하지 않은 초기 구성으로 확장될 경우 어떤 결과가 발생하는가?

주요 결과

• 피보나치 제크엔도르프 게임에서 n > 2이면 플레이어 2가 승리 전략을 가짐을 비구성적 방법으로 증명함.
• 플레이어 2가 첫 번째 수를 잘못 둘 경우 플레이어 1이 승리 전략을 확보하게 되며, 이는 초기 플레이에 매우 민감함을 시사함.
• 피보나치 게임에서 최대 이동 수는 O(n log n) 이하로 상한이 존재하지만, 다른 PLRS의 경우 선형적으로 O(n)으로 증가함.
• 어떤 이동 순서이든 간에 게임은 항상 유일한 제크엔도르프 분해로 종료됨.
• 트리보나치 재귀 수열의 경우, 시뮬레이션 데이터는 충분히 큰 n에 대해 플레이어 2가 승리 전략을 가질 것이라는 추측을 지지하지만, 아직 증명은 이루어지지 않음.
• 자바 앱лет을 사용해 게임 트리를 시각화할 수 있으며, 노드는 승리한 플레이어에 따라 색상으로 구분되고 종료 상태는 강조됨으로써 게임 경로의 구조적 분석이 가능해짐.