Catene forzanti di cella

Cell Forcing ChainsEsperto

Si avviano catene d’inferenza da ogni candidato di una cella; se tutte giungono alla stessa conclusione, questa è certa.

Come funziona

Per ogni candidato di una cella si avvia una catena d’inferenza distinta. Se ogni catena porta alla stessa conclusione, questa deve essere vera, indipendentemente da quale candidato sia corretto nella cella.

La versione basata sulle celle delle Digit Forcing Chains.

Esempio

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
Celle chiave della tecnicaCelle in cui si applica l'eliminazioneCandidato da inserireCandidato eliminato (barrato)