6 research outputs found
Hard and Easy Instances of L-Tromino Tilings
We study tilings of regions in the square lattice with L-shaped trominoes.
Deciding the existence of a tiling with L-trominoes for an arbitrary region in
general is NP-complete, nonetheless, we identify restrictions to the problem
where it either remains NP-complete or has a polynomial time algorithm. First,
we characterize the possibility of when an Aztec rectangle and an Aztec diamond
has an L-tromino tiling. Then, we study tilings of arbitrary regions where only
rotations of L-trominoes are available. For this particular case we
show that deciding the existence of a tiling remains NP-complete; yet, if a
region does not contains certain so-called "forbidden polyominoes" as
sub-regions, then there exists a polynomial time algorithm for deciding a
tiling.Comment: Full extended version of LNCS 11355:82-95 (WALCOM 2019
Hard and easy instances of L-Tromino tilings
In this work we study tilings of regions in the square lattice with L-shaped trominoes. Deciding the existence of a tiling with L-trominoes for an arbitrary region in general is NP-complete, nonetheless, we identify restrictions to the problem where it either remains NP-complete or has a polynomial time algorithm. First, we characterize the possibility of when an Aztec rectangle has an L-tromino tiling, and hence also an Aztec diamond; if an Aztec rectangle has an unknown number of defects or holes, however, the problem of deciding a tiling is NP-complete. Then, we study tilings of arbitrary regions where only 180∘ rotations of L-trominoes are available. For this particular case we show that deciding the existence of a tiling remains NP-complete; yet, if a region does not contain so-called “forbidden polyominoes” as subregions, then there exists a polynomial time algorithm for deciding a tiling
Complexity of Tiling a Polygon with Trominoes or Bars
We study the computational hardness of the tiling puzzle with polyominoes, where a polyomino is a rectilinear polygon (i.e., a polygon made by connecting unit squares.) In the tiling problem, we are given a rectilinear polygon P and a set S of polyominoes, and asked whether P can be covered without any overlap using translated copies of polyominoes in S. In this paper, we focus on trominoes and bars as polyominoes; a tromino is a polyomino consisting of three unit squares, and a bar is a rectangle of either height one or width one. Notice that there are essentially two shapes of trominoes, that is, I-shape (i.e., a bar) and L-shape. We consider the tiling problem when restricted to only L-shape trominoes, only I-shape trominoes, both L-shape and I-shape trominoes, or only two bars. In this paper, we prove that the tiling problem remains NP-complete even for such restricted sets of polyominoes. All reductions are carefully designed so that we can also prove the #P-completeness and ASP-completeness of the counting and the another-solution-problem variants, respectively.Our results answer two open questions proposed by Moore and Robson (2001) and Pak and Yang (2013)