Generator

The four letterings a small map refuses

A generator in the what it costs to know library, called 17 times across 3 essays. Below: what it draws with nothing specified and with the settings the essays give it, what it checked while drawing, and everywhere it is used.

map-windows is one function. Everything below was drawn by it when the site was last published, at settings 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.

With nothing specified

The four letterings a small map refusesThe four letterings of a three-by-three map, out of the 256 that pass every vertex, whose forced arcs close a loop, drawn as crease patterns with mountains and valleys. They are the whole of what the cheap refusal ever catches on a map of this size. Each is unchanged by a quarter turn: they are two mirror-image pinwheels, each lettered both ways.the four letterings of a three-by-three map the loop test refusesdash-dot: mountain; dashed: valley; each passes all four vertices and still has no layer orderone in sixty-four of the letterings a three-by-three map allows

view: "refused"

The four letterings a small map refusesThe four letterings of a three-by-three map, out of the 256 that pass every vertex, whose forced arcs close a loop, drawn as crease patterns with mountains and valleys. They are the whole of what the cheap refusal ever catches on a map of this size. Each is unchanged by a quarter turn: they are two mirror-image pinwheels, each lettered both ways.the four letterings of a three-by-three map the loop test refusesdash-dot: mountain; dashed: valley; each passes all four vertices and still has no layer orderone in sixty-four of the letterings a three-by-three map allows

view: "forced"

One crease at every vertex is forcedA 4-by-3 map with its creases drawn and, in the second colour, one crease at each interior vertex that the other three decide. The rest can be lettered freely, so the map has exactly two to the 11 letterings that pass every vertex.the creases a map's letters leave free, and the ones they forcesecond colour: the crease each vertex forces; grey: creases free to take either letter4 by 3: 17 creases, 6 interior verticesevery vertex needs three creases of one letterand one of the other, so its fourth is forced11 free creases: 2048 letterings

view: "exact"

Every refusal on a small map is a small refusalFor maps from two by two to four by four: creases, interior vertices, letterings that pass every vertex, how many the loop test refuses, how many of those contain a refused three-by-three window and how many do not, the share refused, and the share one would expect if each window refused one lettering in sixty-four independently.every lettering of every map to four by four, read whole and window by windowwindow estimate: one minus 63⁄64 to the power of the number of three-by-three windowsmapcreasesverticesletteringsrefusedin a windowin noneshare refusedwindow estimate2 by 24180000.00%0.00%4 by 21031280000.00%0.00%6 by 216520480000.00%0.00%3 by 31242564401.56%1.56%4 by 31762048646403.13%3.10%5 by 32281638476076004.64%4.61%4 by 42493276821122048646.45%6.11%no map two cells across is ever refused; up to five by three every refusal is a refused window; four by four is the first tohave refusals no window explains

What it checked while it drew

Collected while it drew, not written by hand. The count is how many separate times that claim was put to the test.

Where it is called

Every figure listed here is drawn by the same rule, so a mistake in the rule would be in all of them at once, and so would a correction.

A map refuses in small pieces

The one-pass refusal — a circle in the arcs a map's letters force — fires on four of a three-by-three map's 256 letterings and on none below it, and the question was how it grows. It grows by windows. Every lettering it refuses on a four-by-three or five-by-three map contains one of those four refused three-by-three patterns somewhere inside it, so the share refused is almost exactly one minus 63⁄64 to the power of the map's three-by-three windows. Four by four is the first map with a refusal no window explains, 64 of its 2,112. The rise is smooth, not sharp: a quarter at six by six, near half at eight, seven tenths at ten.

A tube refuses round itself

On a flat map the cheap refusal — a circle in the arcs a lettering forces — is almost entirely local: small windows of the map explain all but a sliver of it. Glue the map's left edge to its right and the windows still refuse at exactly the rate their number predicts, counted across the seam. But a new refusal appears that no window can contain, a circle that goes once round the tube. It refuses half of every lettering of a tube two panels round, over half of one four round, a quarter at six, and it falls by about half with every two panels of circumference while the tube's length hardly matters.

The long circles go round the middle

A four-by-four map has 64 letterings the one-pass refusal catches with no three-by-three pinwheel anywhere in them, and they are not larger pinwheels. They are four shapes, sixteen versions of each, none unchanged by any turn or mirror, and every one is a circle of twelve creases running round the middle of the map. Read the same way on larger maps, every refusal is a circle round some rectangle of panels, and it needs the whole of that rectangle: one in 64 three-by-three rectangles closes one, one in 512 four-by-fours, and rectangles three cells across close nothing a pinwheel does not. Two window sizes explain all but 0.07 per cent of a twenty-by-twenty map's letterings.

All the figures · The what it costs to know field · The patterns a reader can fold