Undecidability of Tiling with a Tromino

ULB CompGeom Group, Zachary Abel, Hugo Akitaya +6

Given a periodic placement of copies of a tromino (either L or I), we prove co-RE-completeness (and hence undecidability) of deciding whether it can be completed to a plane tiling.…