The decision problems about the periodic solutions of the domino problems (Q798644)

The domino problems were raised for the purpose of studying the AEA case of the first-order predicate sentences. The unsolvability of the origin- constrained, the diagonal-constrained, and the unrestricted domino problems were shown in 1960-1966, and along with this the unsolvability of the cases \(E\&AEA\) and AEA were obtained. In this paper, by reducing the Post Correspondence Problem to (1) the problem of deciding whether or not the origin-constrained domino problem has periodic solutions and (2) the problem of deciding whether or not the unrestricted domino problem has periodic solutions, it is obtained that the above two decision problems are both unsolvable.