Raisonnement par sous-ensembles

Niveau: Intermédiaire

Si les candidats d'un chiffre sont inclus dans ceux d'un autre, la différence tranche.

C'est une technique qui compare les « ensembles de cases fermées adjacentes » de deux cases chiffrées voisines. Elle s'applique lorsque l'ensemble des candidats-mines d'une case est entièrement inclus dans celui d'une autre.

Par exemple, si les candidats de A sont inclus dans ceux de B, et que le nombre de mines requis par B moins celui de A égale le « nombre de cases de la différence », alors cette différence est entièrement composée de mines. À l'inverse, si ce résultat est 0, elles sont toutes sûres.

Les motifs 1-1 et 1-2 ne sont en réalité que des cas particuliers de cette logique de sous-ensembles. En raisonnant par relations d'inclusion, on peut traiter de façon générale des bordures complexes.

Techniques liées