Generator

What the symmetry is worth, count by count

A generator in the designing a base library, called 22 times across 4 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.

symmetric-packing 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

What the symmetry is worth, count by countHow far the symmetric search falls short of the free one, as a fraction of the radius, at equal effort. Above the line the constraint costs something real; below it the constraint has made the search easier than the freedom did.2345678910-0.15-0.1-0.0500.050.10.15discsshortfall of the symmetric search14.6%1.7%0.0%-0.0%5.6%0.5%10.8%10.4%4.7%symmetry: mirror · both searches at 90 restartsneither number is a proved optimum — this compares two searches

view: "yardstick", restarts: 120

Both searches against the best packing knownFrom 10 to 20 discs, how far short of the best packing known the free search falls at 120 restarts, as a line, and how far the best of the three symmetric searches falls at the same effort, as dots coloured by the symmetry that did best. The free search falls steadily further behind; the symmetric searches mostly do not.how far each search is from the best packing knownboth at 120 restarts of 6,000 steps; nothing below zero is possible02461011121314151617181920discsshort of the best packing known, per centthe free searchbest: a mirrorbest: a half-turnbest: a quarter-turn

view: "track", restarts: 120

The lead is bounded by the missFor each count from 10 to 20 discs, how far the free search falls short of the best packing known, against how far the best of the three symmetric searches is ahead of it, at the same effort. No point can lie above the diagonal, because a constrained search cannot beat the optimum; the points near it are counts where the symmetric search found the optimum and the free one did not.what the symmetric search gains, against what the free search missedthe diagonal is the ceiling: a lead equal to the whole shortfall means the optimum was found050246free search's shortfall from the best known, per centbest symmetric search's lead over it, per cent201917181514131112

view: "tightened", restarts: 120

The free search had found the arrangementFor eleven to twenty discs, how far the free search's packing falls short of the best packing known as the search returned it, and after tightening it to the exact arrangement it was heading for, beside the best symmetric search's packing tightened the same way. Most of the free search's shortfall is arrangement found and not finished.how far short of the best packing known each search's packing is, before and after tighteningboth searches at 120 restarts of 6,000 steps; tightening moves discs only until their contacts are exactdiscsfree, as foundfree, tightenedbest symmetric, tightenedby100.13%0.01%0.29%a half-turn110.29%0.00%1.38%a half-turn120.29%0.00%0.00%a half-turn131.13%0.01%0.01%a quarter-turn141.17%0.00%0.89%a half-turn151.59%1.22%1.47%a mirror160.00%0.00%0.00%a mirror173.10%0.17%1.10%a mirror183.08%0.40%0.00%a half-turn193.19%0.75%1.77%a half-turn206.07%0.00%1.86%a half-turn

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.

Equal effort was counted in steps

A circle-packing search required to be symmetric was found to beat a free search of the same effort, and the reason given was that a smaller space is easier to search. Past eleven discs the test gets sharp: the free search falls behind the best packings known, 0.13 per cent at ten discs and 6.07 at twenty, and a symmetric search leads it by as much as 4.18. But tighten the free search's packings to the arrangement they were heading for and most of that shortfall disappears — at twenty discs, all of it. Give the free search twice the steps and the lead reverses. The effort was equal in steps and unequal in what a step does: a symmetric search moves half as many coordinates, so each is moved twice as often.

The corner is worth four times the middle

A flap consumes every point of paper within its own length of its tip — but only the paper that is actually there. On an edge of the sheet that is half a disc, and in a corner a quarter, so the same flap costs four different prices depending on where it stands and the boundary is the cheapest paper on the sheet.

The shapes the optimum has

Requiring a circle packing to be its own mirror image halves the number of coordinates a search has to find, so the same effort covers a much smaller space. Whether that helps depends on something the search cannot know in advance — whether the best packing was symmetric — and measured flap count by flap count the answer alternates without a pattern anybody could use.

When symmetry costs

Design software and designers both reach for symmetry, and for a good reason: it makes the search enormously easier. It is a heuristic and not a theorem, and how much it gives away can be measured — including the case where the optimum is symmetric about an axis nobody imposed.

All the figures · The designing a base field · The patterns a reader can fold