Four ways of making a crease pattern, four answers
pattern-population is one function. Everything below came out of it during this
build, at arguments taken from the essays rather than invented for this page — so a figure
here is the same figure a reader meets in an essay, and when the generator changes, this
page changes with it.
At its defaults
view: "ladder", extra: "patches"
view: "ladder"
view: "redraw", draws: 60
What it checked while it drew
Collected by running this generator with a listener on the assertions, not written here. The count is how many separate times this build put that claim to the test.
- every node of the straight skeleton is equidistant from each edge that defined it, so one fold serves them all — 1 checked ×3
- every member of 5 populations is put through the five refusals in order and recorded against the first that fires — 38 patterns ×2
- 3,000 drawings at each size, each one that many segments with both ends uniform on the square ×1
- 5 by two creases cross, 1 by the letters force a loop, 6 by no ordering exists, and 26 refused by none of them ×1
- 5 by two creases cross, 6 by no ordering exists, and 22 refused by none of them ×1
- 5 of 6 cases defeat the ordering search outright, and every one of them is answered by the four cheaper tests ×1
- each construction is run to exhaustion and every row says how many patterns it is over, so a row is a complete count rather than a draw ×1
- every member of all 4 populations is consistent as it stands, so the refusal has nothing to fire on until the letters are drawn again ×1
- relettered, the populations run from 7% to 100% consistent, and the failure the test set could not show is available at once ×1
- the cost is counted in the work each test does rather than in seconds, so the ranking does not depend on the machine that measured it ×1
- the degree is held fixed across every row, so what is varying is what coincides in the vertex and nothing else ×1
- two random segments cross 23.1% of the time, and by 20 of them a drawing without a crossing has stopped happening ×1
Where it is called
Changing this generator changes every figure on this list, which is what makes the list worth publishing rather than keeping in a check script.
A population nobody chose
Five crease patterns were measured over and over because somebody had drawn five. Ninety-six drawn from a stated grid of tiling, turn and pleat width say something the five could not: nine of them have no consistent lettering at all, and the phenomenon the collection had spent so long measuring belongs to the one tiling the grid leaves out.
A population that cannot fail
Thirty-three crease patterns are kept here to run the checkers over, and every one of them has letters that agree with themselves. That is not a property of the patterns. It is a property of how they were made: each came from a construction that returns a lettering, so a test looking for letters that contradict themselves has nothing to fire on. Reletter the same thirty-three and the failure is available at once — on one member, four of sixty redraws.
Drawn by the same hand
Two straight segments dropped on a square cross about 23% of the time; four of them cross 74% of the time; twelve cross with certainty, about fifteen times over. Every crease pattern in this collection's four test populations has none — not because the checkers were catching them, but because the same rules that drew the patterns were incapable of producing one, and nothing looked until a construction finally did.
Four ways to draw a pattern
Every sentence here of the form over some crease patterns is a statement about a construction nobody declared, and it is worse than the same problem at a vertex because a pattern has a shape as well as angles. Four ways of producing a pattern that satisfies every condition disagree about how far it shrinks by a factor of twelve, about how much creasing it costs by a factor of six, and about how much of it is edge by a factor of two.
One population, four sheets
A population of patterns is a way of asking what is typical, and it has always been a population of drawings. Put the same drawings on four different sheets and the verdicts move — not because the drawings changed but because the sheet did, which means a population has two halves and only one of them was ever chosen.
The cost is in the coincidences
How big an instance is, is what a hardness statement is about, and it is the weaker predictor of what deciding one costs. Hold the degree fixed and vary only how many of a vertex's sectors are equal: the work of deciding it rises by a factor of nearly three, against a factor of two for doubling the number of creases. The expensive instances are the ones a designer draws on a grid.
The order the refusals come in
This collection can say no to a crease pattern in five ways, and they cost wildly different amounts: a sweep over pairs of creases, a pass over the vertices, a walk over the panels, a pass over the crease list, and an enumeration of every ordering of the panels. Run all five over the thirty-three patterns in the four test populations and the cheapest refuses five, the most expensive refuses six, and the three in between refuse nothing at all.
The patterns a checker is tested on
This site keeps four populations of crease patterns and runs its checkers over them, which is what makes a claim about typical instances measurable rather than rhetorical. Asked whether the members actually fold, the populations answer: thirteen of thirty-three do, six place and cannot be ordered, five cannot be placed at all, and nine are past what the search will finish.
The refusal that reads the list once
There are five ways of saying no to a crease pattern here, and their costs are two hundred and eighty-two, a hundred and twenty-six, a hundred and fifty-seven, thirty-nine thousand six hundred and twenty-one — and a search that is refused outright. On the largest patch the four cheap tests together do less work than one of them looks like it should, and the fifth cannot be started. A refusal that reads the crease list once is the only kind that scales.
Every generator · The what it costs to know field · The patterns a reader can fold