Rigid foldability is NP-hard
Author(s)
Demaine, Erik D; Ku, Jason S![Thumbnail](/bitstream/handle/1721.1/128807/403-2127-1-PB.pdf.jpg?sequence=4&isAllowed=y)
DownloadPublished version (6.394Mb)
Publisher with Creative Commons License
Publisher with Creative Commons License
Creative Commons Attribution
Terms of use
Metadata
Show full item recordAbstract
We prove NP-hardness of deciding rigid foldability, that is, whether a sheet of material can be folded by bending only at prescribed creases while all regions between the creases undergo a rigid motion, like rigid plates connected at hinges. First, given a degree-4 flat-foldable crease pattern, deciding whether exactly those creases can be flexed (with every specified crease bending nontrivially), up to a given ε accuracy, is weakly NP-complete by a reduction from Partition. Second, given a crease pattern, deciding whether there is a rigid folding bending at any nonempty subset of those creases (i.e., where each crease is optional) is strongly NP-hard by a reduction from Positive 1-in-E3 SAT. Both results hold when just looking for a small motion adjacent to the unfolded 2D state, where there is no potential for self-intersection of the material. Thus our results are quite unlike existing NP-hardness results for flat foldability of crease patterns, where the complexity originates from finding a layer ordering that avoids self-intersection. Rather, our hardness proofs exploit the multiple combinatorial behaviors of rigid foldings locally at each vertex. These results justify why rigid origami has been so difficult to analyze mathematically, and help explain why it is often harder to fold from an unfolded sheet than to unfold a folded state back to 2D, a problem frequently encountered when realizing folding-based systems such as self-folding matter and reconfigurable robots.
Date issued
2020Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer ScienceJournal
Journal of Computational Geometry
Citation
Akitaya, Hugo A. et al. “Rigid foldability is NP-hard.” Journal of Computational Geometry, 11, 1 (2020): 93-124 © 2020 The Author(s)
Version: Final published version
ISSN
1920-180X