{"id":1114,"date":"2023-08-26T15:49:38","date_gmt":"2023-08-26T13:49:38","guid":{"rendered":"https:\/\/actilud.com\/info\/?p=1114"},"modified":"2025-02-28T20:26:21","modified_gmt":"2025-02-28T19:26:21","slug":"invariance","status":"publish","type":"post","link":"https:\/\/actilud.com\/info\/blog\/invariance\/","title":{"rendered":"Invariance"},"content":{"rendered":"

L’invariance fait partie des techniques avanc\u00e9es. Elle demande la mise en place d’hypoth\u00e8ses. On choisit des cases vides (ou contenant des bool\u00e9ens) et on les met successivement \u00e0 vrai<\/em> et \u00e0\u00a0faux,\u00a0<\/em>puis on observe le r\u00e9sultat.<\/p>\n

Soit A et B, deux cases vides ou contenant des bool\u00e9ens.<\/p>\n

Si, quel que soit l’\u00e9tat vrai <\/em>ou faux <\/em>de A, B change d’\u00e9tat et est toujours \u00e0 vrai<\/em> ou toujours \u00e0 faux, <\/em><\/p>\n

alors B est invariante et peut \u00eatre remplac\u00e9e par sa valeur constante vrai <\/em>ou faux.<\/em><\/p><\/blockquote>\n

Depuis la mise \u00e0 jour de f\u00e9vrier 2025, l’invariance des bool\u00e9ens est aussi calcul\u00e9e dans l’implication. Toutefois, si l’implication est d\u00e9sactiv\u00e9e (c’est possible dans l’\u00e9diteur g\u00e9n\u00e9raliste) alors l’invariance des bool\u00e9ens est encore trait\u00e9e par la routine d’invariance. Il faut noter que l’invariance est toujours trait\u00e9e \u00e0 la suite de l’implication, et est effectu\u00e9e uniquement si l’implication ne donne aucun r\u00e9sultat.<\/p>\n

Comment est effectu\u00e9e l’invariance sur Actilud<\/h1>\n

Pour que les \u00e9nigmes ne soient pas trop difficiles, le solveur limite ses d\u00e9ductions.<\/p>\n

Lorsque le solveur applique la technique de l’invariance, il change la valeur d’une case vide ou contenant un bool\u00e9en.<\/p>\n

Seules les \u00e9nigmes marqu\u00e9es souvent difficiles\u00a0<\/em>sont susceptibles d’utiliser l’implication ou l’invariance. Dans les \u00e9nigmes de base (jogging, d\u00e9fil\u00e9 de mode, char \u00e0 voile, verger) le solveur ajoute la configuration en carr\u00e9; il n’y a donc pas syst\u00e9matiquement de l’implication ou de l’invariance. De plus, la difficult\u00e9 peut ne pas appara\u00eetre car elle d\u00e9pend de l’ordre dans lequel on traite les propositions.<\/p>\n

En g\u00e9n\u00e9ral, la recherche de l’invariance n’a lieu que si la recherche de l’implication ne donne aucun r\u00e9sultat; les cas d’invariance sont donc assez rares. Le solveur commence par classer les cases vides; il choisit en priorit\u00e9 celles qui sont au voisinage de bool\u00e9ens et celles qui sont sur des rang\u00e9es contenant des signes faux. <\/em>Par souci de performance, les cases vides dont le voisinage est trop clairsem\u00e9 sont ignor\u00e9es par le solveur, ce qui laisse passer -volontairement- une faible probabilit\u00e9 de ne pas pouvoir r\u00e9soudre quelques \u00e9nigmes.<\/p>\n

Depuis la mise \u00e0 jour de f\u00e9vrier 2025, le solveur privil\u00e9gie toujours les solutions qui demandent le moins de profondeur d’analyse. Elles sont ainsi -quelquefois- plus compr\u00e9hensibles et rendent les \u00e9nigmes plus motivantes. De plus, le solveur tient compte des incoh\u00e9rences. Pour vous aider un peu, le niveau de difficult\u00e9 de l’implication et de l’invariance est indiqu\u00e9 par le Conseiller, lorsque vous utilisez le solveur en mode \u00ab\u00a0pas \u00e0 pas\u00a0\u00bb . Le niveau correspond au nombre d’op\u00e9rations r\u00e9ussies\u00a0<\/em>qu’il a fallu faire pour obtenir un r\u00e9sultat. Le niveau 1 est donc le plus facile: l’invariance n’a demand\u00e9 qu’une seule op\u00e9ration. Le niveau 7 est le plus difficile.<\/p>\n

Les op\u00e9rations effectu\u00e9es sont: intersections, compl\u00e9ment, r\u00e9percussion, fusion; le compl\u00e9ment \u00e9tant ex\u00e9cut\u00e9 plusieurs fois. L’intersection comprend aussi la coh\u00e9rence.<\/p>\n