Chess is hard even for a single player

  title={Chess is hard even for a single player},
  author={N. R. Aravind and Neeldhara Misra and Harshil Mittal},
We introduce a generalization of “Solo Chess”, a single-player variant of the game that can be played on The standard version of the game is played on a regular 8 × 8 chessboard by a single player, with only white pieces, using the following rules: every move must capture a piece, no piece may capture more than 2 times, and if there is a King on the board, it must be the final piece. The goal is to clear the board, i.e, make a sequence of captures after which only one piece is left… 


Complexity of Retrograde and Helpmate Chess Problems: Even Cooperative Chess is Hard
It is proved PSPACE-completeness of two classic types of Chess problems when generalized to n-by-n boards, and the decision question gets at the existence of an exponentially long move sequence.
Computing a Perfect Strategy for n*n Chess Requires Time Exponential in N
It is proved that a natural generalization of chess to an n×n board is complete in exponential time. This implies that there exist chess-positions on an n×n chess-board for which the problem of
Winning Ways for Your Mathematical Plays
In the quarter of a century since three mathematicians and game theorists collaborated to create Winning Ways for Your Mathematical Plays, the book has become the definitive work on the subject of
Computers and Intractability, volume 174
  • freeman San Francisco,
  • 1979
For the other direction, note that by Claim 18, we have that (T , v) is 0-solvable and in particular
    Let v be the vertex where the final capture is made in a valid capture sequence. Then (T , v) is 0-solvable, and by Claim 18 every internal node of (T , v) has a leaf neighbor
      Suppose that (T , v) is 1-solvable. Then (T , v) is 0-solvable and further, either |T | = 1, or by Claim 18
        Suppose that (T , v) is 1-solvable. Then (T , v) is 0-solvable and further, either |T | = 1, or by Claim 17
          T , v) is 1-solvable ⇐⇒ |T | = 1 OR (T , v) is 0-solvable and v has a leaf neighbor. Proof. We prove (a) and (b) together by induction on
            = 1 and |V(T ) = 2, the statements are easily verified to be true