Lights Out : image, noyau et stratégies qui ne changent rien

Intervenant 10:00

Bienvenue à toutes les personnes à l'écoute dans le podcast du magazine Tangente pour une nouvelle exploration où nous allons plonger au cœur d'une mécanique assez incroyable. Imaginez un code de triche dans un jeu vidéo, un code dont la seule et unique fonction serait de s'annuler lui-même.

Intervenant 20:17

Ah oui, le genre de manipulation qui ne laisse absolument aucune trace.

Intervenant 10:21

Exactement. Une séquence de touches hyper frénétiques et à la fin, bam, le système reste exactement dans l'état où il se trouvait au départ. Comme si rien ne s'était jamais produit en fait.

Intervenant 20:32

C'est un concept un peu vertigineux quand on y pense.

Intervenant 10:35

Totalement. Et notre mission aujourd'hui pour cette analyse, c'est de s'aventurer là-dedans, au cœur de l'algèbre linéaire, mais bien au-delà des lettres grecques et des tableaux noirs remplis d'équations quoi. On va voir comment des notions hyper fondamentales, genre l'application linéaire, le noyau, l'image, deviennent en fait les rouages invisibles pour qu'un simple jeu logique puisse fonctionner sans s'effondrer.

Intervenant 20:58

Ouais, et cette mécanique invisible, elle prend vraiment tout son sens quand on quitte un peu la théorie pure pour analyser un objet matériel bien précis. Et là, on va parler du fameux jeu Lights Out.

Intervenant 11:07

Oh là là, le Lights

Intervenant 21:09

Out ! Commercialisé par Tiger Toys en 95, c'est vraiment le terrain de démonstration idéal pour tout ça.

Intervenant 11:14

Un classique des années 90, ouais.

Intervenant 21:16

C'est ça. Pour concevoir ce petit boîtier électronique un peu carré là, avec sa simple grille de 25 boutons lumineux, les ingénieurs ont dû se heurter aux lois inflexibles des espaces vectoriels. Et pas n'importe lesquels, des espaces construits sur ce qu'on appelle un corps fini.

Intervenant 11:32

Bon, décortiquons un peu ça, parce que ça sonne un peu gros dit comme ça.

Intervenant 21:37

Je te l'accorde, c'est un peu intimidant.

Intervenant 11:38

Alors, pour visualiser le truc, rappelons juste la dynamique du jeu pour commencer. On a une matrice de cinq boutons sur cinq. Chaque bouton ne possède que deux états, allumé ou éteint. Et c'est tout.

Intervenant 21:50

Binaire, pur et dur.

Intervenant 11:52

Voilà. Et les concepteurs auraient pu faire un truc super simple. Mais la règle centrale du Lights Out, c'est la réaction en chaîne. Si on appuie sur un bouton pour changer son état, on inverse aussi simultanément l'état de ses voisins immédiats.

Intervenant 22:04

Le haut, le bas, la gauche, le droit.

Intervenant 12:06

C'est ça. Une lumière allumée s'éteint, une éteinte s'allume et le but du jeu, c'est de plonger tout le plateau dans l'obscurité totale à partir d'une configuration de départ que la machine nous donne.

Intervenant 22:19

Et le pire, c'est que la première étape pour maîtriser ce chaos, parce que c'est vite le chaos sur l'écran, c'est de réaliser que l'ordre des actions n'a absolument aucune incidence sur le résultat final.

Intervenant 12:29

Attends, vraiment aucune ?

Intervenant 22:31

Aucune. Qu'on décide d'appuyer sur le coin supérieur gauche puis sur le centre, ou l'inverse, la grille à la fin sera strictement identique. En mathématiques, on dit que l'opération est totalement commutative.

Intervenant 12:42

Ah oui, d'accord. Donc l'historique de nos clics ne compte pas.

Intervenant 22:45

Exactement. Conséquence directe, la seule information pertinente pour résoudre la grille, c'est de savoir si un bouton spécifique a été pressé ou non, au final. Appuyer deux fois sur le même bouton, ça revient juste à annuler la première pression.

Intervenant 12:56

Bah oui, vu que ça le rallume puis ça l'éteint.

Intervenant 22:59

On évolue donc exclusivement dans un univers bouléant où les seules valeurs possibles sont le 0 et le 1. Et là où ça devient fou, c'est que l'addition suit une règle bien particulière. 1 plus 1 égale 0.

Intervenant 13:11

C'est le principe de l'interrupteur en fait. Ou si on veut filer une analogie un peu plus moderne, c'est comme la réduction de bruit actif dans un casque audio haut de gamme.

Intervenant 23:19

Ah, j'aime bien cette image.

Intervenant 13:20

Bah oui, une onde sonore spécifique rencontre son opposé parfait, et c'est pas qu'il n'y a plus d'énergie, c'est que les deux signaux s'additionnent, par interférence destructive, pour créer le silence complet.

Intervenant 23:30

Tout à fait.

Intervenant 13:31

Ici, deux pressions sur le même bouton s'additionnent pour donner une annulation. Donc, mathématiquement, ça veut dire qu'une stratégie globale pour gagner, ça se limite à une liste de 25 choix binaires, une matrice colonne quoi. Un simple vecteur rempli de 0 et de 1.

Intervenant 23:46

Exactement. Et ce vecteur de stratégie, on va l'appeler S comme stratégie. C'est notre donnée d'entrée. Ensuite, le système doit appliquer les règles de la lumière pour chaque bouton qu'on a pressé.

Intervenant 13:58

Et ça, ça se modélise comment ?

Intervenant 24:00

Eh bien, l'ensemble de ces règles, ça peut être encodé dans une matrice carrée assez imposante, de 25 lignes par 25 colonnes, qu'on nommera J pour le jeu. Cette matrice J, elle contient des 1 sur sa diagonale, parce que chaque bouton agit sur lui-même, et des 1 aux intersections des voisins. Partout ailleurs, ce sont des

Intervenant 14:17

zéros. Ok, je vois le tableau.

Intervenant 24:19

Cette matrice J, c'est ce qu'on appelle un endomorphisme. C'est l'application linéaire qui transforme une stratégie invisible en une configuration visuelle concrète.

Intervenant 14:29

Alors, qu'est-ce que tout ça signifie ? Parce que si on pose l'équation, on obtient la matrice J multipliée par le vecteur stratégie S, ce qui donne le vecteur configuration finale, disons C. Donc J fois S égale C.

Intervenant 24:45

C'est exactement l'équation du jeu, oui.

Intervenant 14:47

Mais du coup, face à une équation comme ça, en algèbre linéaire classique, le réflexe immédiat, c'est de chercher à isoler S.