{"id":755,"date":"2023-08-22T12:49:41","date_gmt":"2023-08-22T10:49:41","guid":{"rendered":"https:\/\/actilud.com\/info\/?p=755"},"modified":"2023-09-02T15:49:50","modified_gmt":"2023-09-02T13:49:50","slug":"linstruction-triplet","status":"publish","type":"post","link":"https:\/\/actilud.com\/info\/blog\/linstruction-triplet\/","title":{"rendered":"L&rsquo;instruction TRIPLET"},"content":{"rendered":"<p><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-757 size-full alignleft\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/instr_triplet-1.png\" alt=\"\" width=\"100\" height=\"100\" \/>\u00c9tablit une relation d&rsquo;ant\u00e9riorit\u00e9 pr\u00e9cise entre trois items a, b, c, utilisant tous les trois une s\u00e9rie D contenant une relation d&rsquo;ordre. La s\u00e9rie D permet d&rsquo;indiquer deux <em>distances d<sub>1<\/sub> et d<sub>2<\/sub> constantes, <\/em>qui figurent entre a et b pour d<sub>1<\/sub>, b et c pour d<sub>2<\/sub>.<\/p>\n<p>Pour l&rsquo;utiliser il faut donc au moins une s\u00e9rie ordonn\u00e9e. La s\u00e9rie n&rsquo;a pas besoin d&rsquo;\u00eatre r\u00e9guli\u00e8re.<\/p>\n<p>Pour faciliter la r\u00e9solution les bool\u00e9ens sont conseill\u00e9s.<\/p>\n<h6>S\u00e9rie ordonn\u00e9e: s\u00e9rie contenant des valeurs qui sont toutes croissantes ou toutes d\u00e9croissantes.<br \/>\nS\u00e9rie ordonn\u00e9e r\u00e9guli\u00e8re: s\u00e9rie croissante ou d\u00e9croissante dont les valeurs sont s\u00e9par\u00e9es par le m\u00eame intervalle.<\/h6>\n<blockquote>\n<h4>\u00c9nigme du char \u00e0 voile<\/h4>\n<p>L&rsquo;ado qui occupe le char noir a un an de plus que Chlo\u00e9 mais un an de moins que la personne qui s&rsquo;entra\u00eene pendant 40 minutes.<\/p><\/blockquote>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-765 aligncenter\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/integramme-7.png\" alt=\"\" width=\"658\" height=\"657\" srcset=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/integramme-7.png 862w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/integramme-7-300x300.png 300w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/integramme-7-150x150.png 150w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/integramme-7-768x767.png 768w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/integramme-7-481x480.png 481w\" sizes=\"auto, (min-width: 960px) 75vw, 100vw\" \/><\/p>\n<p>Les traits rouges repr\u00e9sentent les relations entre les cases par-del\u00e0 les grilles, mat\u00e9rialis\u00e9es par les bool\u00e9ens. L&rsquo;ordre par rapport \u00e0 la s\u00e9rie <em>\u00c2ge<\/em> est le suivant : <em>Chlo\u00e9 &lt; char noir &lt; 40 mn<\/em>. La distance de saut entre deux items est de une case, aussi bien entre <em>Chlo\u00e9<\/em> et <em>noir<\/em> qu&rsquo;entre <em>noir<\/em> et <em>40mn<\/em>, ce qui repr\u00e9sente deux intervalles de 1 an dans la s\u00e9rie <em>\u00c2ge<\/em>.<\/p>\n<h3>Les signes faux<\/h3>\n<p>Ceux qui sont pr\u00e9sents dans les rang\u00e9es de bool\u00e9ens indiquent que ces positions ne sont pas disponibles. En effet, Chlo\u00e9 ne peut avoir 16 ou 17 ans, le pilote du char noir ne peut avoir 13 ou 17 ans, et la personne qui pilote pendant 40 minutes ne peut avoir 13 ou 14 ans.<br \/>\nQuand aux autres cases fausses, elles d\u00e9coulent aussi de l&rsquo;\u00e9nonc\u00e9 : Chlo\u00e9 ne pilote pas de char noir, ne passe pas 40 minutes sur son char, et le pilote du char noir ne s&rsquo;entra\u00eene pas pendant 40 minutes.<\/p>\n<h1>Concepteur<\/h1>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"alignnone wp-image-771 size-full\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/integramme-8.png\" alt=\"\" width=\"315\" height=\"69\" srcset=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/integramme-8.png 315w, https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/integramme-8-300x66.png 300w\" sizes=\"auto, (min-width: 960px) 75vw, 100vw\" \/><\/p>\n<p>Choisit al\u00e9atoirement un triplet\u00a0 : trois rang\u00e9es\u00a0 utilisant une m\u00eame s\u00e9rie. \u00c9tablit une distance <em>d1 <\/em>entre les items <em>a <\/em>et <em>b, <\/em>et une distance <em>d2 <\/em>entre <em>b<\/em> et <em>c, <\/em>dans les rang\u00e9es<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-721 alignleft\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/sautcase.png\" alt=\"\" width=\"36\" height=\"35\" \/><\/p>\n<p>Les <em>sauts<\/em> sont les distances constantes qui doivent \u00eatre indiqu\u00e9es <em>en nombre de cases <\/em>qui s\u00e9parent deux items de chaque rang\u00e9e. Le saut sera converti en unit\u00e9s sp\u00e9cifiques \u00e0 la s\u00e9rie (ann\u00e9es, minutes, etc.) lors de la g\u00e9n\u00e9ration des propositions formelles. Le premier saut a lieu entre les items <em>a<\/em> et <em>b<\/em>, le second entre les items <em>b<\/em> et <em>c<\/em>.<br \/>\nUne valeur de 0 permet au concepteur de choisir le saut al\u00e9atoirement. La valeur du saut N\u00b01 est comprise entre 1 et <em>n<\/em>-3, <em>n<\/em> \u00e9tant la taille de la rang\u00e9e (5 cases le plus souvent). La valeur du saut N\u00b02 est comprise entre 1 et\u00a0 <em>n-saut1-2<\/em>. Si vous mettez un 0 dans un des deux sauts, l&rsquo;autre sera mis \u00e0 0 automatiquement.<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-687 alignleft\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/isole.png\" alt=\"\" width=\"35\" height=\"35\" \/><\/p>\n<p>Isol\u00e9: si l\u2019instruction fonctionne en mode isol\u00e9, le concepteur ne choisit pas les rang\u00e9es qui contiennent d\u00e9j\u00e0 des signes, y compris des bool\u00e9ens.<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"wp-image-688 alignleft\" src=\"https:\/\/actilud.com\/info\/wp-content\/uploads\/2023\/08\/maximum.png\" alt=\"\" width=\"35\" height=\"35\" \/><\/p>\n<p>Nombre maximum d&rsquo;ex\u00e9cutions de cette instruction.<span class=\"\" style=\"display:block;clear:both;height: 0px;padding-top: 0px;border-top-width:0px;border-bottom-width:0px;\"><\/span><\/p>\n<h2>Proposition formelle g\u00e9n\u00e9r\u00e9e<\/h2>\n<blockquote><p>D : a \u2192 \u00b1 i \u2192 b -&gt; \u00b1 j \u2192 c<br \/>\n\u00c2ge : Chlo\u00e9 \u2192 + 1 \u2192 Noir \u2192 + 1\u00a0 \u2192 40mn<\/p><\/blockquote>\n<h6>D: en-t\u00eate de la s\u00e9rie partag\u00e9e contenant une relation d&rsquo;ordre.<br \/>\na,b,c : items utilisant D<br \/>\n\u00b1 i, \u00b1 j\u00a0 : valeur des intervalles, <em>en unit\u00e9s de D. <\/em>Si D est une s\u00e9rie croissante, i et j sont positifs. Si D est une s\u00e9rie d\u00e9croissante, i et j sont\u00a0 n\u00e9gatifs.<\/h6>\n<h2>R\u00e9daction<\/h2>\n<p>On aime bien commencer par l&rsquo;item b; cela permet de construire des phrases un peu difficiles \u00e0 appr\u00e9hender :<\/p>\n<blockquote><p>b est en avance de i sur a, mais en retard de j sur c.<br \/>\nL&rsquo;ado qui occupe le char noir a un an de plus que Chlo\u00e9 mais un an de moins que la personne qui s&rsquo;entra\u00eene pendant 40 minutes.<\/p><\/blockquote>\n<h6>Si i ou j sont n\u00e9gatifs, inverser avance et retard !<\/h6>\n<p>&nbsp;<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u00c9tablit une relation d&rsquo;ant\u00e9riorit\u00e9 pr\u00e9cise entre trois items a, b, c, utilisant tous les trois une s\u00e9rie D contenant une relation d&rsquo;ordre. La s\u00e9rie D permet d&rsquo;indiquer deux distances d1 et d2 constantes, qui figurent entre a et b pour d1, b et c pour d2. Pour l&rsquo;utiliser il faut donc au moins une s\u00e9rie [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[8],"tags":[],"class_list":["post-755","post","type-post","status-publish","format-standard","hentry","category-glossaire-des-instructions"],"_links":{"self":[{"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/posts\/755","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=755"}],"version-history":[{"count":21,"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/posts\/755\/revisions"}],"predecessor-version":[{"id":804,"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/posts\/755\/revisions\/804"}],"wp:attachment":[{"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/media?parent=755"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/categories?post=755"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/tags?post=755"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}