{"id":2425,"date":"2024-10-22T18:37:54","date_gmt":"2024-10-22T16:37:54","guid":{"rendered":"https:\/\/actilud.com\/info\/?p=2425"},"modified":"2025-04-01T17:36:45","modified_gmt":"2025-04-01T15:36:45","slug":"rotation-solutions","status":"publish","type":"post","link":"https:\/\/actilud.com\/info\/blog\/rotation-solutions\/","title":{"rendered":"Int\u00e9grammes: la rotation des solutions"},"content":{"rendered":"<p><strong>Le solveur 2.0 est plus performant que la version pr\u00e9c\u00e9dente. Parmi les nouveaut\u00e9s, la rotation des solutions permet de mieux comprendre le raisonnement suivi.<br \/>\n<\/strong><\/p>\n<h1>Rotation des\u00a0 solutions<\/h1>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-2426 alignleft\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2024\/10\/ampoule-pas.png\" alt=\"\" width=\"61\" height=\"64\" \/>Des joueurs sur Actilud utilisent le solveur <em>pas \u00e0 pas <\/em>pour apprendre \u00e0 r\u00e9soudre les int\u00e9grammes. C&rsquo;est une tr\u00e8s bonne id\u00e9e. Mais il est quelquefois difficile de comprendre pourquoi le solveur a pris telle ou telle d\u00e9cision. C&rsquo;est souvent parce que le solveur, m\u00eame s&rsquo;il fonctionne <em>pas \u00e0 pas, <\/em>prend une foule de d\u00e9cisions d&rsquo;un seul coup &#8211; et on a du mal \u00e0 s&rsquo;y retrouver ! C&rsquo;est particuli\u00e8rement vrai pour les techniques d&rsquo;intersection, de r\u00e9percussion ou de fusion.<\/p>\n<h2>Rappel du fonctionnement du solveur <em>pas \u00e0 pas<\/em><\/h2>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-2426 alignnone\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2024\/10\/ampoule-pas.png\" alt=\"\" width=\"61\" height=\"64\" \/> Lancer le solveur sur la grille de jeu.<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-2437\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2024\/10\/ampoule-edit.png\" alt=\"\" width=\"61\" height=\"64\" \/> Valider les modifications du solveur.<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-2474\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2024\/10\/feu-barre.png\" alt=\"\" width=\"64\" height=\"64\" \/> Annuler les modifications, d&rsquo;abord le scintillement, puis toutes les couleurs.<\/p>\n<h1>Pr\u00e9sentation de la rotation des solutions<\/h1>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"alignleft size-full wp-image-2427\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2024\/10\/feu-rotate.png\" alt=\"\" width=\"64\" height=\"64\" \/><\/p>\n<p>La rotation des solutions se pr\u00e9sente sous la forme d&rsquo;une nouvelle ic\u00f4ne dans la barre des outils. Lorsque l&rsquo;on clique sur l&rsquo;ic\u00f4ne, la premi\u00e8re solution appara\u00eet; un nouveau clic fait appara\u00eetre la solution suivante, et ainsi de suite. Lorsque toutes les solutions ont \u00e9t\u00e9 pass\u00e9es en revue, la rotation reprend avec la premi\u00e8re solution, apr\u00e8s une pause o\u00f9 aucune solution n&rsquo;est affich\u00e9e.<\/p>\n<p>Notez qu&rsquo;une solution s&rsquo;appuie souvent sur les r\u00e9sultats d&rsquo;une solution pr\u00e9c\u00e9dente- c&rsquo;est aussi ce qui rend la compr\u00e9hension difficile. L&rsquo;ordre dans lequel vous passez en revue les solutions est donc tr\u00e8s important; il refl\u00e8te le raisonnement du solveur.<\/p>\n<h2>Les couleurs<\/h2>\n<p>Comme vous le savez sans doute, apr\u00e8s l&rsquo;utilisation du solveur pas \u00e0 pas, si une technique est trouv\u00e9e, les cases des grilles se colorent et les couleurs refl\u00e8tent les changements op\u00e9r\u00e9s.<\/p>\n<ul>\n<li>le rouge indique un signe faux <img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-380\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/edit-delete-6.png\" alt=\"\" width=\"32\" height=\"32\" \/><\/li>\n<li>le vert d\u00e9signe un signe vrai <img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-370\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/dialog-ok-apply-5.png\" alt=\"\" width=\"35\" height=\"35\" \/><\/li>\n<li>le jaune indique un changement concernant un bool\u00e9en: nouveau bool\u00e9en dans une case, ou remplacement d&rsquo;un bool\u00e9en par un autre.<\/li>\n<\/ul>\n<p>Ces trois couleurs ne changent pas par rapport \u00e0 la pr\u00e9c\u00e9dente version. Elles ne sont pas affect\u00e9es non plus par la rotation des solutions.<\/p>\n<h2>Les bordures<\/h2>\n<p>Les solutions sont expliqu\u00e9es par les bordures.<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-2432\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2024\/10\/case_interaction.png\" alt=\"\" width=\"55\" height=\"55\" \/> Cette bordure d\u00e9signe une case qui <em>intervient dans une <strong>interaction<\/strong><\/em>; elle peut en \u00eatre la cause ou ou la cons\u00e9quence. En voici un exemple tr\u00e8s simple.<br \/>\n<img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-2434 aligncenter\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2024\/10\/exemple01.png\" alt=\"\" width=\"389\" height=\"370\" srcset=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2024\/10\/exemple01.png 389w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2024\/10\/exemple01-300x285.png 300w\" sizes=\"auto, (min-width: 960px) 75vw, 100vw\" \/> Dans cette grille, la case en vert d\u00e9signe une case <em>vraie <\/em>qui va appara\u00eetre suite \u00e0 la technique du compl\u00e9ment. La case appara\u00eet parce qu&rsquo;il y a 4 cases <em>fausses <\/em>sur la ligne. Les cases fausses, ici, sont les <em>causes <\/em>de l&rsquo;interaction. La future case vraie en est la <em>cons\u00e9quence.<\/em> Lorsque le solveur affiche la premi\u00e8re solution, les cons\u00e9quences font partie des cases color\u00e9es, alors que les causes ne sont souvent pas color\u00e9es. Mais attention ! Comme le solveur s&rsquo;appuie sur les solutions pr\u00e9c\u00e9dentes pour d\u00e9couvrir de nouvelles solutions, ceci n&rsquo;est plus vrai \u00e0 la solution suivante ! De plus, il peut arriver que des solutions ult\u00e9rieures modifient la couleur des cases de d\u00e9part; donc les causes peuvent aussi \u00eatre color\u00e9es.<\/p>\n<p>Quand aux cases rouges, elles sont la suite logique de l&rsquo;apparition de la case <em>vraie.<\/em> Mais l\u00e0, le solveur n&rsquo;indique rien. Son r\u00f4le a \u00e9t\u00e9 de d\u00e9couvrir la case vraie. Ensuite, ce qui est trivial est ignor\u00e9 pour ne pas surcharger les explications.<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-2681 size-full alignnone\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2024\/10\/case_ref_gris.png\" alt=\"\" width=\"52\" height=\"53\" \/> <strong>Case de r\u00e9f\u00e9rence<\/strong>. En g\u00e9n\u00e9ral, cette case fait partie d&rsquo;une alternative et contient donc un bool\u00e9en. Les cases de r\u00e9f\u00e9rence permettent de comprendre les motivations du solveur. Ces cases, lorsqu&rsquo;elles ne sont pas entour\u00e9es par la bordure d\u00e9crite ci-dessus, n&rsquo;interviennent pas directement dans l&rsquo;interaction, mais c&rsquo;est parce qu&rsquo;elles existent que l&rsquo;interaction devient possible.<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter wp-image-2684 size-full\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2024\/10\/exemple03-gris.png\" alt=\"\" width=\"647\" height=\"371\" srcset=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2024\/10\/exemple03-gris.png 647w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2024\/10\/exemple03-gris-300x172.png 300w\" sizes=\"auto, (min-width: 960px) 75vw, 100vw\" \/><\/p>\n<p>Ici, nous voyons que la case <em>(Bob,Orange)<\/em> est fausse, et nous comprenons que c&rsquo;est \u00e0 cause de l&rsquo;interaction des trois bool\u00e9ens <em>a1,a2<\/em> et <em>a3<\/em>. Cette case est \u00e0 leur intersection. Mais pourquoi est-ce possible ? Voyez la ligne <em>(Alice, classement)<\/em> : les trois bool\u00e9ens <em>a1, a2, a3<\/em> forment une alternative. Ces trois bool\u00e9ens-l\u00e0, en (<em>Alice,2<\/em>), (<em>Alice,3<\/em>), (<em>Alice,4<\/em>),\u00a0 n&rsquo;interviennent pas directement dans la mise \u00e0 <em>faux <\/em>de la case <em>(Bob, Orange),<\/em> car ce sont les bool\u00e9ens en <em>(Alice,Orange), (Bob, Citron) et (Enzo,Orange) <\/em>qui agissent. Mais elle l&rsquo;explique : l&rsquo;un des trois bool\u00e9en de la ligne <em>Alice <\/em>est forc\u00e9ment vrai. Donc, quelque soit la valeur de <em>a1, a2, a3<\/em> dans la grille <em>(Pr\u00e9nom, Jus de fruit),\u00a0<\/em>Bob ne boit pas de jus d&rsquo;orange.<\/p>\n<p>L&rsquo;encadrement de r\u00e9f\u00e9rence est utilis\u00e9 dans l&rsquo;implication et l&rsquo;invariance. La case de r\u00e9f\u00e9rence subit l&rsquo;hypoth\u00e8se <em>vraie<\/em> et l&rsquo;hypoth\u00e8se <em>fausse<\/em>. Les autres cases sont la cons\u00e9quence de ce test. Dans l&rsquo;implication, si une cons\u00e9quence est un bool\u00e9en, il peut prendre la valeur de la case de r\u00e9f\u00e9rence. Comme la case de r\u00e9f\u00e9rence agit dans l&rsquo;interaction, elle est aussi encadr\u00e9e par la bordure d&rsquo;interaction.<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-2682 size-full alignnone\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2024\/10\/case_ref_interaction_gris.png\" alt=\"\" width=\"52\" height=\"53\" \/> <strong>Case de r\u00e9f\u00e9rence qui intervient dans l&rsquo;interaction<\/strong>. C&rsquo;est un cas tr\u00e8s fr\u00e9quent.<br \/>\n<img loading=\"lazy\" decoding=\"async\" class=\"aligncenter wp-image-2685 size-full\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2024\/10\/exemple03-gris2.png\" alt=\"\" width=\"390\" height=\"380\" srcset=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2024\/10\/exemple03-gris2.png 390w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2024\/10\/exemple03-gris2-300x292.png 300w\" sizes=\"auto, (min-width: 960px) 75vw, 100vw\" \/> L&rsquo;alternative est form\u00e9e par <em>a1, a2, a3<\/em> (r\u00e9f\u00e9rence). Mais <em>a2<\/em> intervient aussi directement dans l&rsquo;interaction, ainsi que <em>a3<\/em> de la ligne <em>Denis<\/em> et <em>a1<\/em> de la ligne <em>Enzo <\/em>et bien s\u00fbr, la case fausse.<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-2448 alignleft\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2024\/10\/case_pivot.png\" alt=\"\" width=\"52\" height=\"53\" \/><\/p>\n<p><strong>Pivot<\/strong>. Un <em>pivot, <\/em>c&rsquo;est une case d&rsquo;intersection entre deux rang\u00e9es, que ce soit des lignes ou des colonnes. Ces rang\u00e9es appartiennent \u00e0 deux grilles diff\u00e9rentes de celle o\u00f9 se trouve le pivot. Les pivots se retrouvent dans les techniques de <em>r\u00e9percussion <\/em>et de <em>fusion<\/em>. Si le pivot est encadr\u00e9, c&rsquo;est qu&rsquo;il intervient directement dans l&rsquo;interaction, ce qui est le cas le plus fr\u00e9quent.<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter wp-image-2450\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2024\/10\/exemple04-1.png\" alt=\"\" width=\"481\" height=\"436\" srcset=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2024\/10\/exemple04-1.png 723w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2024\/10\/exemple04-1-300x272.png 300w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2024\/10\/exemple04-1-530x480.png 530w\" sizes=\"auto, (min-width: 960px) 75vw, 100vw\" \/><\/p>\n<p>Bob ne boit pas de jus de pomme&#8230; parce que c&rsquo;est impossible. Le pivot, r\u00e9sultat de l&rsquo;intersection de la ligne <em>(Bob, maillot) <\/em> et de la colonne (<em>Pomme, maillot), <\/em>est forc\u00e9ment faux. On voit bien pourquoi gr\u00e2ce \u00e0 l&rsquo;encadrement des cases qui interagissent. Si Bob buvait du jus de pomme, il ne pourrait porter aucune couleur de maillot. La case pivot, ici, intervient aussi dans l&rsquo;interaction, puisque son passage \u00e0\u00a0<em>faux<\/em> en est la cons\u00e9quence.<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-2451 alignleft\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2024\/10\/case_barree.png\" alt=\"\" width=\"52\" height=\"53\" \/> <strong>Bool\u00e9en barr\u00e9.<\/strong> Ceci n&rsquo;appara\u00eet que dans la grille des alternatives. Lorsqu&rsquo;un bool\u00e9en est barr\u00e9, cela signifie qu&rsquo;il peut \u00eatre <em>faux<\/em> dans la grille du jeu, et qu&rsquo;il est supprim\u00e9 de la grille des alternatives.<br \/>\nMais, dans la plupart des cas, cette marque concerne <em>tous les bool\u00e9ens <\/em>d&rsquo;une alternative. Cela signifie qu&rsquo;ils vont \u00eatre retir\u00e9s de la grille des alternatives car l&rsquo;alternative qu&rsquo;ils forment existe d\u00e9sormais dans la grille de jeu. Il n&rsquo;est donc plus utile de la conserver dans la grille des alternatives.<\/p>\n<p>Comme ce ph\u00e9nom\u00e8ne peut se produire \u00e0 tout moment, il n&rsquo;est pas sp\u00e9cifique \u00e0 une technique donn\u00e9e. Aussi peut-on retrouver des bool\u00e9ens barr\u00e9s dans une technique qui, \u00e0 priori, n&rsquo;a rien \u00e0 voir avec ceci. C&rsquo;est juste le solveur qui signale qu&rsquo;il a \u00f4t\u00e9 les bool\u00e9ens de la grille des alternatives \u00e0 ce moment.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Le solveur 2.0 est plus performant que la version pr\u00e9c\u00e9dente. Parmi les nouveaut\u00e9s, la rotation des solutions permet de mieux comprendre le raisonnement suivi. Rotation des\u00a0 solutions Des joueurs sur Actilud utilisent le solveur pas \u00e0 pas pour apprendre \u00e0 r\u00e9soudre les int\u00e9grammes. C&rsquo;est une tr\u00e8s bonne id\u00e9e. Mais il est quelquefois difficile de comprendre [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[7],"tags":[],"class_list":["post-2425","post","type-post","status-publish","format-standard","hentry","category-integrammes"],"_links":{"self":[{"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/posts\/2425","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/comments?post=2425"}],"version-history":[{"count":36,"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/posts\/2425\/revisions"}],"predecessor-version":[{"id":2686,"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/posts\/2425\/revisions\/2686"}],"wp:attachment":[{"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/media?parent=2425"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/categories?post=2425"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/tags?post=2425"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}