Tilings and patterns
Discrete & Computational Geometry
Decision problems for semi-Thue systems with a few rules
Theoretical Computer Science - Insightful theory
From linear partitions to parallelogram polyominoes
DLT'11 Proceedings of the 15th international conference on Developments in language theory
Hi-index | 0.00 |
Deciding whether a finite set of polyominoes tiles the plane is undecidable by reduction from the Domino problem. In this paper, we prove that the problem remains undecidable if the set of instances is restricted to sets of 5 polyominoes. In the case of tiling by translations only, we prove that the problem is undecidable for sets of 11 polyominoes.