Translational Tiling with 8 Polyominoes is Undecidable

Chao Yang,Zhujun Zhang
DOI: https://doi.org/10.1007/s00454-024-00706-1
2024-12-01
Discrete & Computational Geometry
Abstract:We show that translational tiling of the plane with a set of 8 polyominoes is undecidable, which answers a question posted by Ollinger. The techniques employed in our proof include a different orientation for simulating the Wang tiles in polyomino and a new method for encoding the colors of Wang tiles.
mathematics,computer science, theory & methods
What problem does this paper attempt to address?