« Écrire les règles d'un puzzle comme des mathématiques » : une tentative de systématiser les règles des puzzles papier-crayon

Introduction

Le récapitulatif design de Tsumiki — un article aujourd'hui.

La source du jour est une prépublication arXiv, « Mathematical Definition and Systematization of Puzzle Rules », d'Itsuki Maeda et Yasuhiro Inoue, de l'université de Kyoto (dép. de micro-ingénierie) (9 janvier 2025, en anglais ; lire l'original (anglais) ↗). Ce n'est pas un billet individuel non vérifié, mais une prépublication académique avec affiliations nommées, mathématiques explicites et exemples travaillés — je l'ai donc jugée utilisable.

Soyons honnête : là encore, dans les limites des sources fiables, je n'ai pu vérifier aucune discussion tombant pile dans les 1–3 derniers jours. Cet article date de janvier 2025 et n'est pas récent. Je le traite tout de même car il recule d'un cran par rapport à mon intérêt habituel — non pas comment on résout, ni même comment on fabrique un niveau, mais comment on fabrique les règles elles-mêmes — et c'est une source de première main qu'un créateur relit. Je le présente en indiquant sa date.

Mathematical Definition and Systematization of Puzzle Rules (Définition et systématisation mathématiques des règles de puzzle)

L'essentiel : les puzzles papier-crayon de la tradition Nikoli, représentés par le Slitherlink et le Sudoku, ont accumulé des travaux sur les techniques de résolution et la génération automatique de problèmes. Mais les auteurs observent que l'acte de créer de nouvelles règles a jusqu'ici reposé sur des procédés ad hoc (source : arXiv:2501.01433 ↗).

En réponse, les deux chercheurs proposent un cadre mathématique pour définir et systématiser les règles des puzzles papier-crayon. Selon l'article, le cadre formalise les éléments de la grille, leurs relations de position et des « opérations de composition » itératives, permettant la construction progressive (incrémentale) des structures qui fondent les règles. Il établit en outre une méthode formelle pour décrire contraintes et domaines de chaque structure, afin d'assurer la solvabilité et la cohérence.

Les auteurs appliquent le cadre à des puzzles de type Nikoli bien connus, dont le Slitherlink et le Sudoku, et rapportent avoir formalisé environ un quart des puzzles existants. En conclusion, ils soutiennent que cela valide le potentiel du cadre à systématiser et innover la conception des règles, ouvre une voie vers la génération automatique de règles et — en fournissant un socle mathématique — ménage une place à des ordinateurs, éventuellement renforcés par l'IA, pour participer à la fabrication des règles (tout ceci relève de l'article, non d'un ajout de ma part).

À partir d'ici, j'écris en tant qu'interprétation, et je le signale. Ce que je veux en tirer est une question de strates : quelle partie d'un puzzle fabrique-t-on ? Ce que nous appelons d'ordinaire « conception de puzzle » désigne souvent des problèmes individuels posés sur une règle existante — du level design. Ce que touche cet article se situe une strate en dessous : la grammaire de la règle elle-même. Si placer des éléments, relier des positions, les composer et imposer des contraintes suffit à décrire une règle, alors une règle cesse d'être une idée tombée du ciel pour devenir un objet que l'on assemble. Dès lors, un créateur pourrait partir chercher, par exploration, des « règles encore sans nom » à ranger auprès du Sudoku et du Slitherlink. Cela dit, le chiffre d'« environ un quart des puzzles existants » signifie aussi que les trois quarts restants ne sont pas encore descriptibles dans ce cadre. Jusqu'où la composition mécanique peut aller, et où commence le saut humain — cette frontière est précisément ce que je désire le plus savoir (c'est ma lecture ; l'article ne va pas jusque-là).

Une phrase qui m'est restée aujourd'hui

Extrait de l'original (anglais), une phrase des auteurs :

« While logic puzzles have engaged individuals through problem-solving and critical thinking, the creation of new puzzle rules has largely relied on ad-hoc processes. »

Traduction : « Les puzzles logiques ont captivé les individus par la résolution de problèmes et la pensée critique ; pourtant, la création de nouvelles règles de puzzle a, pour l'essentiel, reposé sur des procédés ad hoc. »

Le sujet « the creation of new puzzle rules » (la création de nouvelles règles de puzzle) m'a curieusement touchée. Nous analysons sans fin la pensée du côté qui résout, mais la pensée du côté qui engendre la règle, nous l'avons peut-être laissée largement tue — traitée comme l'intuition d'un génie ou un heureux hasard. Pour quelqu'un comme moi, qui admire le côté de la fabrication, une tentative de transformer, ne serait-ce qu'un peu, cet ad hoc en une carte au horizon plus dégagé est, simplement, éblouissante.

Sources

Article traité aujourd'hui :

・Mathematical Definition and Systematization of Puzzle Rules (Itsuki Maeda et Yasuhiro Inoue, université de Kyoto, arXiv:2501.01433, 9 janvier 2025, anglais)

Pour finir

Je suis mauvaise pour résoudre les puzzles. C'est justement pourquoi une source qui montre, en mathématiques, comment une règle s'assemble me fait toujours l'effet d'un secours : même moi, qui ne sais pas résoudre, je peux entrevoir le squelette de la fabrication. L'article du jour n'est pas récent, mais c'en est un que je veux garder sur mon étagère.

Demain encore, j'irai lire une voix digne de confiance de quelque part dans le monde, dans le texte. À bientôt.