Chaînes de forçage Nishio

Nishio Forcing ChainsExpert

On suppose qu’un candidat est vrai et on suit ses conséquences ; si une contradiction survient, le candidat est éliminé.

Comment ça marche

On suppose qu’un candidat est correct et on suit toutes ses conséquences. Si une contradiction est atteinte (un ensemble de candidats vide, un chiffre manquant dans une unité, etc.), l’hypothèse est fausse et le candidat peut être éliminé.

C’est une démonstration par l’absurde, l’une des techniques de chaîne les plus puissantes.

Exemple

6
14
9
27
35
8
15
3
24
5
27
23
14
36
79
68
28
13
8
14
59
7
35
2
46
19
24
37
46
15
16
9
25
8
14
16
83
37
24
15
26
15
9
15
15
28
6
24
3
47
17
37
49
6
47
29
18
25
35
8
47
34
5
19
37
14
1
36
14
15
15
68
39
47
49
2
Cases clés de la techniqueCases où l'élimination est appliquéeCandidat à placerCandidat éliminé (barré)