Premetto che l'argomento è molto complesso. Vorrei sapere se qualcuno di voi , penso tra i più esperti , mi può fornire la dimostrazione delle inferenze che si ottengono con la tecnica Exocet. Come è noto , questo metodo è utilizzato per tentare di trovare una via "umana" per risolvere gli schemi più difficili (impossibili). Ho trovato su l' esempio seguente una dimostrazione molto articolata dell'eliminazione del candidato 3 in I7 ma chiaramente è valida solo per questo esempio.
Le celle base sono G1 e G2 mentre le celle target H4 e I7.
Cordiali Saluti a tutti
Paolo
.---------.---------.---------.
| x x x | x x x | x 3 9 |
| x x x | x x 1 | x x 5 |
| x x 3 | x 5 x | 8 x x |
:---------+---------+---------:
| x x 8 | x 9 x | x x 6 |
| x 7 x | x x 2 | x x x |
| 1 x x | 4 x x | x x x |
:---------+---------+---------:
| x x 9 | x 8 x | x 5 x |
| x 2 x | x x x | 6 x x |
| 4 x x | 7 x x | x x x |