[논문 리뷰] Computer analysis of Sprouts with nimbers

Julien Lemoine, Simon Viennot|arXiv (Cornell University)|2010. 08. 13.

Artificial Intelligence in Games참고 문헌 2인용 수 6

한 줄 요약

이 논문은 니머와 전략적 가지치기를 활용한 컴퓨터 보조 분석을 통해 32개의 점까지의 조합 게임 스프라우트의 결과를 계산할 수 있도록 하여 이전 연구를 크게 확장한다. 저자들은 계산된 모든 값에 대해 스프라우트 추측을 확인하였으며, 최소화된 데이터베이스를 통해 11개의 점까지의 게임에 대해 수동으로 검증 가능한 증명을 제공하여, 선수 1이 승리하는 경우는 p ≡ 3, 4, 또는 5 (mod 6)일 때에만 성립함을 입증한다.

ABSTRACT

Sprouts is a two-player topological game, invented in 1967 in the University of Cambridge by John Conway and Michael Paterson. The game starts with p spots, and ends in at most 3p-1 moves. The first player who cannot play loses. The complexity of the p-spot game is very high, so that the best hand-checked proof only shows who the winner is for the 7-spot game, and the best previous computer analysis reached p=11. We have written a computer program, using mainly two new ideas. The nimber (also known as Sprague-Grundy number) allows us to compute separately independent subgames; and when the exploration of a part of the game tree seems to be too difficult, we can manually force the program to search elsewhere. Thanks to these improvements, we reached up to p=32. The outcome of the 33-spot game is still unknown, but the biggest computed value is the 47-spot game ! All the computed values support the Sprouts conjecture: the first player has a winning strategy if and only if p is 3, 4 or 5 modulo 6. We have also used a check algorithm to reduce the number of positions needed to prove which player is the winner. It is now possible to hand-check all the games until p=11 in a reasonable amount of time.

연구 동기 및 목표

• 작은 p에 대해 슈트라우스의 계산 불가능성 문제를 해결하기 위해 고급 알고리즘 기법을 활용한다.
• 이전의 p = 11의 한계를 초월하여 계산 가능한 스프라우트 게임의 상한을 확장한다.
• 최소화된 데이터베이스를 통해 수동으로 검증 가능한 증명을 위한 확인 알고리즘을 통해 결과를 검증한다.
• 니머 값의 패턴을 조사하고, 고도로 신뢰할 수 있는 방식으로 스프라우트 추측을 검증한다.
• 재현 가능하고 향후 연구를 위한 공개 소스 도구와 데이터베이스를 제공한다.

제안 방법

• 독립된 부분 게임을 별도로 다루는 방식으로, 스프라우트-그랜드 개념(니머)을 활용해 게임 결과를 계산한다.
• 스트링 기반의 데이터 구조를 사용해 스프라우트 위치를 표현함으로써 프로그래밍적 조작과 게임 트리 탐색을 효율적으로 수행한다.
• 심도 우선 탐색과 수동 간섭을 조합한 하이브리드 탐색 전략을 구현하여, 부분 게임의 복잡성이 기하급수적으로 증가할 경우 계산을 재지향한다.
• 확인 알고리즘을 적용해 저장된 게임 위치의 수를 최소화하여, 검증이 가능한 압축된 데이터베이스를 생성한다.
• 현재의 깊이 우선 히وري스틱을 초월해 효율성을 향상시키기 위해, PN-검색 기반의 최적 우선 탐색을 향후 방향으로 제안한다.
• 확인 알고리즘을 통해 데이터베이스 크기를 줄임으로써 분산 계산의 잠재력을 극대화한다.

실험 결과

연구 질문

• RQ1 스프라우트 추측—즉, 선수 1이 승리하는 것은 p ≡ 3, 4, 또는 5 (mod 6)일 때에만 성립한다는 주장—이 p = 32까지 컴퓨터적으로 확인될 수 있는가?
• RQ2 현재의 알고리즘 개선을 통해 신뢰할 수 있게 계산 가능한 스프라우트 게임의 최대 점 수는 얼마인가?
• RQ3 인간이 이끄는 탐색 전략을 자동 계산에 통합함으로써 게임 트리 탐색의 효율성을 높일 수 있는가?
• RQ4 정확성과 수동 검증을 유지하면서 게임 데이터베이스의 크기를 어느 정도까지 최소화할 수 있는가?
• RQ5 니머 값에 구조적 패턴이 존재하는가? 이러한 패턴은 스프라우트 추측의 확장 여부를 뒷받침하거나 반박하는가?

주요 결과

• 저자들은 1에서 32까지의 모든 p에 대해 p-점 스프라우트 게임의 결과를 계산하였으며, 47점 게임의 경우도 부분적으로 분석하였다.
• 모든 계산된 결과는 스프라우트 추측을 지지한다: 선수 1이 승리하는 것은 p ≡ 3, 4, 또는 5 (mod 6)일 때에만 성립한다.
• 모든 p ≤ 32에 대해, 시작 위치의 니머 값은 p ≡ 0, 1, 또는 2 (mod 6)일 때 0이고, p ≡ 3, 4, 또는 5 (mod 6)일 때 1이다.
• 저장된 게임 쌍의 수가 p에 따라 반드시 증가하지는 않으며, 특히 p = 15, 21, 27은 희귀한 지배하는 자식 노드로 인해 계산이 어려운 경우로서, 6의 모듈로에 따른 반복적인 구조적 패턴이 존재함을 시사한다.
• 확인 알고리즘이 성공적으로 데이터베이스 크기를 줄였으며, 9점 게임의 66개의 지배하는 위치와 258개의 승리 위치를 몇 시간 내에 수동으로 검증할 수 있었다.
• 프로그램과 모든 결과 데이터베이스는 GNU 라이선스 하에 공개되어 있어 재현 가능성이 높고 향후 연구에 기여할 수 있다.