Constraint propagation — where it appears
Named by 21 essays across 7 fields — each of them below, with the objects they name alongside it.
The pieces without the list
The letterings a pattern folds in fall into pieces no folder can cross, and the count was found by writing every lettering down — which stops at eighteen creases. The Miura has thirty-eight, the Yoshimura eighty-six, and the number of pieces can be read off the drawing without listing anything: four million and two hundred and eighty-one million million.
The tiling the unit could not promise
Every twist on this site carries the same caveat: the unit is verified and the plane is not, because deciding a whole pattern is intractable. There is one thing about a whole pattern that costs a single pass over its crease list, and it says no. The square twist tiling was drawn with a lettering that contains a loop of twenty-eight panels, so the patch on this site had no flat folded state at all — and only seven of forty independent redraws avoid one.
Cutting a patch out of a plane
A tessellation is infinite and a sheet is not, so every picture of one is a decision about where the paper stops. Assembling whole twist units on a square and running the outstanding pleats to the rim puts 12, 18, 12 and 5 creases across other creases on four of five tilings; generating the pattern over a larger region and clipping it puts none. The panels then place exactly — and what is waiting behind the repair is a different refusal that could not be asked about before.
The lettering nobody could draw
Two hundred letterings drawn at random from the rhombille tessellation patch, and not one of them agrees with itself. Two thousand, and still not one. The patch was left as an open question — and it has an answer, found in five hundred and sixty-one steps by a search that tests the arcs while it is choosing the letters instead of after it has chosen them all.
Which condition does the refusing
A search for a lettering carries five conditions: developability, Kawasaki, Maekawa, the big-little-big lemma, and the demand that the arcs the letters force have no circle in them. Run it on five tessellation patches and count what makes it take a letter back. The four everybody checks refuse nothing at all. Every single backtrack is the fifth.
Which choice the cost lives in
A backtracking search takes two decisions at every step — which thing to decide, and what to decide about it. The literature is almost entirely about the first. On these crease patterns the whole of the cost was in the second, and the structural improvement everybody reaches for first makes matters worse on fifty-two patterns out of eighty-seven.
A corrugation never backtracks
As a box-pleating grid goes from two divisions to sixteen, the share of random letterings that agree with themselves falls from a hundred in a hundred to one. The cost of finding one that does stays at exactly one step per panel — four, nine, sixteen, twenty-five, and two hundred and fifty-six — with not a single wrong guess anywhere in the family.
A crumple has no tail
The least structured crease pattern this collection can produce is a sheet folded at random and flattened. Its consistent letterings get rarer as it deepens — thirty-four of forty down to eleven — and finding one costs one step per panel from beginning to end, with no wrong guess anywhere. Disorder and difficulty turn out to be unrelated quantities.
A search with nothing to reorder
One search on a crease pattern costs eighty steps or fifteen thousand depending on the order it takes its decisions in. The other search on the same crease pattern costs 1,188,571 steps whatever order it is given — twelve permutations of the panels, twelve identical counts. The difference between them is one line of code that neither has and one has.
The edge is what makes it hard
Grids, crumples, leaves, corrugations and fold-and-cut patterns all give up a consistent lettering at one step per panel with no wrong guess anywhere. The one family that does not is a tessellation clipped to a square, and what separates it from the others is not disorder, not size and not irregularity. It is having a rim.
The plant's pattern is not a hard case
A hornbeam leaf packs into its bud by corrugating, and the pattern it uses gives up a consistent lettering at nine, twelve, fifteen, eighteen, twenty and twenty-four steps on nine, twelve, fifteen, eighteen, twenty and twenty-four panels. Nothing about the plant's problem is combinatorially difficult, and saying so is worth as much as finding a case that is.
What the rim was doing
One rectangle of a twist tessellation, cut out of the plane in the ordinary way, gives up a consistent lettering in forty-eight steps. Join its opposite edges so that no crease is divided and the same drawing, at the same vertices, under the same conditions, takes fifty-six thousand seven hundred and seventy-two. The edge of the paper was never the difficulty. It was the slack.
One step per panel is a table size
Four families of crease pattern search at exactly one step per panel — a grid at nine sizes, a leaf, a Miura, six crumples — and it was read as a law about patterns that fill their own sheet. It is a number: the conditions at each of their vertices admit eight labellings. Where the conditions admit four, the cost is half. Where they admit thirty, it moves again, and the same pattern at two proportions demonstrates it with everything else held still.
Six creases and the same straight line
The one family here whose vertices are degree six was said to break the arithmetic that every other family obeys, on the strength of a single pattern. Built as a family — six sizes from twenty-one panels to a hundred and nineteen — the Yoshimura is exactly as linear as a grid, with no decision ever withdrawn. What degree changes is the constant, and it changes it in both directions depending on one angle.
A knife edge nine decimals wide
Draw the Yoshimura with its rows 1.7320508 half-columns tall and each vertex admits thirty labellings and the pattern costs fifty-seven steps. Draw it at 1.7320509 and each admits eight and it costs nineteen. The number between them is √3, which is the proportion everybody draws — and below it the sectors are unequal and the lemma is still silent, because the small ones sit next to each other.
Pruning on proofs alone
A search that discards a branch it cannot prove wrong is not a search. Deciding whether a periodic pattern's layer relations really contradict themselves is far dearer than the disc's one-pass test, so the cheap test is asked first — it is sufficient, so it settles almost everything — and the expensive one runs only on what the cheap one rejects. Five of nine steps on a small cell, fifty thousand of fifty-seven on a large one.
The cost of proving something false
A search closing its whole tree is the strongest result this collection can produce, and on a glued tessellation it produces one that is wrong. What it costs to reach is three steps at one period, thirty-five at four, three thousand four hundred and fifty-five at nine, and more than two hundred thousand at sixteen — growing far faster than the cost of finding the lettering it says does not exist.
The edge was not what made it hard
Five families of pattern searched at one step per panel and a tessellation patch did not, and the property left standing after four alternatives were killed was having a rim. Measured under a fixed letter order the patches cost between a half and two-thirds of a step per panel, at every tiling and every size — below the line rather than above it, and the rim is why.
The designer's grid is the dearest thing here
Two hundred and fifty-six panels of box-pleating grid take two hundred and fifty-six search steps to letter — exactly one per panel, at every size from two divisions to sixteen, with not one decision withdrawn. That is the most any pattern in this collection costs per panel of paper. A twist tessellation costs half of it, and a tilted corrugation a quarter.
Nothing grown was cut out of anything
A leaf's corrugation costs twelve steps on twelve panels, sixteen on sixteen, twenty on twenty, twenty-four on twenty-four — exactly one per panel at every geometry, which is the most any pattern here costs. A tessellation patch costs half that, and the reason is that somebody cut it out of something. A leaf's creases stop at the margin because the plant stopped there.
Half the slack
Gluing one pair of a cell's edges removes half the free letters and costs almost nothing. Gluing the second pair removes the other half and costs three orders of magnitude. The letters go linearly and the search does not, and the reason is that the last free letter is worth more than all the others.
Named alongside it
The objects these essays reach for when they reach for this one.
Search costAssignmentCorrugationPanelInterior vertexSearchTessellationCrease patternLayer orderBoundaryBoundary vertexConstraint