En justifiant que B3 n'est pas 8 par : pour tout n, [ E7=n (tous les candidats) => impossibilité ] >>
est-ce brute force ou pas ?
Je pense que tu diras "oui", non ?
Ben non, je dis non. :we:
Si le fait que B3 ne soit pas 8 te permet de faire de supprimer des candidats, ou d'appliquer un algo qqconque, alors c'est pas un cas de brute force. Vu que tu peux et va procéder autrement ensuite.
L'idée de brute force c'est vraiment t'es bourrin, tu testes tout ce que tu peux jusqu'a ce que ca plante/marche pas ou que ca marche.
Ici, c'est plus subtil (enfin je crois), tu testes B3 pour te permettre de revenir sur une grille plus simple que tu sais résoudre.
Apres bien sur, on peut dire on a fait brute force parce qu'on a testé au pif sur UNE case, mais c'est enlever le sens de brute force.