Nishio-Forcing-Ketten

Nishio Forcing ChainsExperte

Man nimmt an, ein Kandidat sei wahr, und verfolgt die Folgen; entsteht ein Widerspruch, wird der Kandidat entfernt.

So funktioniert es

Man nimmt an, ein Kandidat sei richtig, und verfolgt alle Folgen. Entsteht ein Widerspruch (eine leere Kandidatenmenge, eine in einer Einheit fehlende Ziffer usw.), ist die Annahme falsch und der Kandidat kann entfernt werden.

Dies ist ein Widerspruchsbeweis — eine der wirkungsvollsten Kettentechniken.

Beispiel

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
Schlüsselfelder der TechnikFelder, in denen eine Eliminierung angewendet wirdZu setzender KandidatEliminierter Kandidat (durchgestrichen)