Box Pleating is Hard

Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9943)


Flat foldability of general crease patterns was first claimed to be hard for over twenty years. In this paper we prove that deciding flat foldability remains NP-complete even for box pleating, where creases form a subset of a square grid with diagonals. In addition, we provide new terminology to implicitly represent the global layer order of a flat folding, and present a new planar reduction framework for grid-aligned gadgets.



This work was begun at the 2015 Bellairs Workshop on Computational Geometry, co-organized by Erik Demaine and Godfried Toussaint. We thank the other participants of the workshop for stimulating discussions, and to Barry Hayes for helpful comments leading to some simplifications. The research of H. Akitaya was supported by NSF grant CCF-1422311 and Science without Borders. The research of T. Hull and T. Tachi were respectively supported by NSF grant EFRI-ODISSEI-1240441 and the JST Presto Program.


  1. [ABD+04]
    Arkin, E.M., Bender, M.A., Demaine, E.D., Demaine, M.L., Mitchell, J.S.B., Sethia, S., Skiena, S.S.: When can you fold a map? Comput. Geom. Theory Appl. 29(1), 23–46 (2004)MathSciNetCrossRefzbMATHGoogle Scholar
  2. [BDDO10]
    Benbernou, N.M., Demaine, E.D., Demaine, M.L., Ovadya, A.: Universal hinge patterns to fold orthogonal shapes. In: Origami\(^5\), pp. 405–420. A.K Peters, Singapore, July 2010Google Scholar
  3. [BH96]
    Bern, M., Hayes, B.: The complexity of flat origami. In: Proceedings of the Seventh Annual ACM-SIAM Symposium on Discrete Algorithms SODA 1996, pp. 175–183. Society for Industrial and Applied Mathematics, Philadelphia, PA, USA (1996)Google Scholar
  4. [DFL10]
    Demaine, E.D., Fekete, S.P., Lang, R.J.: Circle packing for origami design is hard. In: Origami\(^5\), pp. 609–626. A.K Peters, Singapore (2010)Google Scholar
  5. [DO07]
    Demaine, E.D., O’Rourke, J., Algorithms, G.F.: Linkages, Origami, Polyhedra. Cambridge University Press, Cambridge (2007)CrossRefzbMATHGoogle Scholar
  6. [Rob77]
    Robertson, S.A.: Isometric folding of Riemannian manifolds. Proc. Roy. Soc. Edinburgh 79(3–4), 275–284 (1977)MathSciNetzbMATHGoogle Scholar
  7. [Sch78]
    Schaefer, T.J.: The complexity of satisfiability problems. In: Proceedings of the Tenth Annual ACM Symposium on Theory of Computing, pp. 216–226. ACM (1978)Google Scholar

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  1. 1.Tufts UniversityMedfordUSA
  2. 2.NASAWashington, D.C.USA
  3. 3.MITCambridgeUSA
  4. 4.Saitama UniversitySaitamaJapan
  5. 5.Western New England UniversitySpringfieldUSA
  6. 6.The University of TokyoTokyoJapan
  7. 7.JAISTNomiJapan

Personalised recommendations