Abstract:We prove several hardness results on folding origami crease patterns. Flat-folding finite crease patterns is fixed-parameter tractable in the ply of the folded pattern (how many layers overlap at any point) and the treewidth of an associated cell adjacency graph. Under the exponential time hypothesis, the singly-exponential dependence of our algorithm on treewidth is necessary, even for bounded ply. Improving the dependence on ply would require progress on the unsolved map folding problem. Finding the shape of a polyhedron folded from a net with triangular faces and integer edge lengths is not possible in algebraic computation tree models of computation that at each tree node allow either the computation of arbitrary integer roots of real numbers, or the extraction of roots of polynomials with bounded degree and integer coefficients. For a model of reconfigurable origami with origami squares are attached at one edge by a hinge to a rigid surface, moving from one flat-folded state to another by changing the position of one square at a time is PSPACE-complete, and counting flat-folded states is #P-complete. For self-similar square crease patterns with infinitely many folds, testing flat-foldability is undecidable.

Band Unfoldings and Prismatoids: A Counterexample

Edge-unfolding nested prismatoids

Overlapping Edge Unfoldings for Convex Regular-faced Polyhedra

Acutely Triangulated, Stacked, and Very Ununfoldable Polyhedra

Unfolding polyhedra via tabu search

Polar Zonohedra Edge-Unfold to Nets

Edge-Unfolding Polycubes with Orthogonally Convex Layers

Unfolding Convex Polyhedra via Radially Monotone Cut Trees

Unfolding Restricted Convex Caps

All-Hexahedral Mesh Generation for Prismoid Subject to Geometry-Topology Constraints

Projection operator approach to unfolding supercell band structures

Spiral Unfoldings of Convex Polyhedra

On isometric embeddings of prisms

Extremal graphs for the odd prism

Triangulations of Prisms and Preprojective Algebras of Type A

All Polyhedral Manifolds are Connected by a 2-Step Refolding

A counterexample to prism-hamiltonicity of 3-connected planar graphs

Knots with Prism Manifold Surgeries

Computational Complexities of Folding

Multifractal characterisation of length sequences of coding and noncoding segments in a complete genome

A Parameterized Algorithm for Flat Folding