[논문 리뷰] On Nim-like games whose Sprague-Grundy functions are the same

Yuki Irie|arXiv (Cornell University)|2018. 01. 02.

Artificial Intelligence in Games참고 문헌 7인용 수 1

한 줄 요약

이 논문은 동일한 Sprague-Grundy 함수를 가진 조합 게임을 조사하며, 특히 캐리 없이 혼합 밑수 덧셈과 일치하는 Grundy 함수를 가진 Nim의 변종에 초점을 맞춘다. 이를 $\sigma^b$로 표기한다. 이러한 게임이 유일한 최소 게임을 형성하는 조건을 규명하고, $\Delta^b$ 집합 내에서 최대 게임을 구성한다. 특히 이진수 체계에서는 $\Delta^b$가 완전히 결정된다.

ABSTRACT

Some games have the same Sprague-Grundy functions. For a mixed radix numeral system $b$, let $\sigma^b$ be the function that maps $(x^0, \ldots, x^{m - 1}) \in \mathbb{N}^m$ to $x^0 \oplus_b \cdots \oplus_b x^{m - 1}$, where $\oplus_b$ is addition without carry in $b$. We present variants of Nim whose Sprague-Grundy functions equal $\sigma^b$. Let $\Delta^b$ be the set of such games. When $b$ is the binary numeral system, we determine $\Delta^{b}$. In general, we give a characterization of $b$ such that $\Delta^{b}$ has a unique minimal element, and a construction of the maximum element of $\Delta^{b}$.

연구 동기 및 목표

• 어떤 조합 게임이 동일한 Sprague-Grundy 함수를 가지는지 이해하는 것.
• Sprague-Grundy 함수가 $\sigma^b$와 일치하는 Nim 유사 게임의 집합인 $\Delta^b$를 식별하고 특성화하는 것.
• $\Delta^b$가 유일한 최소 원소를 가지는 조건을 규명하고, 그 최대 원소를 구성하는 것.
• 이진수 표기 체계일 때 $\Delta^b$를 완전히 특성화하는 것.

제안 방법

• $\sigma^b$를 혼합 밑수 체계 $b$에서 자연수 $m$-튜플을 캐리 없이 더한 결과로 매핑하는 함수로 정의하고, $\oplus_b$를 사용한다.
• $\Delta^b$를 Sprague-Grundy 함수가 $\sigma^b$와 일치하는 Nim 유사 게임의 집합으로 정의한다.
• 게임 위치의 구조적 분석과 Grundy 함수 성질을 활용하여 $\Delta^b$ 내 최소 및 최대 게임을 규명한다.
• 기저 $b$에 대한 조건을 설정하여 $\Delta^b$가 유일한 최소 원소를 가지는지 여부를 규명한다.
• $\sigma^b$의 구조에 기반한 재귀적 게임 구성 방법을 사용하여 $\Delta^b$의 최대 원소를 구성한다.
• 특성화를 이진수 사례에 적용하여, $b$가 이진수일 때 $\Delta^b$가 완전히 결정됨을 보여준다.

실험 결과

연구 질문

• RQ1 기저 $b$가 어떤 조건을 만족할 경우, Grundy 함수가 $\sigma^b$인 게임 집합 $\Delta^b$가 유일한 최소 원소를 가지는가?
• RQ2 주어진 기저 $b$에 대해 $\Delta^b$의 최대 원소의 구조는 어떠한가?
• RQ3 기저 $b$가 이진수 표기 체계일 때, 집합 $\Delta^b$는 어떻게 완전히 특성화할 수 있는가?
• RQ4 $b$에 어떤 조건이 성립하면 $\Delta^b$ 내 모든 게임이 동일한 Grundy 함수 $\sigma^b$를 공유하는가?
• RQ5 캐리 없이 혼합 밑수 덧셈의 성질은 Nim 변종의 게임 이론적 구조와 어떻게 관련이 있는가?

주요 결과

• 기저 $b$가 이진수 표기 체계일 경우, 집합 $\Delta^b$는 완전히 특성화되고 완전히 결정된다.
• $\Delta^b$가 유일한 최소 원소를 가지는 것은 기저 $b$가 혼합 밑수 표현의 유일성과 관련된 특정 구조적 조건을 만족할 때에 한하여 성립한다.
• 모든 주어진 기저 $b$에 대해 $\Delta^b$의 최대 원소를 생성하는 방법을 제시한다.
• Sprague-Grundy 함수 $\sigma^b$가 여러 상이한 Nim 유사 게임의 Grundy 함수로 실현 가능하다는 것이 입증된다.
• 이진수 사례에서는 $\Delta^b$ 내 모든 게임이 이동 옵션과 Grundy 값 행동의 측면에서 상호 구조적으로 관련되어 있다.
• 논문은 $\sigma^b$의 대수적 성질과 $\Delta^b$의 게임 이론적 성질 사이에 직접적인 대응 관계를 설정한다.