2000 character limit reached
Undecidability of tiling the plane with a fixed number of Wang bars (2404.04504v1)
Published 6 Apr 2024 in math.CO, cs.CC, and math.MG
Abstract: To study the fixed parameter undecidability of tiling problem for a set of Wang tiles, Jeandel and Rolin show that the tiling problem for a set of 44 Wang bars is undecidable. In this paper, we improve their result by proving that whether a set of 29 Wang bars can tile the plane is undecidable. As a consequence, the tiling problem for a set of Wang tiles with color deficiency of 25 is also undecidable.