Les blagues nerd ne sont plus rares à la télévision. Vous les voyez dans Les Simpsons, vous les voyez partout. Mais Futurama ? Futurama est devenu nucléaire sur le gag.
Prenez « Le Prisonnier de Benda », un épisode remarquable dans lequel l’écrivain Ken Keeler s’est heurté à un mur. Il lui fallait une solution d’intrigue qui nécessitait une preuve mathématique authentique et originale. Pas un accessoire. Ce n’est pas une blague. Une vraie preuve. Et cela devait fonctionner dans la logique de la série.
Si vous aimez plonger en profondeur à l’intersection de la culture pop et de la science dure, vous êtes au bon endroit. Il ne s’agit pas seulement de dessins animés. Il s’agit de la façon dont une salle d’écrivains a accidentellement résolu un problème de théorie des permutations.
L’échange qui a brisé l’univers
Le principe commence simple. Le professeur Farnsworth invente un appareil permettant d’échanger les idées. Il échange avec Amy, qui veut manger de la malbouffe sans calories. Amy classique.
Mais il y a un piège. La machine est une offre unique pour une paire donnée. Si A échange avec B, vous ne pouvez pas simplement les échanger directement. Le verrou est engagé.
Le chaos s’ensuit. Sept paires différentes sont utilisées. Neuf personnages se retrouvent dans un enchevêtrement de corps. Qui est qui ? Personne ne le sait. Pas même les écrivains, au départ.
Bender vole un yacht. Leela recherche des indices romantiques dans le cerveau de Fry. Fry, dans un étrange mouvement de vengeance, prend la forme de homard laid du Dr Zoidberg parce qu’il se déteste ? Ou peut-être qu’il voulait juste être bizarre.
Le but est simple : chacun retrouve son corps. Le problème est impossible selon les règles établies. Vous ne pouvez pas annuler les échanges avec la distribution existante.
Keeler, titulaire d’un doctorat en mathématiques, regardait le tableau. Il s’est rendu compte qu’il avait besoin de nouveaux personnages pour réparer le désordre. Mais combien ?
Le nombre d’assistants pourrait-il augmenter avec la taille du groupe ? Ou y avait-il un petit nombre fixe qui fonctionnait toujours ?
Il s’est penché sur la littérature. Rien. Le problème de comment résoudre le paradoxe de l’échange de corps n’avait pas été abordé dans les revues universitaires.
Alors Keeler l’a écrit. Et il l’a prouvé.
Les mathématiques derrière la folie
Voici la version abstraite du problème.
Imaginez des articles à $n$ dans une commande brouillée. Le but est de les remettre dans l’ordre (1, 2, …, $n$) à l’aide de swaps. Le problème : vous ne pouvez échanger que deux éléments à la fois et vous ne pouvez pas en réutiliser une paire.
Keeler a découvert qu’en introduisant seulement deux caractères supplémentaires (appelons-les $x$ et $y$), vous pouvez résoudre le problème de n’importe quel nombre de caractères initiaux $n$.
C’est ce qu’on appelle le théorème de Futurama. Cela ressemble à une anecdote, mais c’est une théorie de groupe légitime.
La méthode de Keeler fonctionne en divisant l’ensemble brouillé en deux moitiés. Une moitié va de 1 à $i$, l’autre de $i+1$ à $n$. Ensuite, en utilisant les deux nouvelles variables $x$ et $y$, il permute les éléments.
Le processus ressemble à ceci :
- Échangez les éléments égarés de la première moitié avec $x$.
- Échangez les éléments de la seconde moitié avec $y$.
- Échangez $x$ avec $i+1$.
- Échangez $y$ avec 1.
Le résultat ? L’ordre initial est rétabli. Les variables supplémentaires $x$ et $y$ s’annulent. Ils sont laissés sur place, échangés les uns avec les autres, mais tout le monde est à la maison.
Les Globetrotters sauvent la journée
Dans l’épisode, les Harlem Globetrotters – oui, la véritable équipe de divertissement de la NBA – arrivent pour aider. Deux joueurs, Sweet Clyde Dixon et Bubblegum Tate, s’approchent du tableau.
Ils rédigent la preuve de Keeler.
Les calculs sont vérifiés. Pour Fry et Zoidberg, coincés dans un simple échange bidirectionnel, les Globetrotters utilisent quatre étapes. Ils traitent la paire comme $(2, 1)$ et appliquent l’algorithme.
Le nombre total d’étapes pour les neuf personnages s’élève à 13 en utilisant cette méthode. Le minimum possible est de 9, mais 13 est propre et fonctionne dans le cadre des contraintes narratives.
À la fin de l’épisode, chaque esprit est dans le bon corps. Les Globetrotters restent échangés les uns avec les autres. Ils pourraient revenir en arrière, mais ce n’est pas grave. La mission est terminée.
Pourquoi c’est important (au-delà des gags)
Keeler était satisfait de sa preuve. Mais il ne l’a pas soumis. Il pensait que c’était une curiosité et non une contribution au domaine.
Il avait tort.
En 2014, les mathématiciens Ron Evans, Lihua Huang et Tuan Nguyen ont repris la logique de Keeler et l’ont formalisée. Ils ont publié une épreuve améliorée de neuf pages dans l’American Mathematical Monthly.
Ils n’ont pas seulement cité l’épisode. Ils l’ont validé. Le « Théorème de Futurama » est désormais un résultat reconnu en théorie combinatoire des groupes, notamment concernant les permutations et la décomposition par cycles.
Cela soulève une question intéressante sur la créativité. Parfois, la meilleure façon de résoudre un problème académique rigide est de l’aborder à partir d’un dessin animé.
L’épisode tient le coup. Le calcul tient la route. Les Globetrotters sont toujours cool.
Mais voici la pensée qui persiste : nous traitons ces domaines comme distincts. Les mathématiques sont dans la tour d’ivoire. La comédie est dans le salon. Lorsqu’ils se croisent, le résultat est généralement un gadget.
Keeler a prouvé que l’intersection peut être structurelle. Réel. Utile.
La prochaine fois que quelqu’un vous dira que la culture pop n’a pas de profondeur, rappelez-lui les Globetrotters. Rappelez-leur le tableau noir. Rappelez-leur que parfois, vous avez besoin de deux personnages supplémentaires pour résoudre un problème dont vous ignoriez l’existence.
Et peut-être, juste peut-être, que la solution n’est pas de revenir en arrière. C’est pour continuer à avancer. Avec deux nouveaux amis.
