Utilisateur:Tresage/Brouillon
- → N'hésitez pas à publier sur le brouillon un texte inachevé et à le modifier autant que vous le souhaitez.
- → Pour enregistrer vos modifications au brouillon, il est nécessaire de cliquer sur le bouton bleu : « Publier les modifications ». Il n'y a pas d'enregistrement automatique.
Si votre but est de publier un nouvel article, votre brouillon doit respecter les points suivants :
- Respectez le droit d'auteur en créant un texte spécialement pour Wikipédia en français (pas de copier-coller venu d'ailleurs).
- Indiquez les éléments démontrant la notoriété du sujet (aide).
- Liez chaque fait présenté à une source de qualité (quelles sources – comment les insérer).
- Utilisez un ton neutre, qui ne soit ni orienté ni publicitaire (aide).
- Veillez également à structurer votre article, de manière à ce qu'il soit conforme aux autres pages de l'encyclopédie (structurer – mettre en page).
- → Si ces points sont respectés, pour transformer votre brouillon en article, utilisez le bouton « publier le brouillon » en haut à droite. Votre brouillon sera alors transféré dans l'espace encyclopédique.
Quelques précisions
1) Quelques remarques sur la démonstration de l'article.
Dans l'article, il est écrit que l'ensemble des nombres naturels munis de l'opération ⊕ est un groupe abélien (N ; ⊕) dont chaque élément est d'ordre 2. Cela voudrait dire que tous les éléments sont d'ordre 2, or, ce n'est pas le cas pour l'élément neutre.
Ce groupe (N ; ⊕) est d'ordre infini et est incompatible avec la relation d'ordre usuelle ≤.
Comme indiqué dans l'article, l'opposé de tout élément n est n lui-même : n⊕n = 0.
Pour tout n différent de 0, ({0 ; n} ; ⊕) est un sous-groupe d'ordre 2.
Quelques explications sur le lemme 2.
On pose yk = s ⊕ xk.
Le premier joueur prend xk − yk objets de la rangée k, ce qui revient à remplacer les xk objets par yk objets.
Dans l'article, pour calculer la "somme de Nim" t, on part de s et on retranche xk à s, c'est-à-dire que l'on ajoute l'opposé de xk, qui est xk, puis on ajoute yk.
On peut aussi calculer la somme t de la façon suivante.
On a : s = x1 ⊕ ... ⊕ xk−1 ⊕ xk ⊕ xk+1 ⊕ ... ⊕ xn ;
d'où : t = x1 ⊕ ... ⊕ xk−1 ⊕ yk ⊕ xk+1 ⊕ ... ⊕ xn ;
t = x1 ⊕ ... ⊕ xk−1 ⊕ (s ⊕ xk ) ⊕ xk+1 ⊕ ... ⊕ xn ;
t = s ⊕ ( x1 ⊕ ... ⊕ xk−1 ⊕ xk ⊕ xk+1 ⊕ ... ⊕ xn) ;
t = s ⊕ s donc t = 0.
2) Remarques sur les jeux à stratégie gagnante.
On se restreint ici aux jeux pour lesquels il y a deux types de situations TA et TB et deux joueurs JA et JB qui s'opposent.
En outre, on suppose que, si on est en TA, quoi qu'on fasse, l'adversaire sera en TB et lorsque l'on est en TB, il faut que l'on puisse mettre l'adversaire en TA.
Le graphe correspondant à ce type de jeu comporte deux nœuds, TA et TB avec une flèche partant de TA vers TB et deux flèches partant de TB, l'une allant vers TA et l'autre retournant vers TB.
On considère qu'il y a une stratégie gagnante lorsqu'il y a la possibilité à partir d'une situation TB, de mettre l'adversaire en TA, et que TB soit gagnant. Les situations TA seront alors perdantes.
Il y aura une erreur ou une méconnaissance de la stratégie si on laisse l'adversaire JB en TB. JB pourra alors mettre JA en TA.
On souhaite généralement qu'il y ai en plus un moyen de décision direct pour savoir si on est en TA ou TB, et si on est en TB, comment jouer pour que l'adversaire soit en TA. Ce moyen se traduit souvent par un calcul plus ou moins simple.
Si la situation gagnante est en TA et que la situation TB offre deux possibilités, cette stratégie devient inopérante. C'est celui qui est en position TB qui a alors le choix de rester en position TB ou de mettre l'adversaire en TA. Il n'y a plus de correspondance entre les situations TA et TB et les situations perdantes ou gagnantes. Il faut alors considérer deux autres types de situations TC et TD.
Dans le jeu de Marienbad, lorsque l'on passe à la seconde version, c'est-à-dire celle où celui qui prend la dernière allumette perd, il y peu de différence entre TA et TC et entre TB et TD. De plus, les cas où la stratégie doit être modifiée possèdent une même caractéristique.
Dans certaines configurations de ce jeu, lorsqu'il n'y a qu'une allumette par rangée, le joueur qui est en TB mettra automatiquement son adversaire en TA et réciproquement. La partie est donc entièrement déterminée plusieurs coups avant la fin.
Si dans un jeu, il n'y a qu'une simple alternance entre TA et TB, l'issue est déterminée dès le départ. Tout le problème se résume alors à savoir si on part d'une situation gagnante ou perdante, ce qui limite l'intérêt d'un tel jeu.
La version du jeu de Marienbad où celui qui gagne est celui qui prend la dernière allumette a été détaillée dans l'article. Dans ce cas, la "somme de Nim" est le critère pertinent.
Lorsque s = 0, on est en TA, qui est une position perdante, et sinon, on est en TB. De TB, si on n'applique pas la stratégie, on peut éventuellement laisser l'adversaire en situation gagnante TB comme cela a été remarqué précédemment.
3) Étude de la deuxième version du jeu de Marienbad.
Dans ce cas, celui qui prend la dernière allumette est perdant.
Lorsqu'il n'y a plus qu'une allumette par rangée, si s = 0, la situation est gagnante et on a un nombre pair de lignes. Sinon la situation est perdante.
Ainsi, pour obtenir les nouvelles situations perdantes de type TC et gagnantes TD, on intervertie entre TA et TB les situations avec une seule allumette par rangée.
Lorsque l'on est dans les cas où l'on a une situation gagnante pour laquelle il y a au moins deux allumettes dans une rangée et s'il y a d'autres rangées, elles ne comportent qu'une seule allumette, alors s≠0 et si on applique la méthode de la première version, on a perdu.