Paper by Erik D. Demaine

Reference:

Jeffrey Bosboom, Charlotte Chen, Lily Chung, Spencer Compton, Michael Coulombe, Erik D. Demaine, Martin L. Demaine, Ivan Tadeu Ferreira Antunes Filho, Della Hendrickson, Adam Hesterberg, Calvin Hsu, William Hu, Oliver Korten, Zhezheng Luo, and Lillian Zhang, “Edge Matching with Inequalities, Triangles, Unknown Shape, and Two Players”, Journal of Information Processing, volume 28, 2020, pages 987–1007.

BibTeX

@Article{LessThanEdgeMatching_JIP,
  AUTHOR        = {Jeffrey Bosboom and Charlotte Chen and Lily Chung and Spencer Compton and Michael Coulombe and Erik D. Demaine and Martin L. Demaine and Ivan Tadeu Ferreira Antunes Filho and Della Hendrickson and Adam Hesterberg and Calvin Hsu and William Hu and Oliver Korten and Zhezheng Luo and Lillian Zhang},
  authororig    = {Jeffrey Bosboom and Charlotte Chen and Lily Chung and Spencer Compton and Michael Coulombe and Erik D. Demaine and Martin L. Demaine and Ivan Tadeu Ferreira Antunes Filho and Dylan Hendrickson and Adam Hesterberg and Calvin Hsu and William Hu and Oliver Korten and Zhezheng Luo and Lillian Zhang},
  TITLE         = {Edge Matching with Inequalities, Triangles, Unknown Shape, and Two Players},
  JOURNAL       = {Journal of Information Processing},
  journalurl    = {http://www.ipsj.or.jp/english/jip/},
  VOLUME        = 28,
  YEAR          = 2020,
  PAGES         = {987--1007},

  withstudent   = 1,
  length        = {23 pages},
  replaces      = {LessThanEdgeMatching_JCDCGGG2019},
  papers        = {LessThanEdgeMatching_JCDCGGG2019},
  doi           = {https://dx.doi.org/10.2197/ipsjjip.28.987},
  dblp          = {https://dblp.org/rec/journals/jip/BosboomCCCCDDFH20},
  comments      = {This paper is available as <A HREF="https://arXiv.org/abs/2002.03887">arXiv:2002.03887</A> and from <A HREF="https://doi.org/10.2197/ipsjjip.28.987">J-STAGE</A>.},
}

Abstract:

We analyze the computational complexity of several new variants of edge-matching puzzles. First we analyze inequality (instead of equality) constraints between adjacent tiles, proving the problem NP-complete for strict inequalities but polynomial-time solvable for nonstrict inequalities. Second we analyze three types of triangular edge matching, of which one is polynomial-time solvable and the other two are NP-complete; all three are #P-complete. Third we analyze the case where no target shape is specified and we merely want to place the (square) tiles so that edges match exactly; this problem is NP-complete. Fourth we consider four 2-player games based on 1 × n edge matching, all four of which are PSPACE-complete. Most of our NP-hardness reductions are parsimonious, newly proving #P and ASP-completeness for, e.g., 1 × n edge matching. Along the way, we prove #P- and ASP-completeness of planar 3-regular directed Hamiltonicity; we provide linear-time algorithms to find antidirected and forbidden-transition Eulerian paths; and we characterize the complexity of new partizan variants of the Geography game on graphs.

Comments:

This paper is available as arXiv:2002.03887 and from J-STAGE.

Length:

The paper is 23 pages.

Availability:

The paper is available in PDF (2448k).

See information on file formats.

[Google Scholar search]

Related papers:

LessThanEdgeMatching_JCDCGGG2019 (Edge Matching with Inequalities, Triangles, Unknown Shape, and Two Players)