Effectue une comparaison vague entre deux items a et b partageant une série ordonnée commune.

Cette instruction l’une des rares à ne pas pouvoir utiliser les booléens; elle demande une résolution traditionnelle : revenir plusieurs fois sur l’énoncé. C’est pourquoi ce type de comparaison est dit vague. La série ordonnée commune n’a pas besoin d’être régulière.

Série ordonnée: série contenant des valeurs qui sont toutes croissantes ou toutes décroissantes.
Série ordonnée régulière: série croissante ou décroissante dont les valeurs sont séparées par le même intervalle.

Énigme Char à voile

La personne de 13 ans s’entraîne moins longtemps que l’ado dans le char bleu.

Généralement, avec cette instruction, les cases à mettre à faux sont peu nombreuses au début de l’énigme : l’ado dans le char  bleu ne peut pas s’entraîner 20 minutes, celui de 13 ans ne peut pas s’entraîner pendant 1 heure et n’utilise pas le char bleu. Il va donc falloir revenir plusieurs fois sur cette instruction, au fur et à mesure de l’avancement de l’énigme.

Concepteur

Choisit deux items a et b et une relation d’ordre D, telle que D(a) < D(b).

Si l’instruction fonctionne en mode isolé, le concepteur choisit aléatoirement, pour chaque item, une rangée (ligne ou colonne) dont toutes les cases sont vides (pas de vrai, pas de faux, pas de booléens).

Nombre maximum d’exécution de l’instruction.

Proposition formelle générée

D: a < b
Durée : 13 ans < Bleu

a, b items appartenant à deux séries différentes ou à la même série.
D: série ordonnée commune

Rédaction

On peut évidemment transformer a < b en b > a  !

La personne de 13 ans s’entraîne moins longtemps que l’ado dans le char bleu.
L’ado dans le char bleu s’entraîne plus longtemps que la personne de 13 ans.