Complexity of Tiling a Polygon with Trominoes or Bars | Discrete & Computational Geometry
We study the computational hardness of the tiling puzzle with polyominoes, where a polyomino is a right-angled polygon (i.e., a polygon made by connecting unit squares along their edges). In the tiling problem, we are given a right-angled 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-c
Complexity of Tiling a Polygon with Trominoes or Bars Published: 17 March 2017 Volume 58 , pages 686–704 ( 2017 ) Cite this article Save article View saved research Discrete & Computational Geometry Aims and scope Submit manuscript Abstract We study the computational hardness of the tiling puzzle with polyominoes, where a polyomino is a right-angled polygon (i.e., a polygon made by connecting unit squares along their edges). In the tiling problem, we are given a right-angled polygon P and a set S of polyominoes, and asked whether P can be covered without any overlap using translated copies of
Explore this link on the map →related reading
- What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
- Shtetl-Optimized >> Blog Archive >> Ten Signs a Claimed Mathematical Breakthrough is Wrongscottaaronson.blog
- Computational Complexity Theory (Stanford Encyclopedia of Philosophy)plato.stanford.edu
- P versus NP problem - Wikipediaen.wikipedia.org
- Complexity class - Wikipediaen.wikipedia.org
- Polygon partition - Wikipediaen.wikipedia.org
- Computational Complexityblog.computationalcomplexity.org
- NP-completeness - Wikipediaen.wikipedia.org
- Integer programming easily encloses horsedynomight.substack.com
- Rectangle packing - Wikipediaen.wikipedia.org
- Possible future Polymath projects | Gowers's Webloggowers.wordpress.com
- Polygon rectangulation, part 1: Minimum number of rectangles | Nanoexplanationsnanoexplanations.wordpress.com