« Hex » : différence entre les versions

Données clés
Auteurs	Piet Hein; John Forbes Nash
Éditeur	Parker
Date de 1re édition	1952
Mécanisme	connexion
Joueur(s)	2
Âge	À partir de 7 ans
Durée annoncée	20 minutes

Navigation interactive dans l’historique

← Modification précédente

Contenu supprimé Contenu ajouté

VisuelWikicode

Intégrés

Dernière version du 8 juin 2024 à 13:13

Le jeu de Hex est un jeu de société combinatoire abstrait pour deux joueurs. Il se joue sur un tablier en forme de losange dont les cases sont hexagonales. Toutes les dimensions du côté du losange sont possibles, la plus traditionnelle est celle composée par 11 hexagones, mais on trouve aussi les valeurs 13 ou 19. L'un des inventeurs du jeu, John Nash, préconise un tablier de taille 14 × 14^[1]. Ce jeu possède des similarités avec le go.

Inventé par des mathématiciens, ce jeu fait uniquement appel à la logique, à l'image du go ou des échecs. Son étude est source d'inspiration, non seulement en théorie des jeux, mais aussi pour d'autres branches des mathématiques comme la topologie ou la géométrie algébrique.

Si l'on sait qu'il existe une stratégie gagnante pour le premier joueur, cette stratégie est inconnue si le tablier n'est pas de petite taille (de côté strictement plus petit que 9). La recherche de stratégies efficaces, à défaut d'une stratégie gagnante, est l'objet d'études en intelligence artificielle.

Histoire

Le premier énoncé de la règle du jeu est l'œuvre de Piet Hein lors d'une conférence en 1942 au Parenthesis, l'association des mathématiciens de l'université de Copenhague. L'auteur cherchait alors à imaginer un jeu équitable, progressif, fini, clair, stratégique et décisif. Le jeu porte alors le nom de Polygone^[2]^,^[3].

En 1948, et de manière indépendante, un jeune mathématicien de l'université de Princeton du nom de John Nash réinvente le jeu^[3] et le diffuse au Fine Hall, une salle commune aux élèves et aux professeurs du département de mathématiques. Il en perçoit l'intérêt en théorie des jeux et démontre l'existence d'une stratégie gagnante pour le premier joueur^[1]^,^[3]. Cependant, sa preuve est non constructive, c’est-à-dire qu'elle n'indique pas de stratégie gagnante^[4]. En 1952, la société Parker Brothers commercialise le jeu aux États-Unis^[2]^,^[3].

Règles du jeu

	Convention

Par convention, dans la suite de l'article, le joueur qui joue avec les pions bleus est appelé Bleu, celui qui joue avec les pions rouges Rouge.

Au début de partie, un tablier vide, illustré sur la figure de gauche, sépare deux joueurs. Ce tablier représente un losange formé par des hexagones réguliers. Chaque joueur est représenté par une couleur, bleu et rouge dans l'article, noir et blanc en général.

Les joueurs possèdent des pions à leur couleur qu'ils disposent tour à tour sur une case de leur choix et un par un. Le tablier se remplit ainsi progressivement. L'objectif d'un joueur, par exemple Bleu, est de relier les deux côtés opposés du losange symbolisés par la couleur bleue. Si la configuration des pions bleus permet la création d'une ligne continue (en blanc sur la figure) reliant un côté bleu à l'autre, Bleu a gagné et le jeu s'arrête^[5].

Une règle supplémentaire, la règle du gâteau, est parfois appliquée^[6], en particulier lors des compétitions. Si Bleu commence, il joue le premier coup. Rouge a alors le choix entre jouer à son tour ou intervertir les couleurs. Dans le 2^e cas, le joueur qui a commencé devient Rouge et joue alors son premier coup en tant que Rouge, le jeu continuant ensuite normalement. Cela impose de jouer un premier coup ni trop fort (car il donnerait un avantage au joueur adverse qui se l'approprierait) ni trop faible (il serait alors laissé par l'adversaire) et réduit l'avantage de commencer.

Stratégie

Un jeu de Hex est nécessairement fini. Dans la configuration 11 × 11 illustrée sur les figures, il existe 121 cases sur le tablier. Au bout de 61 coups joués d'une part et de 60 de l'autre, le losange est rempli. La suite de l'article montre qu'indépendamment de la manière d'avoir joué, il existe toujours un vainqueur. Le match nul n'existe pas au Hex. La preuve de ce résultat est l'œuvre de Nash^[7]. Pour contrebalancer l'avantage du premier joueur, on peut imaginer un tablier tel que les distances séparant les deux côtés opposés du losange ne soient pas égales. Il est alors simple de montrer que le joueur ayant la plus petite distance à parcourir gagne toujours, et cela indépendamment du fait qu'il commence ou non^[8].

Il existe de nombreux textes sur les différentes stratégies possibles pour gagner^[9]. Cependant les stratégies gagnantes ne sont connues que si le tablier est de dimension restreinte, c'est-à-dire jusqu'à 9 × 9^[2]. Une autre piste consiste à rechercher des heuristiques sur ordinateur pour jouer le mieux possible, sans rechercher des stratégies nécessairement gagnantes, procédant ainsi comme pour le jeu d'échecs, à l'aide de techniques de programmation issues de l'intelligence artificielle^[10]. Ces programmes sont sources de versions électroniques du jeu^[11].

Variantes de Hex

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?

Plusieurs variantes de Hex ont été étudiées. Notamment la variante Qui-perd-gagne est gagnante pour le premier joueur seulement si le tablier est de dimension paire^[12], tandis que sur les variantes où le tablier est de taille infinie, une partie jouée parfaitement se solde par une partie nulle^[12]. Les variantes asymétriques où l'un des bords du tablier est plus long que l'autre voient quant à elle la victoire du joueur ayant à construire le chemin le plus court, qu'il ait commencé ou non^[12].

Jeu de Hex et mathématiques

Stratégie et théorie des jeux

Si les rouges ne jouent pas B1 à leur premier coup, ils ne peuvent éviter une défaite en trois coups.

Jouer B1 pour les rouges en deuxième coup ne fait que retarder d'un coup l'inévitable défaite.

En théorie des jeux, le terme de stratégie possède une signification particulière. Une stratégie pour Bleu, s'il commence, indique le premier coup joué, puis le deuxième coup, en fonction du premier coup de Rouge, etc. Une stratégie gagnante assure la victoire quels que soient les choix que fait la partie adverse.

Illustrons ceci par un exemple sur un hex 3 × 3. Le tablier est numéroté de la manière indiquée sur la figure de gauche. Bleu commence et joue A3 (voir la figure de gauche). On suppose le coup B2 interdit pour commencer, sinon la victoire est trop aisée. Si Rouge ne joue, pour son premier coup, aucune des cases A1, B1 et A2, Bleu joue au deuxième tour A2. Il est alors à un coup de la victoire et il faudrait bloquer deux cases A1 et B1 pour l'en empêcher, ce qui est impossible à réaliser en un coup pour Rouge. Bleu a alors gagné. Le même raisonnement est réalisable sur les cases B1, C1 et B2 : si Rouge joue à son premier coup A1 ou A2, Bleu joue B2 et dispose encore d'une victoire assurée au troisième coup.

L'unique case à jouer en premier coup de Rouge, qui empêche la victoire en trois coups de Bleu, est B1, l'intersection des deux ensembles {A1, B1, A2} et {B1, C1, B2}. Dans ce cas, Bleu joue pour son deuxième coup C1, comme illustré sur la figure de droite. Rouge est maintenant menacé de défaite en un coup. S'il ne joue pas B2 en deuxième coup, Bleu joue B2 en troisième coup et a gagné. Si Rouge joue B2 pour le deuxième coup, Bleu joue C2 pour son troisième coup. Au prochain coup, les cases B3 et C3 lui assurent la victoire. Rouge ne peut bloquer en un unique coup deux cases, il a nécessairement perdu.

Éviter la défaite

La première partie du raisonnement montre que le joueur qui commence (supposé Bleu dans cet article) dispose d'une stratégie évitant systématiquement la défaite. La démonstration proposée ici est dite par l'absurde. On suppose le résultat faux, c'est-à-dire que Rouge dispose d'une stratégie gagnante S_r. Bleu construit alors une stratégie S_b qui lui assure la victoire. La stratégie S_b montre que S_r, ne peut être gagnante (il faudrait qu'elle le soit quelle que soit la stratégie adverse). On en déduit que Rouge ne dispose pas d'une stratégie gagnante.

La stratégie S_b consiste à jouer un premier coup à vide, par exemple A1. Ensuite, Bleu vole^[13] la stratégie S_r, en oubliant qu'il a commencé et joué A1. Le deuxième coup de Bleu est donc le premier coup de la stratégie S_r après celui qu'a joué Rouge. Bleu prolonge cette stratégie jusqu'au moment éventuel où il est amené à jouer A1. Il joue alors n'importe quoi, noté α. Il imagine alors que le premier coup oublié était α et qu'il vient de jouer A1. Bleu n'a pas quitté le scénario S_b, consistant à voler la stratégie gagnante. Comme S_r est une stratégie gagnante, la victoire est assurée pour Bleu.

Un tel raisonnement montre qu'une stratégie gagnante S_r ne peut exister. Ce qui montre que quelle que soit la stratégie de Rouge, il est possible pour Bleu d'éviter la défaite^[14].

Assurer la victoire

Le paragraphe précédent est un raisonnement de Nash. En 1948, il avait aussi montré l'existence d'une stratégie gagnante pour Bleu. La démonstration proposée ici n'est néanmoins pas de lui mais de David Gale^[15], un camarade de Nash à l'université de Princeton^[16]. Elle possède l'avantage d'être plus simple.

On suppose maintenant que Bleu suit la stratégie S_d. Une fois la partie finie, si le tablier n'est pas entièrement recouvert de pions, l'un des adversaires a nécessairement gagné. Comme cela ne peut être Rouge, c'est Bleu et le résultat est démontré. Sinon, le tablier est entièrement recouvert de pions bleus et rouges et une fois encore, Bleu a nécessairement gagné la partie. Pour s'en rendre compte, on ajoute à chacun des quatre côtés du tablier, un jeu d'hexagones, de la couleur de son joueur. Ces hexagones sont représentés en teintes claires sur la figure de droite. Les quatre sommets du nouveau losange sont notés A, B, C et D. Le principe est de construire une ligne, illustrée en vert sur la figure, qui montre la victoire de Bleu. Cette ligne démarre au sommet A, et plus exactement au sommet P₁ commun uniquement à deux hexagones ajoutés et de couleurs distinctes.

La ligne verte suit l'arête partagée par deux hexagones de couleurs distinctes. Elle se termine sur un autre sommet P₂. On prolonge cette ligne par une nouvelle arête, différente de P₁P₂ et une fois encore partagée par deux hexagones de couleurs distinctes. On remarque qu'il n'existe qu'un unique choix possible. On répète alors cette même démarche, jusqu'à ce que cela ne soit plus possible.

Cette ligne verte dispose de quatre propriétés qui montrent la victoire de Bleu. Il est impossible à la ligne verte de faire une boucle, un sommet ne peut être atteint qu'une unique fois par la ligne verte. Le seul motif d'arrêt est que la ligne verte a atteint un sommet extérieur, commun à deux hexagones ajoutés (en clair sur la figure). Ces deux hexagones sont nécessairement de couleurs différentes, c'est-à-dire qu'ils se trouvent sur un sommet du losange. Comme le sommet A est déjà pris, cette fin se situe sur l'un des sommets B, C ou D. Si l'on parcourt la ligne verte, depuis A jusqu'à sa fin, sur la proximité droite de la ligne, on ne trouve que des hexagones bleus (clairs ou foncés). Sur la proximité gauche, on ne trouve que des hexagones rouges. Cette propriété est illustrée sur la figure.

On suppose que le sommet atteint finalement par la ligne verte est celui noté D. Considérons une deuxième ligne rejoignant par des segments les centres des hexagones constituant le flanc droit de la ligne verte. Cette ligne est intégralement dans la zone bleue. Elle démarre dans la zone bleu clair située entre A et B et finit encore dans le camp bleu, mais cette fois dans la zone claire située entre C et D. Considérons la portion de cette ligne comprise entre le dernier hexagone bleu clair situé entre A et B et le premier hexagone bleu clair situé entre C et D. Cette portion de ligne est illustrée en blanc. Elle est la preuve que Bleu a gagné.

Si d'aventure, la ligne verte se termine sur le sommet B, le même raisonnement que le précédent montre que Rouge a gagné la partie. Cette configuration est impossible avec la stratégie choisie. Cela permet néanmoins de démontrer un résultat un peu plus fort que celui annoncé en début de paragraphe. Si les stratégies de Rouge et Bleu sont quelconques, il existe toujours un vainqueur. Autrement dit, le nul n'existe pas au Hex.

Le sommet C ne peut être atteint par la ligne verte. Pour s'en rendre compte, il suffit d'imaginer que l'hexagone du tablier connexe au sommet C est bleu foncé, illustré sur la figure de gauche. Cet hexagone est nécessairement à gauche de la ligne verte (parcourue dans le sens A vers C), ce qui est impossible car les hexagones situés à gauche de la ligne sont tous rouges. Si le même hexagone est rouge foncé, il est à droite de la ligne verte, ce qui est encore impossible^[17].

Cette démonstration termine la preuve du fait qu'il existe nécessairement une stratégie gagnante pour le premier joueur. En revanche, comme elle utilise un raisonnement par l'absurde, elle ne décrit pas directement de manière de s'y prendre pour effectivement jouer et toujours gagner si l'on commence. Nash exprimait en 1948 cette idée à D. Gale, qui le rapporte ainsi : « Un matin, Nash m'a dit qu'il avait un exemple de jeu où il pouvait démontrer que le premier joueur dispose d'une stratégie gagnante, mais qu'il n'avait aucun moyen pour trouver cette stratégie. »^[18]. Il s'avère en fait que le jeu est PSPACE-complet^[19]^,^[20], ce qui, modulo certaines hypothèses de théorie de la complexité, signifie que de toute façon la recherche d'une stratégie gagnante devient très rapidement impraticable quand la taille du jeu augmente^[21].

Autres champs mathématiques

Le jeu de Hex est source de démonstrations dans des branches mathématiques éloignées de la théorie des jeux. Le théorème du point fixe de Brouwer indique qu'une fonction continue d'un disque dans lui-même possède toujours un point fixe. Ce résultat se généralise aux dimensions supérieures. Autrement dit, quand on remue son café, il existe toujours un point de la surface qui n'a pas quitté sa position initiale. La démonstration de l'absence de possibilité d'un match nul au jeu de hex est une manière élégante de prouver ce résultat, ce qui constitue l'objet de l'article de David Gale de 1979. Pour être plus précis, ce que David Gale appelle le théorème du jeu de Hex et qui indique l'absence de possible match nul est un résultat équivalent au théorème du point fixe de Brouwer.

Ce théorème a des conséquences amusantes en topologie algébrique, puisqu'on peut l'utiliser pour démontrer le théorème de Jordan^[22], qui indique qu'un lacet simple dans le plan, c'est-à-dire une boucle sans point double, divise l'espace en deux parties connexes, celle intérieure à la boucle qui est bornée et celle extérieure qui ne l'est pas. Ce théorème intuitivement évident est difficile à démontrer rigoureusement. Une conséquence de ce théorème est celui de Poincaré-Bendixson, qui indique qu'une équation différentielle autonome définie par une fonction dérivable à valeurs dans un plan ne peut engendrer de situation chaotique. Cela implique que si un étang est parcouru par un courant qui ne varie pas au cours du temps, un bouchon flottant sur cet étang finit par s'immobiliser ou tourner indéfiniment dans un tourbillon.

Notes et références

↑ ^{a et b} S. Nasar, A Beautiful Mind: A Biography of John Forbes Nash, Simon & Schuster (1998) (ISBN 0684819066).
↑ ^{a b et c} T. Maarup, Hex par l'auteur d'une thèse sur le jeu de Hex.
↑ ^{a b c et d} Alain Ledoux, « Les jeux de liaison », Jeux et Stratégie, n^o 2,‎ avril-mai 1980.
↑ Cette preuve est rapportée pour la première fois par M. Gardner dansConcerning the game of hex, which may be played on the tiles of the bathroom floor, Scientific American vol. 197, p. 145-150 (1957).
↑ The Rules of Hex, par l'université de Newcastle (Australie).
↑ La règle décrite ici est en vigueur sur le site de Hex game.wtanaka.com.
↑ V. V. Anshelevich, Hex information par le site International Computer Games association.
↑ B. Enderton, Answers to infrequently asked questions about the game of Hex par le site de Carnegie Mellon School of computer science.
↑ Voir par exemple : R. Hayward, Berge and the art of Hex, University of Alberta.
↑ H. J. Van den Herik, J. W. H. M. Uterwijk et J. Van Rijswick, Games solved: Now and in the future, in Artificial Intelligence (vol. 134), 2002, p. 277-311.
↑ Un jeu en ligne par R. Kirkland : Un jeu de Hex7 en ligne, par le site Web Mazeworks.
↑ ^{a b et c} Jean-Paul Delahaye, « Stratégies pour le jeu de Hex infini », Pour la Science, n^o 560,‎ juin 2024.
↑ Le terme « voler » correspond à une traduction de l'expression anglaise the strategy stealing argument utilisée par Nash : T. Maarup, Hex, thèse de l'University of Southern Danemark (2005) p. 26.
↑ Cet argument est détaillé p. 26 de la thèse de T. Maarup, Everything You Always Wanted to Know About Hex But Were Afraid to Ask, University of Southern Denmark.
↑ Cette preuve vient de (en) David Gale, « The Game of Hex and Brouwer Fixed-Point Theorem », The American Mathematical Monthly, vol. 86,‎ 1979, p. 818–827 (DOI 10.2307/2320146, lire en ligne, consulté le 13 février 2011).
↑ T. Maarup, Everything You Always Wanted to Know About Hex But Were Afraid to Ask, University of Southern Denmark p. 18 (2005).
↑ Cette démonstration est détaillée dans : V. Ripoll, Le théorème de Brouwer, au carrefour entre discret et continu, École normale supérieure.
↑ Traduction libre d'une citation extraite de : T. Maarup, Everything You Always Wanted to Know About Hex But Were Afraid to Ask, University of Southern Denmark p. 18 (2005).
↑ Ibid, ch. 5, en particulier section 5.2.3.
↑ Shimon Even et Robert Tarjan, « A Combinatorial Problem Which Is Complete in Polynomial Space », Journal of the ACM, vol. 23, n^o 4,‎ 1976, p. 710-719 (DOI 10.1145/321978.321989, lire en ligne).
↑ Ibid., p. 34.
↑ S. Greenwood et J. Cao, Brouwer’s Fixed Point Theorem and the Jordan Curve Theorem, université d'Aukland Nouvelle-Zélande.

Voir aussi

Sur les autres projets Wikimedia :

Hex, sur Wikimedia Commons

Bibliographie

(en) C. Browne, Hex Strategy—Making the Right Connections, A. K. Peters, 2000 (ISBN 1568811179)
Jean-Paul Delahaye, « Stratégies pour le jeu de Hex infini », Pour la science, n^o 560,‎ juin 2024, p. 80-84 (présentation en ligne)

Liens externes

T. Maarup Everything You Always Wanted to Know About Hex But Were Afraid to Ask University of Southern Denmark
Un wiki dédié au Hex.
Little Golem un site où l'on peut jouer par correspondance au Hex ainsi qu'à d'autres jeux (go, échecs…)
R. Kirkland Un jeu de Hex7 en ligne par le site Mazeworks
Étude sur le jeu d'hex Une approche mathématique par Edouard Rodrigues
Hexy programme à télécharger permettant de jouer contre l'ordinateur sous Windows (4 niveaux de difficulté).
PlayHex Plateforme dédiée au Hex pour jouer en ligne contre d'autres joueurs ou contre des IA de différents niveaux

[S._Nasar_1998-1] {a et b} S. Nasar, A Beautiful Mind: A Biography of John Forbes Nash, Simon & Schuster (1998) (ISBN 0684819066).

[Maarup-2] {a b et c} T. Maarup, Hex par l'auteur d'une thèse sur le jeu de Hex.

[J&S2-3] {a b c et d} Alain Ledoux, « Les jeux de liaison », Jeux et Stratégie, n^o 2,‎ avril-mai 1980.

[4] Cette preuve est rapportée pour la première fois par M. Gardner dansConcerning the game of hex, which may be played on the tiles of the bathroom floor, Scientific American vol. 197, p. 145-150 (1957).

[5] The Rules of Hex, par l'université de Newcastle (Australie).

[6] La règle décrite ici est en vigueur sur le site de Hex game.wtanaka.com.

[7] V. V. Anshelevich, Hex information par le site International Computer Games association.

[8] B. Enderton, Answers to infrequently asked questions about the game of Hex par le site de Carnegie Mellon School of computer science.

[9] Voir par exemple : R. Hayward, Berge and the art of Hex, University of Alberta.

[10] H. J. Van den Herik, J. W. H. M. Uterwijk et J. Van Rijswick, Games solved: Now and in the future, in Artificial Intelligence (vol. 134), 2002, p. 277-311.

[11] Un jeu en ligne par R. Kirkland : Un jeu de Hex7 en ligne, par le site Web Mazeworks.

[pls560-12] {a b et c} Jean-Paul Delahaye, « Stratégies pour le jeu de Hex infini », Pour la Science, n^o 560,‎ juin 2024.

[13] Le terme « voler » correspond à une traduction de l'expression anglaise the strategy stealing argument utilisée par Nash : T. Maarup, Hex, thèse de l'University of Southern Danemark (2005) p. 26.

[Maarup26-14] Cet argument est détaillé p. 26 de la thèse de T. Maarup, Everything You Always Wanted to Know About Hex But Were Afraid to Ask, University of Southern Denmark.

[15] Cette preuve vient de (en) David Gale, « The Game of Hex and Brouwer Fixed-Point Theorem », The American Mathematical Monthly, vol. 86,‎ 1979, p. 818–827 (DOI 10.2307/2320146, lire en ligne, consulté le 13 février 2011).

[16] T. Maarup, Everything You Always Wanted to Know About Hex But Were Afraid to Ask, University of Southern Denmark p. 18 (2005).

[17] Cette démonstration est détaillée dans : V. Ripoll, Le théorème de Brouwer, au carrefour entre discret et continu, École normale supérieure.

[18] Traduction libre d'une citation extraite de : T. Maarup, Everything You Always Wanted to Know About Hex But Were Afraid to Ask, University of Southern Denmark p. 18 (2005).

[19] Ibid, ch. 5, en particulier section 5.2.3.

[20] Shimon Even et Robert Tarjan, « A Combinatorial Problem Which Is Complete in Polynomial Space », Journal of the ACM, vol. 23, n^o 4,‎ 1976, p. 710-719 (DOI 10.1145/321978.321989, lire en ligne).

[21] Ibid., p. 34.

[22] S. Greenwood et J. Cao, Brouwer’s Fixed Point Theorem and the Jordan Curve Theorem, université d'Aukland Nouvelle-Zélande.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

@@ Ligne 17 : / Ligne 17 : @@
 |physique=non |combinatoire=oui |hasard=non |info=oui
 }}
-Le jeu de '''Hex''' est un [[jeu de société]] [[jeu de stratégie combinatoire abstrait|combinatoire abstrait]] pour deux joueurs. Il se joue sur un [[tablier (jeu)|tablier]] en forme de losange dont les cases sont hexagonales. Toutes les dimensions du côté du losange sont possibles, la plus traditionnelle est celle composée par 11 hexagones, mais on trouve aussi les valeurs 13 ou 19. L'un des inventeurs du jeu [[John Forbes Nash|John Nash]], préconise un tablier de taille 14 × 14<ref name="S. Nasar 1998">S. Nasar ''A Beautiful Mind : A Biography of John Forbes Nash'' Simon & Schuster (1998) {{ISBN|0684819066}}</ref>. Ce jeu possède des similarités avec le [[Jeu de go|go]].
+Le jeu de '''Hex''' est un [[jeu de société]] [[jeu de stratégie combinatoire abstrait|combinatoire abstrait]] pour deux joueurs. Il se joue sur un [[tablier (jeu)|tablier]] en forme de [[losange]] dont les cases sont [[Hexagone|hexagonales]]. Toutes les dimensions du côté du losange sont possibles, la plus traditionnelle est celle composée par {{nobr|11 hexagones}}, mais on trouve aussi les valeurs 13 ou 19. L'un des inventeurs du jeu, [[John Forbes Nash|John Nash]], préconise un tablier de taille {{nobr|14 × 14}}<ref name="S. Nasar 1998">S. Nasar, ''A Beautiful Mind: A Biography of John Forbes Nash'', Simon & Schuster (1998) {{ISBN|0684819066}}.</ref>. Ce jeu possède des similarités avec le [[Jeu de go|go]].
-Ce jeu, inventé par des mathématiciens fait uniquement appel à la logique, à l'image du [[Jeu de go|go]] ou des [[échecs]]. Son étude est source d'inspiration, non seulement en [[théorie des jeux]], mais aussi pour d'autres branches des mathématiques comme la [[topologie]] ou la [[géométrie algébrique]].
+Inventé par des mathématiciens, ce jeu fait uniquement appel à la logique, à l'image du [[Jeu de go|go]] ou des [[échecs]]. Son étude est source d'inspiration, non seulement en [[théorie des jeux]], mais aussi pour d'autres branches des [[mathématiques]] comme la [[topologie]] ou la [[géométrie algébrique]].
 Si l'on sait qu'il existe une stratégie gagnante pour le premier joueur, cette stratégie est inconnue si le tablier n'est pas de petite taille (de côté strictement plus petit que 9). La recherche de stratégies efficaces, à défaut d'une stratégie gagnante, est l'objet d'études en [[intelligence artificielle]].
 == Histoire ==
-Le premier énoncé de la règle du jeu est l'œuvre de [[Piet Hein (physicien)|Piet Hein]] lors d'une conférence en [[1942]] au ''Parenthesis'', l'association des mathématiciens de l'Université de [[Copenhague]]. L'auteur cherchait alors à imaginer un jeu équitable, progressif, fini, clair, stratégique et décisif. Le jeu porte alors le nom de ''Polygone''<ref name=Maarup>T. Maarup ''[http://maarup.net/thomas/hex/ Hex] par l'auteur d'une thèse sur le jeu de Hex</ref>.
+Le premier énoncé de la règle du jeu est l'œuvre de [[Piet Hein (physicien)|Piet Hein]] lors d'une conférence en [[1942]] au ''Parenthesis'', l'association des mathématiciens de l'université de [[Copenhague]]. L'auteur cherchait alors à imaginer un jeu équitable, progressif, fini, clair, stratégique et décisif. Le jeu porte alors le nom de ''Polygone''<ref name=Maarup>T. Maarup, ''[http://maarup.net/thomas/hex/ Hex]'' par l'auteur d'une thèse sur le jeu de Hex.</ref>{{,}}<ref name = "J&S2">{{Article|langue = français|titre = Les jeux de liaison|auteur = [[Alain Ledoux]]|périodique = [[Jeux et Stratégie]]|numéro = 2|mois = avril-mai|année = 1980}}.</ref>.
-En [[1948]], et de manière indépendante, un jeune mathématicien de l'[[Université de Princeton]] du nom de [[John Forbes Nash|John Nash]] réinvente le jeu et le diffuse au ''Fine Hall'', une salle commune aux élèves et aux professeurs du département de mathématiques. Il en perçoit l'intérêt en [[théorie des jeux]] et démontre l'existence d'une stratégie gagnante pour le premier joueur<ref name="S. Nasar 1998"/>. Cependant, sa preuve est non constructive, c’est-à-dire qu'elle n'indique pas de stratégie gagnante<ref>Cette preuve est rapportée pour la première fois dans : [[Martin Gardner|M. Gardner]] ''Concerning the game of hex, which may be played on the tiles of the bathroom floor'' Scientific american Vol 197 {{p.|145-150}} (1957)</ref>. En [[1952]], la société [[Parker (éditeur)|Parker Brothers]] commercialise le jeu aux États-Unis<ref name=Maarup />.
+En [[1948]], et de manière indépendante, un jeune mathématicien de l'[[université de Princeton]] du nom de [[John Forbes Nash|John Nash]] réinvente le jeu<ref name = "J&S2"/> et le diffuse au {{anglais|Fine Hall}}, une salle commune aux élèves et aux professeurs du département de mathématiques. Il en perçoit l'intérêt en [[théorie des jeux]] et démontre l'existence d'une stratégie gagnante pour le premier joueur<ref name="S. Nasar 1998"/>{{,}}<ref name = "J&S2"/>. Cependant, sa preuve est non constructive, c’est-à-dire qu'elle n'indique pas de stratégie gagnante<ref>Cette preuve est rapportée pour la première fois par [[Martin Gardner|M. Gardner]] dans''Concerning the game of hex, which may be played on the tiles of the bathroom floor'', Scientific American vol. 197, {{p.|145-150}} (1957).</ref>. En [[1952]], la société [[Parker (éditeur)|Parker Brothers]] commercialise le jeu aux États-Unis<ref name=Maarup />{{,}}<ref name = "J&S2"/>.
 == Règles du jeu ==
-{{Méta cadre | width   = 100% | couleur = #A0FFFF | fond    = white | bordure = #008080 | image   = Wikipedia-info.png | titre   = '''Convention''' | bas     =  | contenu = Par convention, dans la suite de l'article, le joueur qui joue avec les pions bleus est appelé ''Bleu'', celui qui joue avec les pions rouges, ''Rouge''. }}
+{{Méta cadre | width   = 100% | couleur = #A0FFFF | fond    = white | bordure = #008080 | image   = Wikipedia-info.png | titre   = Convention | bas     =  | contenu = Par convention, dans la suite de l'article, le joueur qui joue avec les pions bleus est appelé ''Bleu'', celui qui joue avec les pions rouges ''Rouge''. }}
-[[Fichier:Hex board 11x11.svg|thumb|left|250|Tablier de Hex 11×11]]
+[[Fichier:Hex board 11x11.svg|thumb|left|Tablier de Hex 11×11.]]
-[[Fichier:Hex-board-11x11-(2).jpg|thumb|right|250|Configuration gagnante pour Bleu]]
+[[Fichier:Hex-board-11x11-(2).jpg|thumb|Configuration gagnante pour Bleu.]]
 Au début de partie, un [[tablier (jeu)|tablier]] vide, illustré sur la figure de gauche, sépare deux joueurs. Ce tablier représente un losange formé par des [[hexagone]]s [[polygone régulier|réguliers]]. Chaque joueur est représenté par une couleur, bleu et rouge dans l'article, noir et blanc en général.
-Les joueurs possèdent des pions à leur couleur qu'ils disposent tour à tour sur une case de leur choix et un par un. Le tablier se remplit ainsi progressivement. L'objectif d'un joueur, par exemple Bleu, est de relier les deux côtés opposés du losange symbolisés par la couleur bleue. Si la configuration des pions bleus permet la création d'une ligne continue (en blanc sur la figure) reliant un côté bleu à l'autre, Bleu a gagné et le jeu s'arrête<ref> ''[http://www.cs.newcastle.edu.au/~mihe/hex.html The Rules of Hex]'' Par l'University of New Castle Australie</ref>.
+Les joueurs possèdent des pions à leur couleur qu'ils disposent tour à tour sur une case de leur choix et un par un. Le tablier se remplit ainsi progressivement. L'objectif d'un joueur, par exemple Bleu, est de relier les deux côtés opposés du losange symbolisés par la couleur bleue. Si la configuration des pions bleus permet la création d'une ligne continue (en blanc sur la figure) reliant un côté bleu à l'autre, Bleu a gagné et le jeu s'arrête<ref> ''[http://www.cs.newcastle.edu.au/~mihe/hex.html The Rules of Hex]'', par l'[[université de Newcastle (Australie)]].</ref>.
-Une règle supplémentaire est parfois appliquée<ref>La règle décrite ici est en vigueur sur le site de Hex ''[http://games.wtanaka.com/hex game.wtanaka.com]''</ref>. Si Bleu commence, il joue le premier coup, Rouge a alors le choix entre jouer à son tour ou intervertir les couleurs. Dans le {{2e}} cas, le joueur qui a commencé devient alors Rouge, et joue alors son premier coup en tant que Rouge, le jeu continuant ensuite normalement. Cela impose de jouer un premier coup ni trop fort (car donnerait un avantage au joueur adverse qui se l'approprierait) ni trop faible (il serait alors laissé par l'adversaire) et réduit l'avantage de commencer.
+Une règle supplémentaire, la [[règle du gâteau]], est parfois appliquée<ref>La règle décrite ici est en vigueur sur le site de Hex ''[http://games.wtanaka.com/hex game.wtanaka.com]''.</ref>, en particulier lors des compétitions. Si Bleu commence, il joue le premier coup. Rouge a alors le choix entre jouer à son tour ou intervertir les couleurs. Dans le {{2e|cas}}, le joueur qui a commencé devient Rouge et joue alors son premier coup en tant que Rouge, le jeu continuant ensuite normalement. Cela impose de jouer un premier coup ni trop fort (car il donnerait un avantage au joueur adverse qui se l'approprierait) ni trop faible (il serait alors laissé par l'adversaire) et réduit l'avantage de commencer.
 == Stratégie ==
-Un jeu de Hex est nécessairement fini. Dans la configuration 11×11 illustrée sur les figures, il existe 121 cases sur le tablier. Au bout de 61 coups joués d'une part et de 60 de l'autre, le losange est rempli. La suite de l'article montre qu'indépendamment de la manière d'avoir joué, il existe toujours un vainqueur. Le match nul n'existe pas au Hex. La preuve de ce résultat est l'œuvre de Nash<ref>V. V. Anshelevich ''[http://ticc.uvt.nl/icga/games/hex/ Hex information]'' par le site International Computer Games association</ref>. Pour contrebalancer l'avantage du premier joueur, on peut imaginer un tablier tel que les distances séparant les deux côtés opposés du losange ne soient pas égales. Il est alors simple de montrer que le joueur ayant la plus petite distance à parcourir gagne toujours, et cela indépendamment du fait qu'il commence ou non<ref>B. Enderton ''[http://www.cs.cmu.edu/~hde/hex/hexfaq/ Answers to infrequently asked questions about the game of Hex]'' par le site de Carnegie Mellon School of computer science</ref>.
+Un jeu de Hex est nécessairement fini. Dans la configuration {{nobr|11 × 11}} illustrée sur les figures, il existe {{nobr|121 cases}} sur le tablier. Au bout de {{nobr|61 coups}} joués d'une part et de 60 de l'autre, le losange est rempli. La suite de l'article montre qu'indépendamment de la manière d'avoir joué, il existe toujours un vainqueur. Le match nul n'existe pas au Hex. La preuve de ce résultat est l'œuvre de Nash<ref>V. V. Anshelevich, ''[http://ticc.uvt.nl/icga/games/hex/ Hex information]'' par le site International Computer Games association.</ref>. Pour contrebalancer l'avantage du premier joueur, on peut imaginer un tablier tel que les distances séparant les deux côtés opposés du losange ne soient pas égales. Il est alors simple de montrer que le joueur ayant la plus petite distance à parcourir gagne toujours, et cela indépendamment du fait qu'il commence ou non<ref>B. Enderton, ''[http://www.cs.cmu.edu/~hde/hex/hexfaq/ Answers to infrequently asked questions about the game of Hex]'' par le site de Carnegie Mellon School of computer science.</ref>.
-Il existe de nombreux textes sur les différentes stratégies possibles pour gagner<ref>Voir par exemple : R. Hayward ''[http://hex.kosmanor.com/hex/bergePUP.pdf Berge and the art of hex]'' University of Alberta</ref>. Cependant les stratégies gagnantes ne sont connues que si le tablier est de dimension restreinte, c'est-à-dire jusqu'à 9×9<ref name=Maarup />. Une autre piste consiste à rechercher des heuristiques sur ordinateur pour jouer le mieux possible, sans rechercher des stratégies nécessairement gagnantes, procédant ainsi comme pour le jeu d'[[échecs]], à l'aide de techniques de programmation issues de l'[[intelligence artificielle]]<ref>H. J. Van den Herik J. W. H. M. Uterwijk J. Van Rijswick ''Games solved: Now and in the future'', in {{Souligner|Artificial Intelligence}} (vol. 134), 2002, pp. 277-311</ref>. Ces programmes sont sources de versions électroniques du jeu<ref>Un jeu en ligne par R. Kirkland : [http://sigma.proftnj.com/hex7.htm Un jeu de Hex7 en ligne], par le site Web Mazeworks</ref>.
+Il existe de nombreux textes sur les différentes stratégies possibles pour gagner<ref>Voir par exemple : R. Hayward, ''[http://hex.kosmanor.com/hex/bergePUP.pdf Berge and the art of Hex]'', University of Alberta.</ref>. Cependant les stratégies gagnantes ne sont connues que si le tablier est de dimension restreinte, c'est-à-dire jusqu'à {{nobr|9 × 9}}<ref name=Maarup />. Une autre piste consiste à rechercher des heuristiques sur ordinateur pour jouer le mieux possible, sans rechercher des stratégies nécessairement gagnantes, procédant ainsi comme pour le jeu d'[[échecs]], à l'aide de techniques de programmation issues de l'[[intelligence artificielle]]<ref>H. J. Van den Herik, J. W. H. M. Uterwijk et J. Van Rijswick, ''Games solved: Now and in the future'', in {{Souligner|Artificial Intelligence}} (vol. 134), 2002, {{p.|277-311}}.</ref>. Ces programmes sont sources de versions électroniques du jeu<ref>Un jeu en ligne par R. Kirkland : [http://sigma.proftnj.com/hex7.htm Un jeu de Hex7 en ligne], par le site Web Mazeworks.</ref>.
-== Jeu de hex et mathématiques ==
+=== Variantes de Hex ===
+{{...}}
+Plusieurs variantes de Hex ont été étudiées. Notamment la variante ''Qui-perd-gagne'' est gagnante pour le premier joueur seulement si le tablier est de dimension paire<ref name ="pls560">{{Article|langue = français|périodique = [[Pour la Science]]|auteur = [[Jean-Paul Delahaye]]|titre = Stratégies pour le jeu de Hex infini|numéro = 560|mois = juin|année = 2024}}.</ref>, tandis que sur les variantes où le tablier est de taille infinie, une partie jouée parfaitement se solde par une partie nulle<ref name ="pls560"/>. Les variantes asymétriques où l'un des bords du tablier est plus long que l'autre voient quant à elle la victoire du joueur ayant à construire le chemin le plus court, qu'il ait commencé ou non<ref name ="pls560"/>.
+== Jeu de Hex et mathématiques ==
 === Stratégie et théorie des jeux ===
 [[Fichier:Hex-3x3-(1).jpg|left|200px|thumb|Si les rouges ne jouent pas ''B1'' à leur premier coup, ils ne peuvent éviter une défaite en trois coups.]]
@@ Ligne 50 : / Ligne 54 : @@
 En [[théorie des jeux]], le terme de stratégie possède une signification particulière. Une stratégie pour Bleu, s'il commence, indique le premier coup joué, puis le deuxième coup, en fonction du premier coup de Rouge, etc. Une stratégie gagnante assure la victoire quels que soient les choix que fait la partie adverse.
-Illustrons ceci par un exemple sur un hex 3×3. Le tablier est numéroté de la manière indiquée sur la figure de gauche. Bleu commence et joue ''A''3 (voir la figure de gauche). On suppose le coup ''B''2 interdit pour commencer, sinon la victoire est trop aisée. Si Rouge ne joue, pour son premier coup, aucune des cases ''A1'', ''B1'' et ''A2'', Bleu joue au deuxième tour ''A2''. Il est alors à un coup de la victoire et il faudrait bloquer deux cases ''A1'' et ''B1'' pour l'en empêcher, ce qui est impossible à réaliser en un coup pour Rouge. Bleu a alors gagné. Le même raisonnement est réalisable sur les cases ''B1'', ''C1'' et ''B2'' : si Rouge joue à son premier coup ''A1'' ou ''A2'', Bleu joue ''B2'' et dispose encore d'une victoire assurée au troisième coup.
+Illustrons ceci par un exemple sur un hex {{nobr|3 × 3}}. Le tablier est numéroté de la manière indiquée sur la figure de gauche. Bleu commence et joue ''A''3 (voir la figure de gauche). On suppose le coup ''B''2 interdit pour commencer, sinon la victoire est trop aisée. Si Rouge ne joue, pour son premier coup, aucune des cases ''A1'', ''B1'' et ''A2'', Bleu joue au deuxième tour ''A2''. Il est alors à un coup de la victoire et il faudrait bloquer deux cases ''A1'' et ''B1'' pour l'en empêcher, ce qui est impossible à réaliser en un coup pour Rouge. Bleu a alors gagné. Le même raisonnement est réalisable sur les cases ''B1'', ''C1'' et ''B2'' : si Rouge joue à son premier coup ''A1'' ou ''A2'', Bleu joue ''B2'' et dispose encore d'une victoire assurée au troisième coup.
 L'unique case à jouer en premier coup de Rouge, qui empêche la victoire en trois coups de Bleu, est ''B1'', l'intersection des deux ensembles {''A1'', ''B1'', ''A2''} et {''B1'', ''C1'', ''B2''}. Dans ce cas, Bleu joue pour son deuxième coup ''C1'', comme illustré sur la figure de droite. Rouge est maintenant menacé de défaite en un coup. S'il ne joue pas ''B2'' en deuxième coup, Bleu joue ''B2'' en troisième coup et a gagné. Si Rouge joue ''B2'' pour le deuxième coup, Bleu joue ''C2'' pour son troisième coup. Au prochain coup, les cases ''B3'' et ''C3'' lui assurent la victoire. Rouge ne peut bloquer en un unique coup deux cases, il a nécessairement perdu.
 === Éviter la défaite ===
-La première partie du raisonnement montre que l'adversaire qui commence (supposé Bleu dans cet article) dispose d'une stratégie évitant systématiquement la défaite. La démonstration proposée ici est dite ''par l'absurde''. On suppose le résultat faux, c'est-à-dire que Rouge dispose d'une stratégie gagnante ''S''<sub>r</sub>. Bleu construit alors une stratégie ''S''<sub>b</sub> qui leur assure la victoire. La stratégie ''S''<sub>b</sub> montre que ''S''<sub>r</sub>, ne peut être gagnante (il faudrait qu'elle le soit quelle que soit la stratégie adverse). On en déduit que Rouge ne dispose pas d'une stratégie gagnante.
+La première partie du raisonnement montre que le joueur qui commence (supposé Bleu dans cet article) dispose d'une stratégie évitant systématiquement la défaite. La démonstration proposée ici est dite ''par l'absurde''. On suppose le résultat faux, c'est-à-dire que Rouge dispose d'une stratégie gagnante ''S''<sub>r</sub>. Bleu construit alors une stratégie ''S''<sub>b</sub> qui lui assure la victoire. La stratégie ''S''<sub>b</sub> montre que ''S''<sub>r</sub>, ne peut être gagnante (il faudrait qu'elle le soit quelle que soit la stratégie adverse). On en déduit que Rouge ne dispose pas d'une stratégie gagnante.
-La stratégie ''S''<sub>b</sub> consiste à jouer un premier coup ''à vide'', par exemple ''A1''. Ensuite, Bleu ''vole''<ref>Le terme voler correspond à une traduction de l'argument utilisé par Nash, qui en anglais se dit : ''The strategy stealing argument'' T. Maarup ''[http://maarup.net/thomas/hex/hex3.pdf Hex] Thèse de l'University of Southern Danemark (2005) p 26</ref> la stratégie ''S''<sub>r</sub>, en oubliant qu'il a commencé et joué ''A1''. Le deuxième coup de Bleu est donc le premier coup de la stratégie ''S''<sub>r</sub> après celui qu'a joué Rouge. Bleu prolonge cette stratégie jusqu'au moment éventuel où il est amené à jouer ''A1''. Il joue alors n'importe quoi, noté '''α'''. Il imagine alors que le premier coup oublié était '''α''' et qu'il vient de jouer ''A1''. Bleu n'a pas quitté le scénario ''S''<sub>b</sub>, consistant à ''voler'' la stratégie gagnante. Comme ''S''<sub>r</sub> est une stratégie gagnante, la victoire est assurée pour Bleu.
+La stratégie ''S''<sub>b</sub> consiste à jouer un premier coup ''à vide'', par exemple ''A1''. Ensuite, Bleu ''vole''<ref>Le terme « voler » correspond à une traduction de l'expression anglaise {{Anglais|the strategy stealing argument}} utilisée par Nash : T. Maarup, ''[http://maarup.net/thomas/hex/hex3.pdf Hex]'', thèse de l'University of Southern Danemark (2005) {{p.|26}}.</ref> la stratégie ''S''<sub>r</sub>, en oubliant qu'il a commencé et joué ''A1''. Le deuxième coup de Bleu est donc le premier coup de la stratégie ''S''<sub>r</sub> après celui qu'a joué Rouge. Bleu prolonge cette stratégie jusqu'au moment éventuel où il est amené à jouer ''A1''. Il joue alors n'importe quoi, noté '''α'''. Il imagine alors que le premier coup oublié était '''α''' et qu'il vient de jouer ''A1''. Bleu n'a pas quitté le scénario ''S''<sub>b</sub>, consistant à ''voler'' la stratégie gagnante. Comme ''S''<sub>r</sub> est une stratégie gagnante, la victoire est assurée pour Bleu.
-Un tel raisonnement montre qu'une stratégie gagnante ''S''<sub>r</sub> ne peut exister. Ce qui montre que quelle que soit la stratégie de Rouge, il est possible d'éviter la défaite. Ce raisonnement ne montre pas que Bleu peut systématiquement gagner, objet du paragraphe suivant, mais uniquement qu'il existe au moins une stratégie ''S''<sub>d</sub> qui lui évite toute défaite<ref name=Maarup26>Cet argument est détaillé dans la thèse, p 26 : T. Maarup ''[http://maarup.net/thomas/hex/hex3.pdf Everything You Always Wanted to Know About Hex But Were Afraid to Ask]'' University of Southern Denmark</ref>.
+Un tel raisonnement montre qu'une stratégie gagnante ''S''<sub>r</sub> ne peut exister. Ce qui montre que quelle que soit la stratégie de Rouge, il est possible pour Bleu d'éviter la défaite<ref name=Maarup26>Cet argument est détaillé {{p.|26}} de la thèse de T. Maarup, ''[http://maarup.net/thomas/hex/hex3.pdf Everything You Always Wanted to Know About Hex But Were Afraid to Ask]'', University of Southern Denmark.</ref>.
 === Assurer la victoire ===
 [[Fichier:Hex-board-11x11-(3).jpg|250px|right]]
-Le paragraphe précédent est un raisonnement de Nash. En 1948, il avait aussi montré l'existence d'une stratégie gagnante pour Bleu. La démonstration proposée ici n'est néanmoins pas de lui mais de [[David Gale]]<ref>Cette preuve vient de {{Article|lang=en|prénom=David|nom=Gale|url=http://www.math.pitt.edu/~gartside/hex_Browuer.pdf|consulté le=13 février 2011|titre=The Game of Hex and Brouwer Fixed-Point Theorem|périodique=The American Mathematical Monthly|volume=86|pages=818–827|année=1979|doi=10.2307/2320146}}</ref>, un camarade d'université à Princeton de Nash<ref>T. Maarup ''[http://maarup.net/thomas/hex/hex3.pdf Everything You Always Wanted to Know About Hex But Were Afraid to Ask]'' University of Southern Denmark {{p.|18}} (2005)</ref>. Elle possède l'avantage d'être plus simple.
+Le paragraphe précédent est un raisonnement de Nash. En 1948, il avait aussi montré l'existence d'une stratégie gagnante pour Bleu. La démonstration proposée ici n'est néanmoins pas de lui mais de [[David Gale]]<ref>Cette preuve vient de {{Article|langue=en|prénom=David|nom=Gale|url=http://www.math.pitt.edu/~gartside/hex_Browuer.pdf|consulté le=13 février 2011|titre=The Game of Hex and Brouwer Fixed-Point Theorem|périodique=The American Mathematical Monthly|volume=86|pages=818–827|année=1979|doi=10.2307/2320146}}.</ref>, un camarade de Nash à l'université de Princeton<ref>T. Maarup, ''[http://maarup.net/thomas/hex/hex3.pdf Everything You Always Wanted to Know About Hex But Were Afraid to Ask]'', University of Southern Denmark {{p.|18}} (2005).</ref>. Elle possède l'avantage d'être plus simple.
-On suppose maintenant que Bleu suit la stratégie ''S''<sub>d</sub>. Une fois la partie finie, si le tablier n'est pas entièrement recouvert de pions, l'un des adversaires a nécessairement gagné. Comme cela ne peut être Rouge, c'est Bleu et le résultat est démontré. Sinon, le tablier est entièrement recouvert de pions bleus et rouges et une fois encore, Bleu a nécessairement gagné la partie. Pour s'en rendre compte, on ajoute à chacun des quatre côtés du tablier, un jeu d'hexagones, de la couleur de son joueur. Ces hexagones sont illustrés en clairs sur la figure de droite. Les quatre sommets du nouveau losange sont notés ''A'', ''B'', ''C'' et ''D''. Le principe est de construire une ligne, illustrée en vert sur la figure, qui montre la victoire de Bleu. Cette ligne démarre au sommet ''A'', et plus exactement au sommet ''P''<sub>1</sub> commun uniquement à deux hexagones ajoutés et de couleurs distinctes.
+On suppose maintenant que Bleu suit la stratégie ''S''<sub>d</sub>. Une fois la partie finie, si le tablier n'est pas entièrement recouvert de pions, l'un des adversaires a nécessairement gagné. Comme cela ne peut être Rouge, c'est Bleu et le résultat est démontré. Sinon, le tablier est entièrement recouvert de pions bleus et rouges et une fois encore, Bleu a nécessairement gagné la partie. Pour s'en rendre compte, on ajoute à chacun des quatre côtés du tablier, un jeu d'hexagones, de la couleur de son joueur. Ces hexagones sont représentés en teintes claires sur la figure de droite. Les quatre sommets du nouveau losange sont notés ''A'', ''B'', ''C'' et ''D''. Le principe est de construire une ligne, illustrée en vert sur la figure, qui montre la victoire de Bleu. Cette ligne démarre au sommet ''A'', et plus exactement au sommet ''P''<sub>1</sub> commun uniquement à deux hexagones ajoutés et de couleurs distinctes.
 La ligne verte suit l'arête partagée par deux hexagones de couleurs distinctes. Elle se termine sur un autre sommet ''P''<sub>2</sub>. On prolonge cette ligne par une nouvelle arête, différente de ''P''<sub>1</sub>''P''<sub>2</sub> et une fois encore partagée par deux hexagones de couleurs distinctes. On remarque qu'il n'existe qu'un unique choix possible. On répète alors cette même démarche, jusqu'à ce que cela ne soit plus possible.
-Cette ligne verte dispose de quatre propriétés qui montrent la victoire de Bleu. Il est impossible à la ligne verte de ''faire une boucle'', un sommet ne peut être atteint qu'une unique fois par la ligne verte. Le seul motif d'arrêt est que la ligne verte a atteint un sommet extérieur, commun à deux hexagones ajoutés (en clairs sur la figure). Ces deux hexagones sont nécessairement de couleurs différentes, c'est-à-dire qu'ils se trouvent sur un sommet du losange. Comme le sommet ''A'' est déjà pris, cette fin se situe sur l'un des sommets ''B'', ''C'' ou ''D''. Si l'on parcourt la ligne verte, depuis ''A'' jusqu'à sa fin, sur la proximité droite de la ligne, on ne trouve que des hexagones bleus (clairs ou foncés). Sur la proximité gauche, on ne trouve que des hexagones rouges. Cette propriété est illustrée sur la figure.
+Cette ligne verte dispose de quatre propriétés qui montrent la victoire de Bleu. Il est impossible à la ligne verte de ''faire une boucle'', un sommet ne peut être atteint qu'une unique fois par la ligne verte. Le seul motif d'arrêt est que la ligne verte a atteint un sommet extérieur, commun à deux hexagones ajoutés (en clair sur la figure). Ces deux hexagones sont nécessairement de couleurs différentes, c'est-à-dire qu'ils se trouvent sur un sommet du losange. Comme le sommet ''A'' est déjà pris, cette fin se situe sur l'un des sommets ''B'', ''C'' ou ''D''. Si l'on parcourt la ligne verte, depuis ''A'' jusqu'à sa fin, sur la proximité droite de la ligne, on ne trouve que des hexagones bleus (clairs ou foncés). Sur la proximité gauche, on ne trouve que des hexagones rouges. Cette propriété est illustrée sur la figure.
-On suppose que le sommet atteint finalement par la ligne verte est celui noté ''D''. Considérons une deuxième ligne rejoignant par des segments les centres des hexagones constituant le flanc droit de la ligne verte. Cette ligne est intégralement dans la zone bleue. Elle démarre dans la zone bleue claire située entre ''A'' et ''B'' et finit encore dans le camp bleu, mais cette fois dans la zone claire située entre ''C'' et ''D''. Considérons la portion de cette ligne comprise entre le dernier hexagone bleu clair situé entre ''A'' et ''B'' et le premier hexagone bleu clair situé entre ''C'' et ''D''. Cette portion de ligne est illustrée en blanc. Elle est la preuve que Bleu a gagné.
+On suppose que le sommet atteint finalement par la ligne verte est celui noté ''D''. Considérons une deuxième ligne rejoignant par des segments les centres des hexagones constituant le flanc droit de la ligne verte. Cette ligne est intégralement dans la zone bleue. Elle démarre dans la zone bleu clair située entre ''A'' et ''B'' et finit encore dans le camp bleu, mais cette fois dans la zone claire située entre ''C'' et ''D''. Considérons la portion de cette ligne comprise entre le dernier hexagone bleu clair situé entre ''A'' et ''B'' et le premier hexagone bleu clair situé entre ''C'' et ''D''. Cette portion de ligne est illustrée en blanc. Elle est la preuve que Bleu a gagné.
 [[Fichier:Hex-board-(corner).jpg|left|200px]]
 Si d'aventure, la ligne verte se termine sur le sommet ''B'', le même raisonnement que le précédent montre que Rouge a gagné la partie. Cette configuration est impossible avec la stratégie choisie. Cela permet néanmoins de démontrer un résultat un peu plus fort que celui annoncé en début de paragraphe. Si les stratégies de Rouge et Bleu sont quelconques, il existe toujours un vainqueur. Autrement dit, le nul n'existe pas au Hex.
-Le sommet ''C'' ne peut être atteint par la ligne verte. Pour s'en rendre compte, il suffit d'imaginer que l'hexagone du tablier connexe au sommet ''C'' est bleu foncé, illustré sur la figure de gauche. Cet hexagone est nécessairement à gauche de la ligne verte (parcourue dans le sens ''A'' vers ''C''), ce qui est impossible car les hexagones situés à gauche de la ligne sont tous rouges. Si le même hexagone est rouge foncé, il est à droite de la ligne verte, ce qui est encore impossible<ref>Cette démonstration est détaillée dans : V. Ripoll ''[http://www.eleves.ens.fr/home/vripoll/BrouwerENS.doc Le théorème de Brouwer, au carrefour entre discret et continu]'' l'École Normale Supérieure</ref>.
+Le sommet ''C'' ne peut être atteint par la ligne verte. Pour s'en rendre compte, il suffit d'imaginer que l'hexagone du tablier connexe au sommet ''C'' est bleu foncé, illustré sur la figure de gauche. Cet hexagone est nécessairement à gauche de la ligne verte (parcourue dans le sens ''A'' vers ''C''), ce qui est impossible car les hexagones situés à gauche de la ligne sont tous rouges. Si le même hexagone est rouge foncé, il est à droite de la ligne verte, ce qui est encore impossible<ref>Cette démonstration est détaillée dans : V. Ripoll, ''[http://www.eleves.ens.fr/home/vripoll/BrouwerENS.doc Le théorème de Brouwer, au carrefour entre discret et continu]'', École normale supérieure.</ref>.
-Cette démonstration termine la preuve du fait qu'il existe nécessairement une stratégie gagnante pour le premier joueur. En revanche, comme elle utilise un raisonnement par l'absurde, elle ne décrit pas directement de manière de s'y prendre pour effectivement jouer et toujours gagner si l'on commence. Nash exprimait cette idée à D. Gale en 1948 qui le rapporte ainsi : {{Citation|Un matin, Nash m'a dit qu'il avait un exemple de jeu où il pouvait démontrer que le premier joueur dispose d'une stratégie gagnante, mais qu'il n'avait aucun moyen pour trouver cette stratégie.}}<ref>Traduction libre d'une citation extraite de : T. Maarup ''[http://maarup.net/thomas/hex/hex3.pdf Everything You Always Wanted to Know About Hex But Were Afraid to Ask]'' University of Southern Denmark {{p.|18}} (2005).</ref>. Il s'avère en fait que le jeu est [[PSPACE|PSPACE-complet]]<ref>ibid, ch 5, en particulier section 5.2.3.</ref>, ce qui modulo certaines hypothèses de [[théorie algorithmique de l'information|théorie de la complexité]], signifie que de toute façon la recherche d'une stratégie gagnante devient très rapidement impraticable quand la taille du jeu augmente<ref>ibid, {{p.|34}}.</ref>.
+Cette démonstration termine la preuve du fait qu'il existe nécessairement une stratégie gagnante pour le premier joueur. En revanche, comme elle utilise un [[raisonnement par l'absurde]], elle ne décrit pas directement de manière de s'y prendre pour effectivement jouer et toujours gagner si l'on commence. Nash exprimait en 1948 cette idée à D. Gale, qui le rapporte ainsi : {{Citation|Un matin, Nash m'a dit qu'il avait un exemple de jeu où il pouvait démontrer que le premier joueur dispose d'une stratégie gagnante, mais qu'il n'avait aucun moyen pour trouver cette stratégie.}}<ref>Traduction libre d'une citation extraite de : T. Maarup, ''[http://maarup.net/thomas/hex/hex3.pdf Everything You Always Wanted to Know About Hex But Were Afraid to Ask]'', University of Southern Denmark {{p.|18}} (2005).</ref>. Il s'avère en fait que le jeu est [[PSPACE|PSPACE-complet]]<ref>Ibid, ch. 5, en particulier section 5.2.3.</ref>{{,}}<ref>
+{{article
+ | prénom1 = Shimon | nom1 = Even
+ | prénom2 = Robert |nom2 = Tarjan | lien auteur2= Robert Tarjan
+ | année = 1976
+ | titre=  A Combinatorial Problem Which Is Complete in Polynomial Space
+ | périodique= [[Journal of the ACM]]
+ | volume =  23 | numéro = 4 |passage = 710-719
+ | doi=10.1145/321978.321989
+ |lire en ligne = http://doi.acm.org/10.1145/321978.321989}}.</ref>, ce qui, modulo certaines hypothèses de [[théorie algorithmique de l'information|théorie de la complexité]], signifie que de toute façon la recherche d'une stratégie gagnante devient très rapidement impraticable quand la taille du jeu augmente<ref>Ibid., {{p.|34}}.</ref>.
 === Autres champs mathématiques ===
-Le jeu de Hex est source de démonstrations dans des branches mathématiques éloignées de la théorie des jeux. Le [[théorème du point fixe de Brouwer]] indique qu'une fonction continue d'un disque dans lui-même contient toujours un point fixe. Ce résultat se généralise aux dimensions supérieures. Autrement dit, quand on remue son café, il existe toujours un point de la surface qui n'a pas quitté sa position initiale. La démonstration de l'absence de possibilité d'un match nul au jeu de hex est une manière élégante de prouver ce résultat, ce qui constitue l'objet de l'article de David Gale de [[1979]]. Pour être plus précis, ce que David Gale appelle le ''théorème du jeu de Hex'' et qui indique l'absence de possible match nul est un résultat équivalent au théorème du point fixe de Brouwer.
+Le jeu de Hex est source de démonstrations dans des branches mathématiques éloignées de la théorie des jeux. Le [[théorème du point fixe de Brouwer]] indique qu'une fonction continue d'un disque dans lui-même possède toujours un point fixe. Ce résultat se généralise aux dimensions supérieures. Autrement dit, quand on remue son café, il existe toujours un point de la surface qui n'a pas quitté sa position initiale. La démonstration de l'absence de possibilité d'un match nul au jeu de hex est une manière élégante de prouver ce résultat, ce qui constitue l'objet de l'article de David Gale de 1979. Pour être plus précis, ce que David Gale appelle le ''théorème du jeu de Hex'' et qui indique l'absence de possible match nul est un résultat équivalent au théorème du point fixe de Brouwer.
-Ce théorème a des conséquences amusantes en [[topologie algébrique]], puisqu'on peut l'utiliser pour démontrer le [[théorème de Jordan]]<ref>S. Greenwood J. Cao'' [http://www.math.auckland.ac.nz/class750/section5.pdf Brouwer’s Fixed Point Theorem and the Jordan Curve Theorem]'' Université d'Aukland Nouvelle-Zélande</ref>, qui indique qu'un [[Théorème de Jordan|lacet simple]] dans le plan, c'est-à-dire une boucle sans point double, divise l'espace en deux parties connexes, celle intérieure à la boucle qui est bornée et celle extérieure qui ne l'est pas. Ce théorème intuitivement évident est difficile à démontrer rigoureusement. Une conséquence de ce théorème est celui de [[théorème de Poincaré-Bendixson|Poincaré-Bendixson]], qui indique qu'une [[équation différentielle]] [[équation différentielle autonome|autonome]] définie par une fonction dérivable à valeurs dans un plan ne peut engendrer de situation [[théorie du chaos|chaotique]]. Cela implique que si un étang est parcouru par un courant qui ne varie pas au cours du temps, un bouchon flottant sur cet étang finit par s'immobiliser ou tourner indéfiniment dans un tourbillon.
+Ce théorème a des conséquences amusantes en [[topologie algébrique]], puisqu'on peut l'utiliser pour démontrer le [[théorème de Jordan]]<ref>S. Greenwood et J. Cao'', [http://www.math.auckland.ac.nz/class750/section5.pdf Brouwer’s Fixed Point Theorem and the Jordan Curve Theorem]'', université d'Aukland Nouvelle-Zélande.</ref>, qui indique qu'un [[Théorème de Jordan|lacet simple]] dans le plan, c'est-à-dire une boucle sans point double, divise l'espace en deux parties connexes, celle intérieure à la boucle qui est bornée et celle extérieure qui ne l'est pas. Ce théorème intuitivement évident est difficile à démontrer rigoureusement. Une conséquence de ce théorème est celui de [[théorème de Poincaré-Bendixson|Poincaré-Bendixson]], qui indique qu'une [[équation différentielle]] [[équation différentielle autonome|autonome]] définie par une fonction dérivable à valeurs dans un plan ne peut engendrer de situation [[théorie du chaos|chaotique]]. Cela implique que si un étang est parcouru par un courant qui ne varie pas au cours du temps, un bouchon flottant sur cet étang finit par s'immobiliser ou tourner indéfiniment dans un tourbillon.
+== Notes et références ==
+{{Références}}
+== Voir aussi ==
+{{Autres projets| commons=Category:Hex}}
+=== Bibliographie ===
+* {{en}} C. Browne, ''Hex Strategy—Making the Right Connections'', A. K. Peters, 2000 {{ISBN|1568811179}}
+* {{Article| langue=fr| titre=Stratégies pour le jeu de Hex infini| auteur1=[[Jean-Paul Delahaye]]| périodique=[[Pour la science]]| numéro=560| date=juin 2024| pages=80-84| présentation en ligne=https://www.pourlascience.fr/sr/logique-calcul/strategies-pour-le-jeu-de-hex-infini-26436.php}}
-== Annexes ==
-=== Références ===
-<references />
 === Liens externes ===
 * T. Maarup ''[http://maarup.net/thomas/hex/hex3.pdf Everything You Always Wanted to Know About Hex But Were Afraid to Ask]'' University of Southern Denmark
-* [http://hexwiki.org Un wiki dédié au Hex].
+* [http://hexwiki.net Un wiki dédié au Hex].
 * [http://www.littlegolem.net Little Golem] un site où l'on peut jouer par correspondance au Hex ainsi qu'à d'autres jeux (go, échecs…)
 * R. Kirkland ''[http://sigma.proftnj.com/hex7.htm Un jeu de Hex7 en ligne] par le site Mazeworks
 * [http://www.jeudhex.com Étude sur le jeu d'hex] Une approche mathématique par Edouard Rodrigues
+* [http://vanshel.com/Hexy/ Hexy] programme à télécharger permettant de jouer contre l'ordinateur sous [[Microsoft Windows|Windows]] (4 niveaux de difficulté).
-=== Bibliographie ===
+* [https://playhex.org/ PlayHex] Plateforme dédiée au Hex pour jouer en ligne contre d'autres joueurs ou contre des IA de différents niveaux
-C. Browne ''Hex Strategy—Making the Right Connections'' A. K. Peters, (2000) {{ISBN|1568811179}}
-{{portail|Jeux}}
+{{portail|Jeux|mathématiques}}
 [[Catégorie:Jeu de société]]