[논문 리뷰] Deterministic Zeckendorf Games

Ruoci Li, Xiaonan Li외 5명|arXiv (Cornell University)|2020. 06. 30.

semigroups and automata theory참고 문헌 8인용 수 4

한 줄 요약

이 논문은 결정적 제코프 게임에서의 이동 수에 대한 상한을 $3n - 3Z(n) - IZ(n) + 1$으로 향상시켜 기존에 알려진 하한 $n - Z(n)$의 순서와 일치시키며, 네 가지 결정적 변형—가장 큰 합치기, 가장 큰 분할하기, 가장 작은 합치기, 가장 작은 분할하기—를 분석하여 가장 작은 분할하기가 가장 긴 게임을 만들고, 가장 큰 합치기/가장 큰 분할하기가 최소한의 게임 길이를 실현함을 보였다.

ABSTRACT

Zeckendorf proved that every positive integer can be written uniquely as the sum of non-adjacent Fibonacci numbers. We further explore a two-player Zeckendorf game introduced in Baird-Smith, Epstein, Flint, and Miller: Given a fixed integer $n$ and an initial decomposition of $n = nF_1$, players alternate using moves related to the recurrence relation $F_{n+1} = F_n + F_{n_1}$, and the last player to move wins. We improve the upper bound on the number of moves possible and show that it is of the same order in $n$ as the lower bound; this is an improvement by a logarithm over previous work. The new upper bound is $3n - 3Z(n) - IZ(n) + 1$, and the existing lower bound is sharp at $n - Z(n)$ moves, where $Z(n)$ is the number of terms in the Zeckendorf decomposition of $n$ and $IZ(n)$ is the sum of indices in the same Zeckendorf decomposition of $n$. We also studied four deterministic variants of the game, where there was a fixed order on which available move one takes: Combine Largest, Split Largest, Combine Smallest and Split Smallest. We prove that Combine Largest and Split Largest realize the lower bound. Split Smallest has the largest number of moves over all possible games, and is close to the new upper bound. For Combine Split games, the number of moves grows linearly with $n$.

연구 동기 및 목표

• 제코프 게임에서의 이동 수에 대한 상한을 보다 정교하게 조정하여 기존 하한과의 격차를 줄이기.
• 이동 순서가 고정된 제코프 게임의 결정적 변형을 분석하여 전략적 선택이 없는 상황에서의 게임 역학에 대한 통찰을 제공하기.
• 어느 결정적 변형이 최소 및 최대 이동 수를 달성하는지 규명하고, 게임 길이의 성장률을 이해하기.
• 분할 이동 수의 선형 성장과 무작위 게임에서의 이동 수 분포에 대한 추측을 뒷받침하기.
• 미래 연구를 위한 기초를 마련하기 위해 승리 전략, 다수인 플레이어 확장, 게임 길이의 통계적 성질에 대해 고려하기.

제안 방법

• 제코프 분해와 이동 순서의 조합 분석을 통해 게임 길이에 대한 새로운 상한을 유도하기.
• 네 가지 결정적 게임 변형—가장 큰 합치기, 가장 큰 분할하기, 가장 작은 합치기, 가장 작은 분할하기—를 정의하며, 각각 고정된 이동 순서를 가짐.
• 가장 큰 합치기 및 가장 큰 분할하기가 최소 이동 수를 달성함을 증명하며, 이는 이론적 하한 $n - Z(n)$과 일치함.
• 가장 작은 분할하기가 가장 긴 게임을 만들어내며, 새로운 상한 $3n - 3Z(n) - IZ(n) + 1$에 가까워짐을 보임.
• 귀납적 추론을 통해 모든 중간 게임 상태가 고유한 인덱스 표현을 유지함을 증명함(반복되는 인덱스 $i \geq 2$ 없음).
• 대규모 수치 시뮬레이션과 무작위 게임에서의 이동 수 통계 분포를 분석하여 결과를 정규분포 및 선형 모델에 적합시킴.

실험 결과

연구 질문

• RQ1 어떤 제코프 게임에서든 이동 수에 대한 가장 날카로운 상한은 무엇인가요?
• RQ2 어느 결정적 이동 순서가 가장 긴 게임과 가장 짧은 게임을 만들어내며, 그 이유는 무엇인가요?
• RQ3 분할 이동 수는 $n$에 대해 선형으로 증가하는가? 만약 그렇다면 점근적 상수는 무엇인가요?
• RQ4 무작위 게임에서의 이동 수 분포는 어떻게 되며, 정규분포와 일치하는가요?
• RQ5 모든 $n$에 대해 결정적 이동 순서를 사용하여 최소 및 최대 게임 길이를 정확히 특성화할 수 있는가요?

주요 결과

• 게임 길이에 대한 새로운 상한은 $3n - 3Z(n) - IZ(n) + 1$이며, 이는 이전의 $O(n \log n)$ 상한에 비해 크게 향상됨.
• 하한 $n - Z(n)$의 이동 수는 정확하며, 가장 큰 합치기 및 가장 큰 분할하기 결정적 변형에 의해 달성됨.
• 가장 작은 분할하기 변형은 가장 긴 게임을 만들어내며, 새로운 상한에 매우 가까이 다가감.
• 가장 작은 합치기 및 가장 작은 분할하기 게임에서 이동 수는 $n$에 대해 선형으로 증가하며, 상수는 각각 약 $1.206$과 $\phi^2 \approx 2.618$임.
• 모든 게임에서 합치기 이동 수는 레이마 3.3에 의해 증명된 바와 같이 $n - Z(n)$과 동일함.
• 100만 개의 무작위 게임을 대상으로 한 수치 시뮬레이션 결과, 이동 수 분포가 정규분포에 거의 완벽하게 적합됨을 확인하여, 이동 수 분포가 정규분포 유사성을 가지는 추측을 뒷받침함.