Roomshade · Matière à réflexion
Tout casse-tête Roomshade repose sur quatre contraintes qui, ensemble, produisent une solution unique et inévitable.
Rédigé et édité en anglais. Cette version française a été produite par traduction automatique ; en cas de doute sur un point précis, l'original anglais fait foi. Lire l'original en anglais →
Un casse-tête Roomshade commence par une grille vide, partitionnée en salles rectangulaires par des traits gras. Certaines salles portent un nombre, d'autres restent vierges. La tâche du joueur consiste à ombrer exactement le bon nombre de cases dans chaque salle numérotée, tout en respectant trois contraintes supplémentaires qui s'étendent à toute la grille. Ces quatre règles, le compte par salle, l'interdiction d'adjacence, l'exigence de connexité et la limite de franchissement en ligne, n'agissent pas isolément. Elles forment un système emboîté où satisfaire une règle crée souvent les conditions nécessaires pour en satisfaire une autre, et où en enfreindre une seule invalide le casse-tête. 3 1
L'élégance de cette conception tient à la manière dont chaque règle contraint les autres. La règle du compte par salle agit localement : elle ne gouverne que les cases situées à l'intérieur des limites d'une salle. La règle d'adjacence agit elle aussi localement, mais elle crée des rapports entre salles voisines. La règle de connexité agit globalement : elle exige que toute la région blanche forme un seul chemin continu. La règle des lignes agit le long des droites qui peuvent traverser plusieurs salles. Ensemble, ces contraintes donnent un casse-tête où les déductions locales se propagent en conclusions globales, et où la solution surgit non du hasard mais de la compréhension de la façon dont les règles s'emboîtent pour éliminer toutes les possibilités sauf une. 3
La première règle, la plus immédiatement visible, énonce qu'une salle portant un nombre doit contenir exactement ce nombre de cases ombrées. C'est le mécanisme d'indice principal du casse-tête, l'information que le joueur reçoit sur l'intérieur de chaque salle. Une salle de taille trois avec un indice de deux réclame exactement deux cases ombrées et une case blanche. Une salle de taille six avec un indice de trois réclame trois cases ombrées et trois cases blanches. Une salle sans étiquette n'impose aucune contrainte de ce genre, mais la règle d'adjacence la plafonne tout de même : elle peut contenir de zéro case ombrée jusqu'au maximum que ses cases peuvent accueillir sans que deux d'entre elles se touchent, soit, pour un rectangle, la moitié de ses cases arrondie à l'entier supérieur. 3
Cette règle ne suffit à elle seule à résoudre presque aucun casse-tête. Une salle 3×2 portant l'indice deux, par exemple, peut disposer ses deux cases ombrées de quinze façons différentes. La règle fournit une information locale mais laisse subsister une ambiguïté considérable. Or c'est précisément cette ambiguïté que les autres règles lèvent. La règle d'adjacence, la règle de connexité et la règle des lignes éliminent chacune certains agencements que la seule règle du compte autoriserait. Le compte plante le décor ; les autres règles décident quels acteurs peuvent entrer en scène. 3
La deuxième règle interdit à deux cases ombrées d'être orthogonalement adjacentes. Deux cases ombrées ne peuvent jamais partager une arête ; elles ne peuvent se toucher qu'en diagonale. Cette règle impose un espacement qui se propage par-delà les frontières des salles. Dès qu'une case est ombrée, elle interdit aussitôt d'ombrer ses voisines orthogonales, que celles-ci appartiennent à la même salle ou à une salle voisine. D'où un effet de ricochet : ombrer une case peut éliminer des possibilités dans les salles voisines, ce qui à son tour peut forcer d'autres cases à être ombrées ou blanches. 1
La règle d'adjacence est particulièrement puissante lorsqu'on la conjugue à la règle du compte par salle. Prenons une salle 1×3 portant l'indice deux. Deux cases ombrées ne peuvent pas être côte à côte : elles doivent donc occuper les deux extrémités, et la case du milieu doit rester blanche. La règle du compte fixe combien, la règle d'adjacence fixe lesquelles. Prenons à l'inverse une salle où une seule case peut être ombrée. La règle d'adjacence contraint alors les cases des salles voisines qui peuvent être ombrées, car ombrer une case adjacente à l'unique case ombrée enfreindrait la règle. C'est dans ce jeu entre la règle du compte et la règle d'adjacence que s'amorce l'essentiel de la déduction. 3
La troisième règle exige que toutes les cases blanches forment une seule région orthogonalement connexe. Autrement dit, depuis n'importe quelle case blanche, on doit pouvoir atteindre n'importe quelle autre case blanche en se déplaçant uniquement orthogonalement à travers des cases blanches. Cette règle agit globalement sur toute la grille, ce qui en fait l'une des contraintes les plus puissantes du jeu. Elle empêche la région blanche de se fragmenter en poches isolées, ce qui pourrait survenir si un anneau de cases ombrées venait à clôturer une poche de cases blanches et à la couper du reste de la grille. 3
La règle de connexité devient particulièrement décisive dans les phases tardives de la résolution, quand la plupart des cases sont déterminées et que la question restante est de savoir si les cases blanches forment bien une seule région connexe. Elle peut forcer certaines cases à rester blanches là même où la règle d'adjacence permettrait de les ombrer. Ainsi, si ombrer une case donnée isolait un groupe de cases blanches du reste de la grille, cette case doit rester blanche. Cette règle transforme les décisions locales en conséquences globales : elle oblige le joueur à garder à l'esprit la structure blanche de toute la grille pendant qu'il tranche le sort de chaque case. 3
La quatrième règle, la plus subtile, énonce qu'aucune ligne droite horizontale ou verticale de cases blanches connectées ne peut traverser trois salles ou plus. Une suite droite de cases blanches peut franchir au plus une frontière de salle, autrement dit contenir des cases d'au plus deux salles. Cette règle agit le long de droites qui coupent les frontières des salles, et crée une contrainte invisible tant qu'on n'examine pas les lignes horizontales et verticales de la grille. 1
Cette règle est particulièrement efficace pour éliminer des configurations qui satisferaient par ailleurs les trois premières. Une longue suite horizontale de cases blanches franchissant deux frontières de salles, par exemple, enfreindrait cette règle même si les cases sont correctement espacées selon la règle d'adjacence et appartiennent à des salles aux comptes justes. La règle force les cases blanches à être interrompues par des cases ombrées à des points stratégiques de leur ligne, d'où ce motif visuel de cases blanches qui semblent segmentées par les cases ombrées qui les séparent. 3
La véritable puissance de Roomshade naît de la façon dont ces quatre règles travaillent ensemble. La règle du compte par salle fournit l'information de départ mais laisse de nombreux agencements possibles. La règle d'adjacence en élimine certains en interdisant les cases ombrées orthogonalement adjacentes. La règle de connexité élimine ceux qui fragmenteraient la région blanche. La règle des lignes élimine ceux qui créeraient des lignes blanches traversant trop de salles. Chaque règle retranche un sous-ensemble différent de possibilités, et ensemble elles n'en laissent subsister qu'un seul : la solution unique. 3
Cet emboîtement donne un casse-tête dont la solution ne peut être trouvée en satisfaisant les règles isolément. Une case peut être permise par la règle du compte et par la règle d'adjacence, et pourtant interdite par la règle de connexité. Une autre peut satisfaire la règle d'adjacence tout en créant une ligne blanche qui enfreint la règle des lignes. Le joueur doit vérifier les quatre règles en permanence, en sachant qu'une déduction fondée sur l'une peut ouvrir de nouvelles possibilités ou de nouvelles contraintes sous une autre. C'est là l'essence de la déduction dans ce casse-tête : suivre les conséquences de chaque règle à mesure qu'elles se propagent dans toute la grille. 3
Les casse-tête Roomshade se déclinent en trois tailles standard : petite (5×5), moyenne (6×6) et grande (7×7). Ces dimensions font varier la complexité du casse-tête, mais non les règles elles-mêmes. Une grille de 5×5 contient moins de cases et moins de salles qu'une grille de 7×7, si bien que la solution demande en général moins d'étapes de déduction. La structure fondamentale du casse-tête, elle, reste la même quelle que soit la taille. 3
Chaque salle est un rectangle dont les dimensions vont de une à trois cases dans chaque direction. On obtient ainsi des salles allant de la case unique 1×1 à la salle de neuf cases 3×3. Les dimensions des salles infléchissent l'application des règles de manière intéressante. Une salle 1×1 portant l'indice un doit être ombrée ; une salle 1×1 portant l'indice zéro doit rester blanche. Une salle 3×3 portant l'indice cinq réclame cinq cases ombrées et quatre cases blanches, et la règle d'adjacence ne laisse qu'une seule façon de les placer : les quatre coins et le centre. Les dimensions des salles, combinées aux valeurs des indices, forment les conditions initiales à partir desquelles les règles doivent produire la solution unique. 3
Certaines salles affichent leur nombre-indice, d'autres restent vierges. Un indice masqué signale que la salle n'est soumise à aucune contrainte de compte : elle peut contenir n'importe quel nombre de cases ombrées, de zéro jusqu'au maximum que ses cases peuvent accueillir sans que deux d'entre elles se touchent. Les salles vierges obéissent toujours à la règle d'adjacence, à la règle de connexité et à la règle des lignes, mais elles n'apportent aucune contrainte numérique au casse-tête. 3
La présence de salles vierges ajoute une couche de complexité. Privé de contrainte numérique, le joueur doit décider quelles cases ombrer dans ces salles en s'appuyant entièrement sur les trois autres règles. Cela demande d'analyser soigneusement l'effet de chaque ombrage sur les salles voisines et sur la structure blanche globale. Les salles vierges peuvent servir de passerelles entre salles numérotées, en laissant les chemins blancs circuler de l'une à l'autre, ou bien être comblées de cases ombrées pour barrer des lignes blanches indésirables. Le jeu entre salles vierges et salles numérotées est un élément clé de la conception de Roomshade. 3
La beauté de Roomshade tient à la façon dont les déductions locales se propagent en conclusions globales. Une case ombrée dans un coin de la grille peut, par l'emboîtement des règles, déterminer l'état de cases situées bien des salles plus loin. La règle d'adjacence se propage localement, en interdisant les voisines des cases ombrées. La règle de connexité se propage globalement, en exigeant que toute la région blanche reste connexe. La règle des lignes se propage le long des droites, en interdisant les suites blanches qui traversent trop de salles. 1
Cette propagation donne un casse-tête où le joueur doit sans cesse réviser sa lecture de la grille à mesure que de nouvelles informations apparaissent. Une case autrefois ambiguë peut devenir forcée dès qu'une voisine est déterminée. Une salle qui semblait admettre plusieurs configurations valides peut se réduire à un agencement unique dès que la règle de connexité s'applique. La solution ne surgit pas d'une illumination unique, mais de l'effet cumulé des quatre règles appliquées et réappliquées jusqu'à ce que chaque case soit déterminée. 3
Tout casse-tête Roomshade possède exactement une solution. Cette unicité n'est pas fortuite : elle est garantie par la construction du casse-tête. Le solveur par retour sur trace employé pour engendrer les grilles vérifie qu'un seul ombrage satisfait les quatre règles. Ce caractère déterministe est essentiel à la conception : si plusieurs solutions étaient possibles, le casse-tête serait tenu pour invalide. La tâche du joueur est de découvrir la solution unique par déduction, et non en devinant. 3
Cette qualité déterministe implique que toute déduction valide doit être certaine. Si l'on peut établir par les règles qu'une case est ombrée ou blanche, alors elle est ombrée ou blanche dans la solution unique. Si l'état d'une case ne peut être établi sans deviner, c'est que le casse-tête n'est pas encore résolu ou que le joueur n'a pas encore trouvé la bonne déduction. Cette qualité distingue Roomshade des casse-tête qui reposent sur les tâtonnements : la détermination de chaque case doit découler logiquement des règles et de ce qui est déjà établi. 3