{"id":783,"date":"2023-08-22T14:20:01","date_gmt":"2023-08-22T12:20:01","guid":{"rendered":"https:\/\/actilud.com\/info\/?p=783"},"modified":"2025-03-29T10:11:09","modified_gmt":"2025-03-29T09:11:09","slug":"linstruction-avant","status":"publish","type":"post","link":"https:\/\/actilud.com\/info\/blog\/linstruction-avant\/","title":{"rendered":"L’instruction AVANT"},"content":{"rendered":"

\"\" Effectue une comparaison vague entre deux items a<\/em> et b<\/em> partageant une s\u00e9rie ordonn\u00e9e commune.<\/p>\n

Cette instruction l’une des rares \u00e0 ne pas pouvoir utiliser les bool\u00e9ens; elle demande une r\u00e9solution traditionnelle : revenir plusieurs fois sur l’\u00e9nonc\u00e9. C’est pourquoi ce type de comparaison est dit vague. <\/em>La s\u00e9rie ordonn\u00e9e commune n’a pas besoin d’\u00eatre r\u00e9guli\u00e8re.<\/span><\/p>\n

S\u00e9rie ordonn\u00e9e: s\u00e9rie contenant des valeurs qui sont toutes croissantes ou toutes d\u00e9croissantes.
\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

\u00c9nigme Char \u00e0 voile<\/em><\/p>\n

La personne de 13 ans s’entra\u00eene moins longtemps que l’ado dans le char bleu.<\/p><\/blockquote>\n

\"\"<\/p>\n

G\u00e9n\u00e9ralement, avec cette instruction, les cases \u00e0 mettre \u00e0 faux<\/em> sont peu nombreuses au d\u00e9but de l’\u00e9nigme : l’ado dans le char\u00a0 bleu ne peut pas s’entra\u00eener 20 minutes, celui de 13 ans ne peut pas s’entra\u00eener pendant 1 heure et n’utilise pas le char bleu. Il va donc falloir revenir plusieurs fois sur cette instruction, au fur et \u00e0 mesure de l’avancement de l’\u00e9nigme.<\/p>\n

Concepteur<\/h1>\n

\"\"<\/p>\n

Choisit deux items a et b et une relation d’ordre D, telle que D(a) < D(b).<\/p>\n

\"\"<\/p>\n

Si l’instruction fonctionne en mode isol\u00e9, le concepteur choisit al\u00e9atoirement, pour chaque item, une rang\u00e9e (ligne ou colonne) dont toutes les cases sont vides (pas de vrai<\/em>, pas de faux<\/em>, pas de bool\u00e9ens).<\/p>\n

\"\"<\/p>\n

Nombre maximum d’ex\u00e9cution de l’instruction.<\/p>\n

Proposition formelle g\u00e9n\u00e9r\u00e9e<\/h2>\n

D: a < b
\nDur\u00e9e : 13 ans < Bleu<\/p><\/blockquote>\n

a, b items appartenant \u00e0 deux s\u00e9ries diff\u00e9rentes ou \u00e0 la m\u00eame s\u00e9rie.
\nD: s\u00e9rie ordonn\u00e9e commune<\/h6>\n

R\u00e9daction<\/h2>\n

On peut \u00e9videmment transformer a < b en b > a\u00a0 !<\/p>\n

La personne de 13 ans s’entra\u00eene moins longtemps que l’ado dans le char bleu.
\nL’ado dans le char bleu s’entra\u00eene plus longtemps que la personne de 13 ans.<\/p><\/blockquote>\n","protected":false},"excerpt":{"rendered":"

Effectue une comparaison vague entre deux items a et b partageant une s\u00e9rie ordonn\u00e9e commune. Cette instruction l’une des rares \u00e0 ne pas pouvoir utiliser les bool\u00e9ens; elle demande une r\u00e9solution traditionnelle : revenir plusieurs fois sur l’\u00e9nonc\u00e9. C’est pourquoi ce type de comparaison est dit vague. La s\u00e9rie ordonn\u00e9e commune n’a pas besoin d’\u00eatre […]<\/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-783","post","type-post","status-publish","format-standard","hentry","category-glossaire-des-instructions"],"_links":{"self":[{"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/posts\/783","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=783"}],"version-history":[{"count":14,"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/posts\/783\/revisions"}],"predecessor-version":[{"id":2674,"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/posts\/783\/revisions\/2674"}],"wp:attachment":[{"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/media?parent=783"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/categories?post=783"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/actilud.com\/info\/wp-json\/wp\/v2\/tags?post=783"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}