Paper by Erik D. Demaine

Reference:

Leo Alcock, Sualeh Asif, Jeffrey Bosboom, Josh Brunner, Charlotte Chen, Erik D. Demaine, Rogers Epstein, Adam Hesterberg, Lior Hirschfeld, William Hu, Jayson Lynch, Sarah Scheffler, and Lillian Zhang, “Arithmetic Expression Construction”, in Proceedings of the the 31st International Symposium on Algorithms and Computation (ISAAC 2020), Hong Kong, December 14–18, 2020, 41:1–41:15.

BibTeX

@InProceedings{ArithmeticGames_ISAAC2020,
  AUTHOR        = {Leo Alcock and Sualeh Asif and Jeffrey Bosboom and Josh Brunner and Charlotte Chen and Erik D. Demaine and Rogers Epstein and Adam Hesterberg and Lior Hirschfeld and William Hu and Jayson Lynch and Sarah Scheffler and Lillian Zhang},
  TITLE         = {Arithmetic Expression Construction},
  BOOKTITLE     = {Proceedings of the the 31st International Symposium on Algorithms and Computation (ISAAC 2020)},
  bookurl       = {https://algo2020.comp.polyu.edu.hk/isaac.html},
  ADDRESS       = {Hong Kong},
  MONTH         = {December 14--18},
  YEAR          = 2020,
  PAGES         = {41:1--41:15},

  length        = {15 pages},
  withstudent   = 1,
  doi           = {https://dx.doi.org/10.4230/LIPIcs.ISAAC.2020.12},
  dblp          = {https://dblp.org/rec/conf/isaac/AlcockABBCDEHHH20},
  comments      = {This paper is also available from <A HREF="https://doi.org/10.4230/LIPIcs.ISAAC.2020.12">LIPIcs</A>, and from <A HREF="https://arxiv.org/abs/2011.11767">arXiv</A>.},
  updates       = {Some of these results were independently discovered by Motoharu Saeki and Harumichi Nishimura, and presented at the <A HREF="http://www.alg.cei.uec.ac.jp/itohiro/Games/Game180306.html#anchor19">13th Research Meeting of Combinatorial Games and Puzzles Project, 2018</A>; see <A HREF="http://www.alg.cei.uec.ac.jp/itohiro/Games/180306/180306-19.pptx">the slides for the talk &ldquo;Generalization of make10&rdquo;</A>.},
}

Abstract:

When can n given numbers be combined using arithmetic operators from a given subset of {+, −, ×, ÷} to obtain a given target number? We study three variations of this problem of Arithmetic Expression Construction: when the expression (1) is unconstrained; (2) has a specified pattern of parentheses and operators (and only the numbers need to be assigned to blanks); or (3) must match a specified ordering of the numbers (but the operators and parenthesization are free). For each of these variants, and many of the subsets of {+, −, ×, ÷}, we prove the problem NP-complete, sometimes in the weak sense and sometimes in the strong sense. Most of these proofs make use of a rational function framework which proves equivalence of these problems for values in rational functions with values in positive integers.

Comments:

This paper is also available from LIPIcs, and from arXiv.

Updates:

Some of these results were independently discovered by Motoharu Saeki and Harumichi Nishimura, and presented at the 13th Research Meeting of Combinatorial Games and Puzzles Project, 2018; see the slides for the talk “Generalization of make10”.

Length:

The paper is 15 pages.

Availability:

The paper is available in PDF (593k).

See information on file formats.

[Google Scholar search]