How the World Computes

Volume 7318 of the series Lecture Notes in Computer Science pp 78-88

The Mate-in-n Problem of Infinite Chess Is Decidable

  • Dan BrumleveAffiliated withTopsy Labs, Inc.
  • , Joel David HamkinsAffiliated withDepartment of Philosophy, New York UniversityMathematics, CUNY Graduate Center, The City University of New YorkMathematics, College of Staten Island of CUNY
  • , Philipp SchlichtAffiliated withMathematisches Institut, Rheinische Friedrich-Wilhelms-Universität Bonn

* Final gross prices may vary according to local VAT.

Get Access


The mate-in-n problem of infinite chess—chess played on an infinite edgeless board—is the problem of determining whether a designated player can force a win from a given finite position in at most n moves. Although a straightforward formulation of this problem leads to assertions of high arithmetic complexity, with 2n alternating quantifiers, the main theorem of this article nevertheless confirms a conjecture of the second author and C. D. A. Evans by establishing that it is computably decidable, uniformly in the position and in n. Furthermore, there is a computable strategy for optimal play from such mate-in-n positions. The proof proceeds by showing that the mate-in-n problem is expressible in what we call the first-order structure of chess \(\mathord{\frak{Ch}}\), which we prove (in the relevant fragment) is an automatic structure, whose theory is therefore decidable. The structure is also definable in Presburger arithmetic. Unfortunately, this resolution of the mate-in-n problem does not appear to settle the decidability of the more general winning-position problem, the problem of determining whether a designated player has a winning strategy from a given position, since a position may admit a winning strategy without any bound on the number of moves required. This issue is connected with transfinite game values in infinite chess, and the exact value of the omega one of chess \(\omega_1^{\rm chess}\) is not known.