# The border balance

> A solved board hides a simple bookkeeping law: every colour the border hands to the interior, the interior hands straight back. Break it and you know instantly the board is wrong; obeying it, though, guarantees nothing.

- Canonical page (with interactive figures/demos): https://eternity2.dev/research/why/border-balance/
- Updated: 2026-07-02
- Topics: search-space, structure
- Source: Border edge-type balance observed in the launch summer (angwin_uk, August 2007) — https://groups.io/g/eternity2/message/2073
- Source: mjqxxxx's stronger border condition: even counts, split equally into left and right edges (August 2007) — https://groups.io/g/eternity2/message/2098
- Source: Brendan Owen's paired edge-count observation on planted sets (June 2007) — https://groups.io/g/eternity2/message/422
- Source: Hopfer's 2022 statement of the multiset-equality condition (groups.io msg 10754) — https://groups.io/g/eternity2/message/10754
- Source: Hopfer's crisp restatement: same mixture of internal images on all 56 border pieces (msg 10757) — https://groups.io/g/eternity2/message/10757

---
Look only at the seam between the outer ring of border pieces and the first
ring of interior pieces. Each edge across that seam shows one colour, counted
once from the border side and once from the interior side. In any complete
solution the two tallies are identical: the multiset of colours the border
presents inward exactly equals the multiset the interior presents outward.

Call the imbalance the **deficit**, $\Delta$: half the total mismatch between
the two tallies. A finished, correct board has $\Delta = 0$. The four known
full solutions, across four different piece sets, all satisfy it exactly. So
$\Delta > 0$ is a certificate that a board can never be completed: a real,
cheap necessary condition.

## The law, in one line

Across the border↔interior seam, the colours the border shows inward and the
colours the interior shows outward are the same multiset. Writing $A[c]$ and
$B[c]$ for the two per-colour tallies:

$$
\Delta \;=\; \tfrac{1}{2} \sum_{c} \bigl|\, A[c] - B[c] \,\bigr| \;=\; 0 .
$$

## See it on a real board

A solved 8×8 starts in balance ($\Delta = 0$). Lift a border piece and watch
which colours fall out of balance, and the deficit climb. Then try the swap
button, and watch the catch.

> **[Figure]** Interactive: the NS-1 border-balance deficit — interactive: Ns1Lab. Rendered on the canonical page (link above); not shown in this markdown export.

## The catch, and why it matters

Swapping two border pieces leaves $\Delta$ at 0. The swap moves colours around
the seam without changing either tally, so the invariant is blind to it.
Worse, on a near-solution most of the remaining errors aren't on the border
seam at all. They sit interior-to-interior, where NS-1 never looks: on
469-class boards over 85% of the unmatched edges are invisible to it.

That is the whole texture of Eternity II in miniature. A check this clean
still only ever says "definitely broken", never "definitely fine". The puzzle
resists every cheap certificate of progress.

## Is it useful, then?

Yes, as a late-search pruner. Once a solver has closed the border ring,
enforcing $\Delta = 0$ rejects 10–28% of deep dead-ends for the price of one
pass over the 56 seam edges. It is necessary-but-loose: it throws away bad
states cheaply and leaves the hard part, the interior, untouched.

## Related

- [The rare colors live on the frame](https://eternity2.dev/research/why/rare-color-geography) — Five of Eternity II's 22 colors appear only along the border ring, each on exactly 24 edges, never once in the interior. A structural split that shapes how every solver treats the frame.
- [Forbidden patterns](https://eternity2.dev/research/why/forbidden-patterns) — Almost every small patch of pieces you could build is impossible. For a 2×2 square, 99.72% of the ways to place four pieces can never be made to match.
- [No forced moves](https://eternity2.dev/research/why/no-forced-moves) — The usual way to crack a logic puzzle is to find a spot where only one piece fits, place it, and repeat. That lever doesn't exist here: every interior piece has between 73 and 137 possible neighbours, and not one is ever pinned to a single option.