Rigid Foldability is NP-Hard

In this paper, we show that deciding rigid foldability of a given crease pattern using all creases is weakly NP-hard by a reduction from Partition, and that deciding rigid foldability with optional creases is strongly NP-hard by a reduction from 1-in-3 SAT. Unlike flat foldability of origami or flexibility of other kinematic linkages, whose complexity originates in the complexity of the layer ordering and possible self-intersection of the material, rigid foldability from a planar state is hard even though there is no potential self-intersection. In fact, the complexity comes from the combinatorial behavior of the different possible rigid folding configurations at each vertex. The results underpin the fact that it is harder to fold from an unfolded sheet of paper than to unfold a folded state back to a plane, frequently encountered problem when realizing folding-based systems such as self-folding matter and reconfigurable robots.

[1]  R. Bricard Mémoire sur la théorie de l'octaèdre articulé , 1897 .

[2]  Richard M. Karp,et al.  Reducibility Among Combinatorial Problems , 1972, 50 Years of Integer Programming.

[3]  David A. Huffman,et al.  Curvature and Creases: A Primer on Paper , 1976, IEEE Transactions on Computers.

[4]  S. A. Robertson Isometric folding of Riemannian manifolds , 1978, Proceedings of the Royal Society of Edinburgh: Section A Mathematics.

[5]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[6]  J. Borwein,et al.  On the complexity of familiar functions and numbers , 1988 .

[7]  Toshikazu Kawasaki On relation between mountain-creases and valley -creases of a flat origami , 1990 .

[8]  Marshall W. Bern,et al.  The complexity of flat origami , 1996, SODA '96.

[9]  Thomas C. Hull,et al.  Modelling the folding of paper into three dimensions using affine transformations , 2002 .

[10]  Thomas Hull Counting Mountain-Valley Assignments for Flat Folds , 2003, Ars Comb..

[11]  Thomas C. Hull Project Origami: Activities for Exploring Mathematics , 2006 .

[12]  Kurt Mehlhorn,et al.  A Separation Bound for Real Algebraic Expressions , 2001, Algorithmica.

[13]  Erik D. Demaine,et al.  Geometric folding algorithms - linkages, origami, polyhedra , 2007 .

[14]  Günter Rote,et al.  Minimum-weight triangulation is NP-hard , 2006, JACM.

[15]  Tomohiro Tachi,et al.  Rigid-Foldable Thick Origami , 2010 .

[16]  H Tanaka,et al.  Programmable matter by folding , 2010, Proceedings of the National Academy of Sciences.

[17]  Tomohiro Tachi,et al.  Freeform Rigid-Foldable Structure using Bidirectionally Flat-Foldable Planar Quadrilateral Mesh , 2010, AAG.

[18]  Simon D. Guest,et al.  Inflatable Cylinders for Deployable Space Structures , 2013 .

[19]  Thomas C. Hull,et al.  Using origami design principles to fold reprogrammable mechanical metamaterials , 2014, Science.

[20]  Larry L. Howell,et al.  Rigidly Foldable Origami Twists , 2015 .

[21]  Erik D. Demaine,et al.  Box Pleating is Hard , 2015, JCDCGG.

[22]  Tomohiro Tachi,et al.  Self-Foldability of Rigid Origami , 2016 .

[23]  D. A. Huffman,et al.  Zero-Area Reciprocal Diagram of Origami , 2016 .

[24]  Robert J. Lang,et al.  Rigid origami vertices: conditions and forcing sets , 2016, J. Comput. Geom..

[25]  Erik D. Demaine,et al.  Who Needs Crossings? Hardness of Plane Graph Rigidity , 2016, Symposium on Computational Geometry.

[26]  Harvey,et al.  Integer multiplication in time O(n log n) , 2021, Annals of Mathematics.