SEGClobber - A Linear Clobber Solver
摘要
We develop SEGClobber (Simplest Equal Game Clobber), a solver for the one-dimensional form of Clobber known as linear Clobber. We briefly review previous work on this game and related concepts about combinatorial game theory. We describe our basic computational approach, a series of enhancements, and the experimental evaluation. We experimentally verify two conjectures by Albert et al. about linear Clobber up to values of \(n=50\) for \((\CIRCLE \Circle )^n\) and \(n=28\) for \((\CIRCLE \CIRCLE \Circle )^n\) . This greatly exceeds previous computational results for such positions.