From 1ac78b90e5d7e554d0ccd9df24ba4bd768879e13 Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Fri, 29 Jan 2016 13:35:28 +0100
Subject: Slight change of notation/convention on forfeiting games.

---
 notes-mitro206.tex | 23 +++++++++++------------
 1 file changed, 11 insertions(+), 12 deletions(-)

(limited to 'notes-mitro206.tex')

diff --git a/notes-mitro206.tex b/notes-mitro206.tex
index ac9033a..dc53cfb 100644
--- a/notes-mitro206.tex
+++ b/notes-mitro206.tex
@@ -364,7 +364,7 @@ les entiers naturels.  À la fin, on a bien sûr $\bigcap_{n=0}^{\infty}
 U_n = \bigcap_{n=0}^{\infty} V_n$ : on dit qu'Uriel gagne le jeu si
 cette intersection est vide, Vania le gagne si elle est non-vide.  On
 peut se convaincre que si $X = \mathbb{Q}$, alors Uriel possède une
-stratégie gagnante, tandis que si $X = \mathbb{R}$ c'est Vivien qui en
+stratégie gagnante, tandis que si $X = \mathbb{R}$ c'est Vania qui en
 a une.
 
 \thingy\label{introduction-graph-game} Le jeu d'un graphe : soit $G$
@@ -1345,10 +1345,10 @@ que cela signifie que $x_0$ appartient à la partie bien-fondée
 \begin{defn}
 Pour un jeu $G$ comme
 en \ref{definition-impartial-combinatorial-game}, une
-\textbf{stratégie} est une fonction $\varsigma$ de $G$ vers $G \cup
-\{\bot\}$ (où $\bot$ signifiant « forfait » ou « non-défini », est un
-symbole n'appartenant pas à $G$) telle que $\varsigma(x)$ soit, pour
-chaque $x$, un voisin sortant de $x$ ou bien $\bot$.
+\textbf{stratégie} est une fonction partielle $\varsigma\colon G
+\dasharrow G$ telle que $\varsigma(x)$ soit, s'il est défini, un
+voisin sortant de $x$ (s'il n'est pas défini, il faut comprendre que
+le joueur est forfait).
 
 Une \textbf{partie} de $G$ est une suite finie ou infinie $(x_i)$ de
 sommets de $G$ telle que $x_0$ soit la position initiale et que pour
@@ -1361,18 +1361,17 @@ défini pour tout entier naturel $i$ (ce qui ne peut pas se produire si
 $G$ est bien-fondé), on dit que la partie est nulle ou que les deux
 joueurs \textbf{survivent} sans gagner.  Lorsque de plus
 $\varsigma(x_i) = x_{i+1}$ pour chaque $i$ pair pour lequel $x_i$ est
-défini (et en interprétant $\bot$ comme « non-défini »), on dit
-qu'Alice a joué la partie selon la stratégie $\varsigma$ ; tandis que
-si $\tau(x_i) = x_{i+1}$ pour chaque $i$ impair pour lequel $x_i$ est
-défini, on dit que Bob a joué la partie selon la stratégie $\tau$.
+défini, on dit qu'Alice a joué la partie selon la stratégie
+$\varsigma$ ; tandis que si $\tau(x_i) = x_{i+1}$ pour chaque $i$
+impair pour lequel $x_i$ est défini, on dit que Bob a joué la partie
+selon la stratégie $\tau$.
 
 Si $\varsigma$ et $\tau$ sont deux stratégies, on définit $\varsigma
 \ast \tau$ comme la partie jouée lorsque Alice joue $\varsigma$ et Bob
 joue $\tau$ : autrement dit, $x_0$ est la position initiale du jeu,
 et, si $x_i$ est défini, $x_{i+1}$ est défini par $\varsigma(x_i)$ si
-$i$ est pair et $\tau(x_i)$ si $i$ est impair (en convenant que $\bot$
-signifie que le terme de la suite n'est pas défini et que la suite
-s'arrête).
+$i$ est pair et $\tau(x_i)$ si $i$ est impair (si $x_{i+1}$ n'est pas
+défini, la suite s'arrête là).
 
 La stratégie $\varsigma$ est dite \textbf{gagnante pour Alice} lorsque
 Alice gagne toute partie où elle joue selon $\varsigma$.  La stratégie
-- 
cgit v1.2.3

