Łańcuchy wymuszające komórki

Cell Forcing ChainsEkspert

Uruchamia się łańcuchy wnioskowania z każdego kandydata komórki; jeśli wszystkie prowadzą do tego samego wniosku, jest on pewny.

Jak to działa

Dla każdego kandydata komórki uruchamia się osobny łańcuch wnioskowania. Jeśli każdy łańcuch prowadzi do tego samego wniosku, musi on być prawdziwy, niezależnie od tego, który kandydat w komórce jest poprawny.

Wersja Digit Forcing Chains oparta na komórce.

Przykład

5
29
7
36
4
16
8
19
23
14
63
28
29
17
15
49
15
28
19
45
17
3
16
2
67
6
37
12
158
9
24
47
35
24
39
45
19
27
6
18
25
78
13
78
15
13
35
29
14
6
18
24
26
19
18
5
3
68
47
39
58
46
2
14
16
7
19
14
3
16
47
57
9
24
58
28
Kluczowe pola technikiPola, w których stosuje się eliminacjęKandydat do wpisaniaWyeliminowany kandydat (przekreślony)