Cadenas forzadas Nishio

Nishio Forcing ChainsExperto

Se supone que un candidato es cierto y se siguen sus consecuencias; si surge una contradicción, el candidato se elimina.

Cómo funciona

Se supone que un candidato es correcto y se siguen todas sus consecuencias. Si se llega a una contradicción (un conjunto de candidatos vacío, una cifra que falta en una unidad, etc.), la suposición es falsa y el candidato puede eliminarse.

Es una demostración por contradicción, una de las técnicas de cadena más potentes.

Ejemplo

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
Celdas clave de la técnicaCeldas donde se aplica la eliminaciónCandidato que se debe colocarCandidato eliminado (tachado)