Generator

Kōnane rows, and what the recursion says they are worth

Kōnane rows, and what the recursion says they are worth
Kōnane rows, and what the recursion says they are worth. Rows of a Kōnane board with the value the game recursion computes for each. Black stones move as Left and White as Right; every move hops a stone over an adjacent enemy into the empty square beyond, taking it, and a player with no capture available loses. The values are the ordinary values of this site — numbers, stars, switches and infinitesimals — computed for a game that was played on lava rock for centuries before any of that vocabulary existed.

Rows of a Kōnane board with the value the game recursion computes for each. Black stones move as Left and White as Right; every move hops a stone over an adjacent enemy into the empty square beyond, taking it, and a player with no capture available loses. The values are the ordinary values of this site — numbers, stars, switches and infinitesimals — computed for a game that was played on lava rock for centuries before any of that vocabulary existed.

4 essays call konane-row. The drawing above is what it returns with no arguments at all; every call below passes it something, because a placement that passes nothing draws whichever member of the family the generator happens to default to rather than the one its essay argues about.

The positions it draws

50 distinct positions, harvested by running this generator again at the options each essay passed it.

PositionWorth OutcomeDrawn in
.....ox 1 L A game older than the theory
....xo. N A game older than the theory
...ox.x 1/2 L A game older than the theory · The second dimension is not the deep end
..x.xo. ↓∗ N A game older than the theory
..x/oxo/xox 0 P The two moves that are not captures
..xo.o. ↑∗ N A game older than the theory
..xo/oxox/xoxo 0 P The two moves that are not captures
..xox/oxoxo/xoxox 0 P The two moves that are not captures
.ox.x.x 1/4 L A game older than the theory · The second dimension is not the deep end
.oxo.xo 1/2 L A game older than the theory
.x...xo −1 R Independence is a claim
.x..xo. N A game older than the theory · Independence is a claim
.xo.xo. 1 | −1 N A game older than the theory
.xoo.ox 1/2 L A game older than the theory
.xoxox. −2 R A game older than the theory · The two moves that are not captures
oxox.xoxo 0 P A game older than the theory · The two moves that are not captures
x...x.x 0 P A game older than the theory · The second dimension is not the deep end
x../oxo/xox 0 P The two moves that are not captures
x.ox 1 L A game older than the theory
x.x.xo. 1/4 L A game older than the theory · Independence is a claim
x.x/.o./x.x 0 P The second dimension is not the deep end
x.xo..o 1/2 L A game older than the theory
xo. 1 L A game older than the theory
xo../oxox/xoxo 0 P The two moves that are not captures
xo.ox/ox.xo/xoxox 0 P The two moves that are not captures
xox../oxoxo/xoxox 0 P The two moves that are not captures
xox/o../xox 0 P The two moves that are not captures
xox/o.o/x.x 0 P The second dimension is not the deep end
xox/o.x/.xo N The second dimension is not the deep end
xox/oxo/..x 0 P The two moves that are not captures
xox/oxo/x.. 0 P The two moves that are not captures
xox/oxo/x.x −1 R The second dimension is not the deep end
xoxo. 2 L A game older than the theory · The two moves that are not captures
xoxo/o..x/xoxo 0 P The two moves that are not captures
xoxo/o.xo/.x.o 2 L The second dimension is not the deep end
xoxo/ox../xoxo −1 R The two moves that are not captures
xoxo/ox.x/xoxo 0 P The second dimension is not the deep end
xoxo/oxox/..xo 0 P The two moves that are not captures
xoxo/oxox/xo.. 0 P The two moves that are not captures
xoxo/oxox/xoxo 0 P The second dimension is not the deep end
xoxox/o..xo/xoxox −1 R The two moves that are not captures
xoxox/ox..o/xoxox −1 R The two moves that are not captures
xoxox/ox.xo/xo.ox 0 P The two moves that are not captures
xoxox/ox.xo/xoxox 0 P The two moves that are not captures
xoxox/oxoxo/..xox 0 P The two moves that are not captures
xoxox/oxoxo/xox.. 0 P The two moves that are not captures
xoxox/oxoxo/xox.x −1 R The two moves that are not captures
xoxox/oxoxo/xoxox 0 P The two moves that are not captures
xoxoxoxo. 4 L A game older than the theory
xxx.xo. 1/2 L A game older than the theory

Where it is called

Changing this generator changes every one of these figures.

Every row of 8 squares, and the 36 values they hold. A census of Kōnane rows: how many arrangements of a row of squares carry each value, with the shortest row carrying that value printed beside it. Most arrangements are worth nothing at all; the rest spread over numbers, halves and quarters, stars, switches and infinitesimals — the whole vocabulary of the theory, from a game that predates it. Out in the world

A game older than the theory

Kōnane was played on carved lava boards in Hawai‘i long before anybody wrote a brace notation, and its rule for losing is the normal-play convention arrived at some centuries early. Evaluate a row of it and the answers are halves, quarters, stars and infinitesimals — the theory's whole vocabulary, out of a game that was not built to display any of it.

A boundary drawn, and a boundary there. One Domineering board split two ways. Above, a line imagined down the middle: the two halves are evaluated separately and their sum is not the value of the board, because every horizontal domino that would have crossed the line has been thrown away. Below, the same column blocked out: the halves are then genuinely independent and the sum is exact. Every value is computed from its own board. Sums and comparison

Independence is a claim

Splitting a position into parts and adding the values is the whole method of this subject, and the splitting step is a claim about the position rather than a fact about the drawing. Where it is false the two answers differ — and the failures that matter are the ones that keep the same winner and change the value, because nothing reports those.

Why a square holds fewer values than a line. The same number of squares laid out two ways, with the number of places a hop can start, the longest chain one can run, and the number of distinct values every arrangement of that shape produces. A hop needs three squares in a line, so a long row supplies more of them than a compact rectangle of the same area — and the value counts follow. The second dimension is not the way to reach the deeper values, which is the opposite of what the rung below expected. Out in the world

The second dimension is not the deep end

The rung below says a row of eight reaches every corner of the vocabulary and goes far into none of them, and that the narrowness is a fact about the board. So the obvious next move is a rectangle — and nine squares in a square hold twenty-five values where nine squares in a line hold fifty-eight. The geometry says why before any stone is placed.

The only two moves in Kōnane that are not captures. A filled Kōnane board with every opening Black may play marked on it, and the value of the position White's best reply leaves. The opening is the one place in the game where a player removes a stone rather than capturing with one, so it is played under a different rule from everything after it — and the choice is worth a computed amount rather than nothing. Out in the world

The two moves that are not captures

Kōnane begins from a full board and the first two moves lift stones rather than take them, which is the only time in the whole game anybody does. Nothing on this site applies to them, and the choice is not free — on a 3 × 5 board two of Black's eight openings leave a position a whole move worse than the other six, and on a 3 × 3 board none of the five does.

The whole library · The position index · The figures that play back