Łańcuchy wymuszające Nishio

Nishio Forcing ChainsEkspert

Zakłada się, że kandydat jest prawdziwy, i śledzi konsekwencje; jeśli powstaje sprzeczność, kandydat jest usuwany.

Jak to działa

Zakłada się, że kandydat jest poprawny, i śledzi wszystkie konsekwencje. Jeśli dojdzie do sprzeczności (pusty zbiór kandydatów, brak cyfry w jednostce itp.), założenie jest błędne i kandydata można usunąć.

To dowód nie wprost — jedna z najpotężniejszych technik łańcuchowych.

Przykład

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
Kluczowe pola technikiPola, w których stosuje się eliminacjęKandydat do wpisaniaWyeliminowany kandydat (przekreślony)