Problème du cavalier

Le problème du cavalier (ou encore polygraphie ou algorithme du cavalier ou cavalier d'Euler) est un problème mathématico-logique fondé sur les déplacements du cavalier du jeu d'échecs (une case partageant un côté commun puis une case en diagonale dans la même direction). Un cavalier posé sur une case quelconque d'un échiquier doit en visiter toutes les cases sans passer deux fois sur la même.

Une des solutions du problème ouvert.

Différentes variantes du problème

Différents types de mouvement des pièces

Si le but est généralement de parcourir toutes les cases du plateau avec un cavalier, une variante a été étudiée au Moyen-Orient médiéval où la pièce alterne entre un mouvement de cavalier et un mouvement en diagonale (voir infra).

Différentes formes de plateau

Le problème a initialement porté sur le parcours d'un échiquier carré de 64 cases ou sur un demi-échiquier de 32 cases ; mais il a par la suite été étudié pour d'autres dimensions et également pour des formes non-rectangulaires, dont des croix.

Différents types de parcours

Il existe différentes manières de parcourir l'échiquier : le parcours peut être ouvert ou alors se refermer sur lui-même, auquel cas on parle de tour du cavalier. On peut aussi chercher des solutions avec des symétries particulières ou encore les plus longues solutions sans croisement[1].

Histoire

En Inde

On en trouve la première occurrence dans un traité d'ornement poétique indien, le Kavyalankara du poète Rudrata [2].

Une solution au problème du parcours de l'intégralité d'un demi-échiquier de 32 cases a été trouvée dans un manuscrit datant du début du Xe siècle ; cette solution pouvant facilement être adaptée pour obtenir par juxtaposition le parcours complet d'un échiquier de 64 cases[3]. Cette solution n'est pas un circuit car elle ne permet pas de revenir au point de départ.

Une encyclopédie indienne datant du XVIIe siècle donne un exemple de parcours fermé sur un échiquier de 64 cases[4]. Charles Monneron rapporte d'Inde une autre solution au problème, qui sera imprimée par la suite dans l'Encyclopédie[5].

Solution du parcours sur un demi échiquier (900 ap. J.-C.).
1309203241126
16192291027423
31817142162512
18153272813225
Parcours fermé indien du XVIIe siècle.
25161564252823
7141505224326
52386316272429
96213449422144
1253101736453041
6156594831403520
5811543718334639
5560573247381934
Parcours ouvert à extrémités accolées rapporté par Monneron.
17203943722496
40531821853623
19163386150748
54415216492435
152136051624710
4255306312593425
2914574427321146
5643283158452633

Le rajah Krishnaraja Wadiyar III (en) s'est intéressé au sujet dans la première moitié du XIXe siècle, on lui doit l'un des premiers parcours de cavalier connus dont la numérotation des cases forme un carré magique[6].

Circuit fermé

Solution de al-Adli ar-Rumi.

Le cavalier d'Euler est connu depuis fort longtemps. Vers 840, le joueur et théoricien d'échecs arabe al-Adli ar-Rumi en donne déjà une solution.

Des moyens mnémotechniques permettant de retenir une solution au circuit du cavalier sont attestés dans un manuscrit copié en 1141, lequel reprend des textes datant au plus du Xe siècle ; il s'agit de poèmes de 64 vers dont chacun est associé aux coordonnées d'une case de l'échiquier[7]. Quatre tels poèmes sont connus, ce qui permet de conclure que le problème du circuit du cavalier était populaire dans le monde arabo-musulman, et qu'aucune méthode générale de construction d'un tel parcours n'était connue[8].

Autres règles de parcours

Les savants arabes ont également étudié un problème voisin dans lequel la pièce à déplacer adopte alternativement le déplacement du cavalier et celui d'une autre pièce, conseiller ou éléphant, du chatrang (la version des échecs pratiquée dans le monde arabe médiéval). Le conseiller (ancêtre de la dame) et l'éléphant (ancêtre du fou) se déplaçant respectivement d'une case en diagonale et de deux cases en diagonale[9]. Des poèmes ont également été composés pour en mémoriser des solutions[5].

Parcours fermé arabe d'un cavalier-éléphant.
494240519343611
4752544539121433
415048433710835
5544465315323813
61221663526287
195658213164225
17626023296427
59201857324301
Parcours fermé arabe d'un cavalier-conseiller.
3714163533182431
1536341719323025
1338481121262823
3912104927202229
942404761505263
438464151606253
4564595726455
744585356541

Pendant le Moyen Âge et la Renaissance

On trouve dans un manuscrit anglo-normand du XIVe siècle un parcours ouvert dont le but est d'amener le cavalier d'un coin à un autre[3]. Plusieurs autres manuscrits plus tardifs donnent également des parcours ouverts sur des échiquiers ou des demi-échiquiers[10].

Solution datée du XIVe siècle.
232611449524540
103222546414851
272451253503944
29282142475459
292013661584338
81161932356055
173071457623734
.15183136335663

Au début du XVIIIe siècle

Pierre Rémond de Montmort a étudié ce problème, et en donne une solution citée par Martin Grandin[11]. Ce dernier reprend également deux autres solutions obtenues par Abraham de Moivre et par de Mairan[12].

Solution de Rémond de Montmort
5823621564215413
6116592255145120
2457106318491253
960175611521950
34253674027485
37833264564128
32352393043447
13831443462942
Solution de de Moivre où le carré central est visité après la bordure.
344922113639241
2110355023123740
483362573825213
920515463604126
324758615653143
198555259642742
46316174429415
71845305164328
Solution fermée de de Mairan.
56926435473229
25445582730536
1057243942332831
23404536152534
4611584138356451
59223748192154
1247206114175063
216013184962316

Les travaux d'Euler

Le mathématicien Leonhard Euler reprit l'étude scientifique en 1759. La « Solution d'une question curieuse qui ne paraît soumise à aucune analyse »[13] n'est cependant publiée qu'en 1766. Côme Alexandre Collini en publia une dans le Journal encyclopédique en 1773.

Euler y montre la solution de plusieurs problèmes[14]:

  • comment obtenir un trajet complet à partir d'un trajet partiel ;
  • comment transformer un trajet ouvert en trajet fermé ;
  • comment obtenir un trajet symétrique ;
  • l'obtention de parcours sur des échiquiers carrés ou rectangulaires de taille variable ;
  • l'obtention de parcours complets sur des échiquiers en forme de croix ou de croix rhombiques.

Euler a également commis des erreurs, il a ainsi affirmé qu'aucun trajet fermé n'est possible sur un échiquier de largeur 3 ; un contre-exemple a été donné en 1917 sur un échiquier de taille 3×10[15],[N 1].

Parcours fermé sur un échiquier de taille 3×10[15].
12825619421101316
26730324918152211
29227852023121714

Études ultérieures

Au fil des siècles, les mathématiciens étudient ce thème en variant :

  • les dimensions de l'échiquier,
  • le nombre de joueurs,
  • les propriétés du parcours,
  • la façon dont un cavalier se déplace.

Il a été proposé d'étudier les parcours du cavalier dans lesquels la somme des numéros de passage d'une case est constante suivant les lignes et les colonnes[N 2]. En 1888, 83 tels parcours (dont 27 fermés) ont été déposés au Conservatoire National des Arts et Métiers ; aucun de ces parcours ne donne un carré magique car la somme n'est pas la même en suivant les diagonales[16]. Un 84e parcours a été découvert dans les années 1970[16],[N 3]. Une recherche exhaustive a établi en 2003 que sur un échiquier il existe en tout 108 parcours différents formant des carrés magiques dont aucun n'a de diagonales égales[6],[17],[N 4]

Parcours fermé qui est aussi un carré magique.
(Sauf en ce qui concerne les diagonales)
425921740152263
318416021643914
584320116236237
194574461381324
564562912253651
530554833521126
46732532895035
315447849342710

Il est à noter que quelques travaux sont menés sur le thème du parcours de cavalier au XXIe siècle[15].

Analyse mathématique

Graphe du cavalier montrant tous les mouvements possibles sur un échiquier 8x8 ; le nombre inscrit dans chaque case indique le nombre de cases accessibles depuis celle-ci.

Lien avec la théorie des graphes

La recherche d'un tour du cavalier est un cas particulier des graphes hamiltoniens dans la théorie des graphes. De plus comme un cavalier passe toujours d'une case noire à une case blanche et vice-versa, il s'ensuit que le graphe des mouvements du cavalier est un graphe biparti.

Existence d'un parcours ouvert sur un échiquier rectangulaire

Dans le cas d'une recherche d'un parcours ne bouclant pas nécessairement sur lui-même, il a été prouvé qu'il existe une solution pour tout échiquier rectangulaire dont la longueur et la largeur sont supérieures ou égales à 5[18],[19].

Existence d'un circuit fermé sur un échiquier rectangulaire

Les tours de cavaliers peuvent se faire sur des damiers de différente taille et sur des formes différentes (rectangle, cube, pavé, spirale infinie, etc.), mais il est nécessaire que le nombre de cases soit pair. Dans le cas d'un échiquier rectangulaire on a le résultat d'existence suivant[20]:

Théorème de Schwenk  Pour tout échiquier m × n tel que m soit inférieur ou égal à n, il existe un tour du cavalier, à moins qu'une des conditions suivantes (ou plus) ne soit vraie :

  1. m et n sont impairs; n est différent de 1.
  2. m = 1, 2, ou 4 ; n est différent de 1.
  3. m = 3 et n = 4, 6 ou 8.

Condition 1

La condition 1 empêche l'existence d'un tour fermé, pour de simples raisons de parité et de coloriage. Sur un échiquier noir et blanc standard, un cavalier se déplace du blanc vers le noir ou inversement. Donc un tour fermé doit visiter le même nombre de cases noires et blanches, et le nombre des cases visitées doit être pair. Or si m et n sont impairs, le nombre de cases est impair donc aucun tour fermé n'existe. Par contre il peut exister des tours ouverts.

Condition 2

Selon cette condition, il n'existe pas de tour fermé si le plus petit côté est 1, 2, ou 4.

Si m = 1 ou 2, le cavalier ne peut pas atteindre toutes les cases (sauf dans le cas trivial 1 × 1). On peut aussi montrer l'absence de tour fermé dans le cas 4 × n par un argument de coloriage.

Le cavalier doit alterner vert et rouge.

Supposons qu'il existe un tour fermé sur un échiquier 4 × n. Appelons l'ensemble des cases noires et l'ensemble des cases blanches visitées par le tour, sur un échiquier noir et blanc standard. Regardons la figure de droite. Appelons l'ensemble des cases vertes et celui des cases rouges. Elles sont en nombre égal. Remarquons que le cavalier passe obligatoirement d'une case de à une case de . Comme il doit visiter chaque case, il doit aussi passer d'une case de à une case de (sinon il devrait parcourir deux cases consécutives ou plus de ensuite, ce qui est impossible).

L'examen de ce tour hypothétique donne une contradiction :

  1. La première case du tour sera dans et . Sinon il suffit d'intervertir les définitions de et .
  2. La seconde case doit être dans et .
  3. La troisième case doit être dans et .
  4. La quatrième case doit être dans et .
  5. Et ainsi de suite.

Il en découle que les ensembles et sont confondus, tout comme les ensembles et . C'est absurde, donc aucun tour n'existe dans le cas 4 × n, et ce quel que soit n.

Condition 3

On peut prouver la condition 3 au cas par cas. Rechercher un tour fermé dans les cas 3 × 4, 3 × 6, 3 × 8 échoue rapidement. Pour les cas 3 × n, avec n pair et plus grand que 8, on construit les tours fermés par récurrence, en répétant les mouvements.

Autres cas

Nous avons prouvé l'inexistence d'un tour fermé dans les trois conditions mentionnées. Prouver l'existence d'un tel tour dans les autres cas est plus compliqué[21].

Obtention effective d'un parcours du cavalier

Pour réussir un parcours, il suffit de choisir pour chaque nouveau saut une case libre parmi celle offrant le moins de sauts ultérieurs possibles, quitte à annuler les derniers coups en cas d'impasse : c'est un exercice classique de programmation.

Bien que le problème général de recherche d'un circuit hamiltonien dans un graphe soit NP-complet, le cas particulier du tour du cavalier peut être résolu en temps linéaire[19].

Dénombrement des solutions

Il y a 26 534 728 821 064 circuits fermés différents sur un échiquier carré de 64 cases[22], et il y en a 9 862 sur un échiquier carré de 36 cases[23].

Le nombre de parcours ouverts pour un échiquier carré est donné par suite A165134 de l'OEIS :

Dimension de l'échiquier :12345678
Nombre de parcours ouverts :10001 7286 637 920165 575 218 32019 591 828 170 979 904

Applications

Cryptographie

En littérature

  • Rudrata, un poète du Cachemire de la fin du IXe siècle (vers 825-850), propose un problème d'Euler rédigé en vers : « Les Ornements de la poésie », écrit en sanskrit, qui comporte un ensemble de versets basés sur des séries de syllabes en relation avec le parcours cavalier.
  • Mikhaïl W. Ramseier, dans son roman Nigrida, propose une intrigue qui tourne autour d'un cryptogramme basé sur un chiffre de Vigenère dissimulé au sein d'un problème du cavalier d'Euler.
  • Au XXe siècle, le groupe d'écrivains Oulipo utilise ce problème. L'exemple le plus remarquable est le tour 10 × 10 qui détermine l'ordre des chapitres dans le livre de Georges Perec : La Vie mode d'emploi. Le même auteur a également utilisé un 9 × 9 dans Deux cent quarante-trois cartes postales en couleurs véritables.

Notes et références

Notes

  1. Le théorème de Schwenk (voir infra) permet en fait d'affirmer que les seuls échiquiers de largeur 3 pour lesquels il n'existe pas de circuit fermé ont pour longueur 2, 4, 6, 8 ou un nombre impair.
  2. La somme obtenue vaut alors un huitième de la somme totale des 64 numéros : .
  3. D'autres sources mentionnent d'autres découvertes entre 1888 et 1970, il semble que ce soit Jeux et Stratégie qui a été mal informée
  4. Certains parcours peuvent être numérotés depuis plusieurs cases de départ, en prenant cela en compte il y a 140 parcours au total, aux symétries près.

Références

  1. La longueur maximale d'un parcours ouvert est donné par la suite A003192 de l'OEIS, et celle d'un parcours fermé par la suite A157416 de l'OEIS.
  2. C. Rajendran, "Caturanga movements described in Rudrata's Kavyalankara", dans Working-Papers "Indian Views", Förderkreis Scach-Geschichtsforschung e.V., novembre 2001.
  3. Sesiano 2015, p. 163
  4. Sesiano 2015, p. 162
  5. Sesiano 2015, p. 161
  6. (en) « History of Magic Knight's Tour », sur mayhematics,
  7. Sesiano 2015, p. 157
  8. Sesiano 2015, p. 159
  9. Sesiano 2015, p. 160
  10. Sesiano 2015, p. 165-167
  11. Sesiano 2015, p. 168
  12. Sesiano 2015, p. 169
  13. Euler, Solution d'une question curieuse qui ne paraît soumise à aucune analyse, Mémoires de l'Académie Royale des Sciences et Belles Lettres, Année 1759, vol.15, pp.310-337, Berlin 1766
  14. Sesiano 2015
  15. Jean-Paul Delahaye, « Du flou et du faux en mathématiques », Pour la Science, no 516, .
  16. Pierre Berloquin, « Manœuvre de cavalerie », Jeux et Stratégie, no 18, , p. 24-26.
  17. (en) Eric W. Weisstein, « There Are No Magic Knight's Tours on the Chessboard », sur MathWorld, .
  18. (en) P. Cull et J. De Curtins, « Knight's Tour Revisited », Fibonacci Quarterly, vol. 16, , p. 276–285 (lire en ligne)
  19. (en) A. Conrad, T. Hindrichs, H. Morsy et I. Wegener, « Solution of the Knight's Hamiltonian Path Problem on Chessboards », Discrete Applied Mathematics, vol. 50, no 2, , p. 125–134 (DOI 10.1016/0166-218X(92)00170-Q)
  20. (en) Allen J. Schwenk, « Which Rectangular Chessboards Have a Knight’s Tour? », Mathematics Magazine, , p. 325–332
  21. (en) John J. Watkins, Across the Board : the Mathematics of Chessboard Problems, Princeton University Press, , 257 p. (ISBN 978-0-691-11503-0, lire en ligne)
  22. (en) Brendan McKay, « Knight's Tours on an 8 × 8 Chessboard », Technical Report TR-CS-97-03, Department of Computer Science, Australian National University, (lire en ligne)
  23. (en) Eric W. Weisstein, « Knight's Tour », sur MathWorld
  24. (en) Manpreet Singha, Ajay Kakkarb et Manjinder Singhc, « Image Encryption Scheme Based on Knight’s Tour Problem », Procedia Computer Science, (lire en ligne).
  25. (en) Ali Shakir Mahmood et Mohd Shafry Mohd Rahim, « Generating and Expanding of an Encryption Key Based on the Knight's Tour Problem », Journal of Theoretical and Applied Information Technology, vol. 95, no 7, (lire en ligne).


Bibliographie

Articles connexes

Liens externes


  • Portail des mathématiques
  • Portail des échecs
  • Portail de l'informatique théorique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.