Tips turingmachine

Unicité

Tous les vérificateurs sont utiles. Ceci est une information en soit. Et une seule solution est possible. Si un vérificateur devait vous faire douter, alors c'est qu'il n'y a pas de doute ... Voici un exemple avec ces 4 vérificateurs:

A) parité de bleu (pair ou impair)

B) bleu > 1

C) nombre d'occurence du chiffre 4 dans le code (combien de 4)

D) bleu > 4

Tout d'abord, si la réponse était 444, alors C validerait ce code à lui seul, rendant A,B,D inutiles. Ergo le code n'est pas 444.

Il y a très peu d'informations sur jaune et violet. De fait, si le code était 123, aucun vérificateur ne saurait faire la différence avec le code 133. Donc jaune ne peut pas être 2 ni 3. Et c'est pareil pour violet. Et pour le 5.

La seule information pour jaune et violet, c'est le nombre de 4. Et comme on ne peut pas distinguer jaune de violet ... ils sont identiques, tous les deux égaux à 4. Si on n'avait aucun 4 dans le code, comment trouver les valeurs de jaune et de violet ? Ergo le code est #44.

Si bleu était égal à 1, alors B&C ensemble seraient suffisants pour dire que la combinaison est 144. Donc bleu n'est pas égal à 1.

Si bleu est égal à 5, alors B est inutile par rapport à D. Dit différemment, A&C&D sont suffisants pour dire si le code vaut 444 ou 544, rendant B inutile. Mais ce n'est pas possible : tous les validateurs sont utiles. Donc bleu n'est pas égal à 5.

Les deux seules combinaisons possibles sont 244 et 344.

Si le code est 244 avec les vérificateurs ACD, on a deux 4, bleu égal à 1,2 ou 3, et bleu pair. Donc pas besoin de tester B. Encore une fois, comme B doit être utile, le code ne peut pas être 244.

Donc le code est exactement 344, sans avoir besoin de faire de test.