Tractable restriction — where it appears
Named by 2 essays across 2 fields — each of them below, with the objects they name alongside it.
A strip is decidable
Take the same problem down one dimension and it stops being hard. The reason is not that strips are small — it is that overlaps on a line form a chain, and chains cannot contain the cycles that make the two-dimensional question intractable.
The easiest strip needs the deepest reach
The patient machine and the machine that may choose are the two ends of one number: how many layers of the pile a machine is allowed to hold. At one it reaches four states whatever the strip; at the pile's full depth it reaches everything. In between it is a machine nobody has defined, and measuring where completeness arrives inverts these essays' own ordering — the evenly creased strip, which the machine that takes everything folds perfectly, needs the deepest reach of all, and one uneven strip is complete at two.
Named alongside it
The objects these essays reach for when they reach for this one.
DecidabilityLayer orderingThe machine modelMap foldingOne-dimensional foldingReachabilitySimple foldabilityStackingStamp folding