Catene forzanti Nishio

Nishio Forcing ChainsEsperto

Si suppone che un candidato sia vero e se ne seguono le conseguenze; se emerge una contraddizione, il candidato viene eliminato.

Come funziona

Si suppone che un candidato sia corretto e se ne seguono tutte le conseguenze. Se si raggiunge una contraddizione (un insieme di candidati vuoto, una cifra mancante in un’unità, ecc.), l’ipotesi è falsa e il candidato può essere eliminato.

È una dimostrazione per assurdo, una delle tecniche di catena più potenti.

Esempio

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
Celle chiave della tecnicaCelle in cui si applica l'eliminazioneCandidato da inserireCandidato eliminato (barrato)