Subtraction — the series
-
Take one, three or four
A heap and a list of legal takes. It is the smallest interesting impartial game there is, and the only family in the subject where eventual periodicity is not observed, not conjectured, but guaranteed — with a bound on when it must appear.
-
The period is small and the proof does not say so
Every subtraction game repeats eventually — that is a theorem, and its proof gives a bound of sixteen thousand for a three-move set. Over 112 sets the longest period measured is twenty-two. The proof and the fact are four orders of magnitude apart, and the rule of thumb that closes the gap is broken by one set in the sweep.
-
Two takes, one line
A subtraction game with two legal takes, a and b, has a Grundy sequence that fits in one sentence: cut the heap's remainder modulo a + b into blocks of a, alternate nought and one, and turn every even block at or past b into a two. The proof is three cases long and holds for every pair. Add a third take and the sentence has no successor — but it does not vanish. The period of a three-take game is a sum of two of its takes six times in seven, which sum is decided by the third take's remainder modulo the first two's period, and the long irregular periods cluster on the one arrangement where the third take is the other two added together.
-
The third take is the other two
A subtraction game whose third take is its first two added together was where the long irregular periods of three-take games clustered, and the question was whether that one arrangement has a formula or is where the formulas stop. It has one. Divide out any common factor and look at the heap one short of the middle take: if it would be a loss when only the smallest take is allowed, the period is the smallest take times twice the middle take plus a remainder, otherwise it is short and the whole sequence is two bands of blocks. The formula gives the exact period of every one of the 3,160 games to eighty.