***Request**: please, leave my notation alone.* --------------- --------------- Everything below is VERY SIMPLE while writing it down was still a tough challenge for me (*the introduced terminology may be used in a follow up, under much more general circumstances*). **The board:** I'll represent the GO (weiqi) board as $$ \{(x\ y)\in\mathbb Z^2:\ \max(|x|\,\ |y|)\ \le\ 9\} \ \subseteq\ \mathbb Z^2 $$ It's smoother to define the game for the entire $\ \mathbb Z^2.\ $ Then one can show that only a small part of it -- actually, a small part of the GO board -- is sufficient for catching the sole black stone. We assume the Manhattan metrics in $\ \mathbb Z^2$: $$ \forall_{(u\ v)\ (x\ y)\in\mathbb Z^2}\quad d((u\ v)\,\ (x\ y))\ :=\ |x-u| + |y-v|\qquad $$ There are the obvious exactly eight **linear** isometries of $\ \mathbb Z^2.$ ------------------------------------- **GAME** A **position** is an arbitrary ordered pair $\ P\ :=\ (b\ X)\ $ such that $\ X\subseteq\mathbb Z^2\ $ is finite, and $\ b\in\mathbb Z^2\setminus X.$ Position $\ \mathbf I\ :=\ ((0\ 0)\ \ \emptyset)\ $ is, by definition, the ***initial position***. An ***odd-move***, also called a ***black move***, in position $\ P:=(b\ X)\ $ is an arbitrary $\ c\in\mathbb R^2\setminus X\ $ such that $\ d(b\ c)=1.\ $ The resulting position is defined as $\ Q:=(c\,\ X).$ An odd-move $\ c\ $ is said to be ***original*** $\ \Leftarrow:\Rightarrow\ c\ $ is different from all previous moves. An ***even-move***, also called a ***white move***, in position $\ P\ $ is an arbitrary $\ y\in\mathbb Z^2\setminus\{b\}.\ $ The resulting position is defined as $\ Q:=(b\ Y),\ $ where $\ Y:=X\cup\{y\}.\ $ (Even-move $\ y\in X\ $ would be silly but legal). A ***game-score*** is an arbitrary finite or infinite maximal (non-extensible) sequence of consecutive positions $\ G\ :=\ (P_0\ P_1\ \ldots),\ $ where three conditions are satisfied: - $ P_0 := \mathbf I; $ - each position $\ P_{2\cdot n+1}\ $ is a result of an odd-move (done by the sole black stone); - each position $\ P_{2\cdot n}\ (n>0)\ $ is a result of an even-move (done by adding a white stone, if any). ***Remark 1** every finite game-score ends in an odd-indexed position.* The set $\ T(G):=\{(0\ 0)\}\cup\{b_{2\cdot n}:\ n=0\ 1\ldots\}\ $ of all odd-indexed positions of $\ G,\ $ plus the origin, is called the ***trace*** of game $\ G.$ ------------- **Winning:** Let $\ W\subseteq\mathbb Z^2\ $ be an arbitrary finite set. Game $\ G\ $ is $W$-won (by white stones) $\ \Leftarrow:\Rightarrow\ T(G)\subseteq W\quad $ (white stones can be played outside of $W\ $ (!)) Set $\ W\ $ is a winning domain $\ \Leftarrow:\Rightarrow\ $ the player of the white stones has a strategy, call it $W$-strategy, under which every game is $W$-won (regardless of the choice of the black stone moves). If finite $\ W\ $ is not a winning domain then we say that the black stone defeats $\ W.$ **Theorem 1** If the black stone defeats finite $\ W\ $ then it can defeat $\ W\ $ by playing original moves only. Actually, a stronger theorem holds. We say that odd move $\ c\ $ that leads to position $\ P_{2\cdot n+1}:=(c\ Y)\ $ ***stumbles*** $\ \Leftarrow:\Rightarrow c=(0\ 0)\ $ or there exists an earlier position $\ P_{2\cdot k+1}:=(b\ X)\ \ (k<n),\ $ and a linear isometry $\ S:\mathbb Z^2\to\mathbb Z^2\ $ such that - $\ S(W)=W,\ \ $ and - $\ X\subseteq S(Y).$ **Theorem 2** If the black stone defeats finite $\ W\ $ then it can defeat $\ W\ $ without ever stumbling. **Remark 2** Consider black stone's move $\ c\ $ such that there is only one nearest neighbor point that is not occupied by white stones. Then the white stone player wins immediately by setting a new white stone on the point that was left by the black stone just a moment ago. **Remark 3** Consider black stone's move $\ c\ $ such that there are exactly two nearest neighbor points that are not occupied by white stones. Then the white stone player can force the black stone into a repetition (hence stumbling) of its previous move by playing a new white stone onto the unoccupied nearest neighbor of $\ c\ $ different from the previous black stone move (one before $\ c$). **Theorem 3** If the black stone defeats finite $\ W\ $ then it can defeat $\ W\ $ without ever stumbling, and by playing moves $\ c\ $ such that there are (at the time) at least three nearest neighbors of $\ c\ $ that are not occupied by white stones. ----------------- **THEOREM 4** Set $$ V\ :=\ \{(x\ y)\in\mathbb Z^2:\ |x|+|y|\le 3\} $$ is a $25$-point winning domain. (*See the proof below*). *I'll present a (natural) $V$-strategy against which the black stone has essentially **only one non-nonsense defense***. ----------------- **Proof** We have $\ P_0=\mathbf I.\ $ Due to the symmetry of $\ V,\ $ we may assume that $$ P_1\ :=\ (\,(1\ 0)\ \ \emptyset\,) $$ Let me play white stones, I am playing $\ (2\ 0)\ $ hence $$ P_2\ :=\ (\,(1\ 0)\ \ \{(2\ 0)\}\,) $$ Black move back to $\ (0\ 0)\ $ would create a position inferior to $\ \mathbb I.\ $ Up to a symmetry, only one black move $\ (1\ 1)\ $ is left: $$ P_3\ :=\ (\,(1\ 1)\,\ \{(2\ 0)\}\,) $$ Now, let me play move $\ (2\ 2)\ $ hence $$ P_4\ :=\ (\,(1\ 1)\ \ \{(2\ 0)\,\ (2\ 2)\}\,) $$ Then the black stone's moves $ (1\ 0)\ $ and $\ (1\ 0)\ $ would stumble, and $\ (2\ 1)\ $ would have only two unoccupied nearest neighbors. Thus, only one move $\ (2\ 1)\ $ is left: $$ P_5\ :=\ (\,(1\ 2)\ \ \{(2\ 0)\,\ (2\ 2)\}\,) $$ Now, I am forced to play $\ (1\ 3),$ $$ P_6\ :=\ (\,(1\ 2)\ \ \{(2\ 0)\,\ (2\ 2) \,\ (1\ 3)\}\,) $$ Here, the black stone has only one non-stumbling move $\ (0\ 2),$ $$ P_7\ :=\ (\,(0\ 2)\ \ \{(2\ 0)\,\ (2\ 2) \,\ (1\ 3)\}\,) $$ Thus, let me play $\ (0\ 3),$ $$ P_8\ :=\ (\,(0\ 2)\ \ \{(2\ 0)\,\ (2\ 2) \,\ (1\ 3)\,\ (-\!1\ 3)\}\,) $$ In the view of the earlier remarks, there is only one non-nonsense black stone's move $\ (-\!1\ 2),$ $$ P_9\ :=\ (\,(-\!1\ 2)\ \ \{(2\ 0)\,\ (2\ 2) \,\ (1\ 3)\,\ (-\!1\ 3)\}\,) $$ Now, move $\ (-\!2\ 2)\ $ is forced, $$ P_{10}\ :=\ (\,(-\!1\ 2)\ \ \{(2\ 0)\,\ (2\ 2) \,\ (1\ 3)\,\ (-\!1\ 3)\,\ (-\!2\ 2)\}\,) $$ Then the only black stone's non-stumbling move is $\ (-\!1\ 1),$ $$ P_{11}\ :=\ (\,(-\!1\ 1)\ \ \{(2\ 0)\,\ (2\ 2) \,\ (1\ 3)\,\ (-\!1\ 3)\,\ (-\!2\ 2)\}\,) $$ Finally, let me play $\ (-\!2\ 0), $$ P_{11}\ :=\ (\,(-\!1\ 1)\ \ \{(2\ 0)\,\ (2\ 2) \,\ (1\ 3)\,\ (-\!1\ 3)\,\ (-\!2\ 2)\,\ (-\!2\ 0)\}\,) $$ Here the black stone doesn't have any non-nonsensical moves. **END of Proof**