A mathematical formulation to efficiently determine "life status" in the game of Go
Masafumi Sato, Koichi Anada, Masayoshi Tsutsumi · 2016
The game of Go is an ancient board game. In this game, players aim to capture the stones of their opponent by enclosing them. One possible condition for a stone is described as "safe". A safe stone can never be captured. This has been represented with a static determination by Benson [1]. In this paper, we analyze this determination mathematically, using the BW graph model that was introduced by Sato et al. [2][3][4][5]. As the result, we propose a new representation that reduces the required number of backtracking searches.