What the symmetry is worth, count by count
symmetric-packing 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
sym: "c4", view: "pair", n: 4
view: "which-n", sym: "mirror", counts: [2, 3, 4, 5, 6, 7, 8, 9, 10, 11]
view: "which-n", sym: "c2", counts: [2, 3, 4, 5, 6, 7, 8, 9, 10, 11]
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.
- at 4 discs the free search reaches 0.25000 and the symmetric one 0.25000 ×5
- over 9 disc counts the symmetric search falls as much as 14.6% short and as much as 0.02% ahead ×3
- requiring a c2 arrangement matched or beat a free search of the same effort at 3 of 10 flap counts, and cost more than one per cent at 4 ×2
- requiring a mirror arrangement matched or beat a free search of the same effort at 1 of 10 flap counts, and cost more than one per cent at 7 ×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.
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.
Every generator · The designing a base field · The patterns a reader can fold