Nishio-forceringsketens

Nishio Forcing ChainsExpert

Je neemt aan dat een kandidaat waar is en volgt de gevolgen; ontstaat er een tegenspraak, dan wordt de kandidaat verwijderd.

Hoe het werkt

Je neemt aan dat een kandidaat juist is en volgt alle gevolgen. Wordt een tegenspraak bereikt (een lege kandidaatverzameling, een cijfer dat in een eenheid ontbreekt, enz.), dan is de aanname fout en kan de kandidaat worden verwijderd.

Dit is een bewijs uit het ongerijmde — een van de krachtigste ketentechnieken.

Voorbeeld

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
Belangrijke cellen van de techniekCellen waar eliminatie wordt toegepastKandidaat om te plaatsenGeëlimineerde kandidaat (doorgestreept)