Énigme de combustion de mèches

En mathématiques récréatives, les énigmes de combustion de mèches sont un type de casse-tête mathématique dans lesquels sont données des longueurs de cordes ou de mèches brûlant (de manière non uniforme) pendant un temps donné pris pour unité, et qu'on doit allumer de manière à mesurer une certaine durée. Les nombres fusibles sont les durées que l'on peut mesurer ainsi ; en 2021, une équipe de chercheurs américains a démontré de surprenants résultats d'indécidabilité concernant l'ensemble des nombres fusibles.

Le problème de base

La variante la plus simple et la plus connue de ces problèmes demande de mesurer un temps de 45 secondes en utilisant deux mèches dont chacune met une minute à brûler entièrement lorsqu'on en allume une extrémité ; l'énoncé précise qu'elles brûlent à une vitesse non constante, ce qui interdit des solutions mesurant la longueur de mèche souhaitée[1].

La solution (unique avec ces contraintes) consiste à :

  • allumer une extrémité de la première mèche, et les deux extrémités de l'autre mèche ;
  • lorsque la seconde mèche a entièrement brûlé, 30 secondes se sont écoulées ; on allume la deuxième extrémité de la première mèche.
  • lorsque la première mèche s'est consumée, 45 secondes se sont écoulées[1].

Nombres fusibles

Formalisant l'énoncé précédent, on dispose d'un nombre arbitraire de mèches brûlant dans le temps 1, et les seules opérations autorisées sont d'allumer une extrémité au temps (et la mèche a entièrement brûlé au temps ) ou d'allumer ensuite la seconde extrémité au temps (et alors la mèche sera entièrement consumée au temps ). Les nombres fusibles sont ceux qu'on peut construire à partir de 0 en utilisant uniquement ces deux opérations ; la solution donnée au problème de base montre que est un nombre fusible. On montre sans perte de généralité qu'on peut toujours se ramener au second cas, et donc que l'ensemble des nombres fusibles, , est le plus petit ensemble contenant 0 et stable pour l'opération , où et sont deux éléments de tels que [1].

est un sous-ensemble bien ordonné de l'ensemble des rationnels dyadiques positifs, c'est-à-dire des fractions dont les dénominateurs sont des puissances de deux ; cela veut dire que toute suite décroissante de nombres fusibles est finie. Le type d'ordre de est , un nombre ordinal qui est le plus petit des nombres epsilon[1]. étant bien ordonné et contenant tous les entiers, pour chaque entier il y a un plus petit nombre fusible supérieur à  ; il est de la forme . L'entier croît extrêmement vite avec (c'est la suite A188545 de l'OEIS) : alors que et que , et est déjà supérieur à (en notation des flèches de Knuth). En 2021, une équipe autour de Jeff Erickson a construit un algorithme explicite de calcul de très simple[2], mais dont le fait qu'il s'arrête quel que soit est impossible à démontrer avec les axiomes de Peano[3] ; ce résultat, analogue à ceux de Paris et Kirby pour les suites de Goodstein, est sans doute le résultat d'indécidabilité le plus naturel obtenu jusqu'à présent[1].

Variantes et généralisations

Beaucoup de variantes de l'énoncé sont possibles, par exemple en utilisant des mèches non toutes identiques. On peut également envisager d'allumer les mèches ailleurs qu'en leurs extrémités. Si par exemple on a à tout instant trois extrémités allumées (en commençant par allumer une extrémité et un point au milieu de la mèche, puis en rallumant une extrémité (ou un point au milieu) chaque fois qu'une extrémité s'éteint, ce qui peut demander une suite infinie de mises à feu), il est clair que la mèche se consumera au total en 1/3 du temps ; généralisant cette méthode, on voit qu'on peut obtenir ainsi toute fraction unitaire, puis tout rationnel.

Les résultats connus sur les développements égyptiens montrent que pour mesurer ainsi un temps , avec , il suffit de mèches (où est la notation de Landau) ; une conjecture de Paul Erdős affirme que mèches pourraient toujours suffire[4].

Historique

Dans un livret sur ces problèmes intitulé Shoelace Clock Puzzles puzzles d'horloges en lacets de chaussures »), créé pour une conférence Gathering 4 Gardner (en) de 1998, Dick Hess attribue ces puzzles au statisticien de Harvard Carl Morris (en)[5].

Outre leur intérêt récréatif, ces puzzles sont parfois utilisé dans des entretiens d'embauche comme test des capacités de résolution de problèmes[6], et ont été également proposés comme activités mathématiques au collège[7].

Notes et références

  1. Delahaye 2021.
  2. Plus précisément, ils définissent , la distance entre x et le plus petit nombre fusible plus grand que x, récursivement par si , et sinon.
  3. Erickson 2021 ; cet article contient d'autres résultats d'indécidabilité, par exemple le fait que ces axiomes ne permettent pas non plus de démontrer que est bien ordonné.
  4. Erdős 1950.
  5. Hess 2009.
  6. Mongan 2012.
  7. Brumbaugh 2013.

Bibliographie

  • Jean-Paul Delahaye, « Mesurer le temps en allumant des mèches », Pour la science, vol. 527, , p. 80–85
  • (en) Douglas K. Brumbaugh, Teaching Middle School Mathematics, Routledge, , 191, 309 (ISBN 978-1-136-75622-1)
  • (en) Jeff Erickson, Gabriel Nivasch et Junyan Xu, Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021), IEEE, , 1–13 p. (DOI 10.1109/lics52264.2021.9470703, arXiv 2003.14342)
  • (hu) Pál Erdős, « Az egyenlet egész számú megoldásairól » Sur les solutions entières de . »], Matematikai Lapok, vol. 1, , p. 192–210 (Math Reviews 0043117, lire en ligne)
  • (en) Nathan Haselbauer, 60-Second Brain Teasers Pencil-Free Puzzles: Short Head-Scratchers from the Easy to Near Impossible, Fair Winds Press, , 77, 121 (ISBN 978-1-63159-927-9)
  • (en) Dick Hess, All-Star Mathlete Puzzles, coll. « Official Mensa Puzzle Books », (ISBN 978-1-4027-5528-6), p. 9
  • (en) John Mongan, Noah Suojanen Kindler et Eric Giguère, Programming Interviews Exposed: Secrets to Landing Your Next Job, John Wiley & Sons, (ISBN 978-1-118-28720-0), p. 234
  • (en) Peter Winkler, Mathematical Puzzles: A Connoisseur's Collection, A K Peters, , 2, 6 (ISBN 1-56881-201-9)
  • Portail des mathématiques
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.