Heuristic — where it appears
Named by 4 essays across 3 fields — each of them below, with the objects they name alongside it.
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.
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.
What the hindsight was worth
The best restart cutoff for the one tessellation search with a heavy tail was read off a hundred and twenty measured runs, which nobody running the search could have done in advance. The universal schedule needs no such knowledge, and on the same runs it costs 3,222 nodes in expectation against 512 for the cutoff chosen by looking — a factor of 6.3, which is close to the base-two logarithm of that cutoff, as the theory of the schedule says it should be. A larger unit brings the schedule within a few per cent of the hindsight, and choosing the unit is choosing the scale the schedule was meant not to need.
A failure teaches a schedule nothing
The universal restart schedule costs 6.3 times the cutoff chosen by hindsight on the one folding search with a heavy tail, and the obvious repair is a schedule that learns its scale from the attempts it has already made. It cannot. A failed attempt costs exactly its cutoff and reports only that the run needed more, so every rule that chooses the next cutoff from its own failures writes down the same list whatever happens — a fixed schedule in disguise. On the measured runs, doubling after every failure costs at least 3.6 times the hindsight, and growing by half at least 2.4. What does come near is information from outside the run: the universal schedule given the longest search on four other patches as its unit costs 1.7 times the hindsight. The field that supplied the schedule reached the same conclusion, and answered it by watching runs from the inside.
Named alongside it
The objects these essays reach for when they reach for this one.
Search costWorst-case analysisRandomised algorithmRediscoveryRestartSearchAssignmentBacktrackingCircle packingConstraint propagationCycle spaceDesign technique