Algorithms for lattice games

From MaRDI portal



Abstract: This paper provides effective methods for the polyhedral formulation of impartial finite combinatorial games as lattice games. Given a rational strategy for a lattice game, a polynomial time algorithm is presented to decide (i) whether a given position is a winning position, and to find a move to a winning position, if not; and (ii) to decide whether two given positions are congruent, in the sense of mis`ere quotient theory. The methods are based on the theory of short rational generating functions.


In a previous paper, the authors have reformulated the theory of impartial combinatorial games using the language of combinatorial commutative algebra and convex rational polyhedral geometry. From the authors' abstract: This paper provides effective methods for the polyhedral formulation of impartial finite combinatorial games as lattice games. Given a rational strategy for a lattice game, a polynomial time algorithm is presented to decide (i) whether a given position is a winning position, and to find a move to a winning position, if not; and (ii) to decide whether two given positions are congruent, in the sense of misère quotient theory. The methods are based on the theory of short rational generating functions.











This page was built for publication: Algorithms for lattice games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q378325)