Nueva versión de Master Sudoku

Me ha escrito Marcelo Calniquer para decirme que le hizo algunas mejoras al software y que ahora es capaz de resolver completamente el sudoku que yo propuse en mis entradas recientes, mediante métodos lógicos y sin usar fuerza bruta. Les copio el archivo de resolución de Master Sudoku para que sigan paso a paso su resolución. Son más de 90 pasos, así es que yo no he tenido tiempo de analizarlo aún. Aquí va, para que se animen.

<<<>>>
1) Sencillo Descubierto {5} en f4c8
2) Sencillo Descubierto {3} en f5c8
3) Sencillo Oculto {9} en f6c7
4) Sencillo Descubierto {1} en f8c7
5) Sencillo Descubierto {4} en f5c7
6) Sencillo Descubierto {1} en f5c9
7) Sencillo Descubierto {7} en f4c9
8) Pares Descubiertos {4,6} en f1c4 f1c9
-> Se excluyó el candidato 4 de la posición f1c3
-> Se excluyó el candidato 6 de la posición f1c3
-> Se excluyó el candidato 4 de la posición f1c5
9) X-Wing {6} en f1c4 f8c4 f1c9 f8c9
-> Se excluyó el candidato 6 de la posición f3c4
-> Se excluyó el candidato 6 de la posición f7c4
-> Se excluyó el candidato 6 de la posición f3c9
-> Se excluyó el candidato 6 de la posición f7c9
10) XYZ-Wing {4} en f2c6 f1c4 f6c6
-> Se excluyó el candidato 4 de la posición f3c6
11) Cadena XY {1} en f4c6 f4c3 f9c3 f9c1
-> Se excluyó el candidato 1 de la posición f9c6
12) Cadena XY {9} en f1c5 f1c7 f3c8 f1c9 f3c9 f7c9
-> Se excluyó el candidato 9 de la posición f7c5
13) Cadena Inferencia Alterna Débil {2} 2[f5c3]-2[f5c5]=5[f5c5]-5[f9c5]=5[f9c7]-2[f9c7]=2[f9c3]-2[f5c3]
-> Se excluyó el candidato 2 de la posición f5c3
14) Cadena Inferencia Alterna Continua {2} 2[f4c3]-2[f9c3]=2[f9c7]-5[f9c7]=5[f9c5]-5[f5c5]=2[f5c5]-2[f5c2]=2[f4c3]
-> Se excluyó el candidato 2 de la posición f7c3
-> Se excluyó el candidato 8 de la posición f9c7
15) Sencillo Oculto {8} en f9c6
16) Rectángulos Vacios {9} en f1c3 f1c5 f7c3 f7c6 f8c5 f9c5
-> Se excluyó el candidato 9 de la posición f7c3
17) XY-Wing {9} en f9c7 f7c9 f9c3
-> Se excluyó el candidato 9 de la posición f7c1
18) Rectángulos Vacios {9} en f1c5 f1c3 f9c5 f8c3 f9c1 f9c3
-> Se excluyó el candidato 9 de la posición f9c5
19) Candidato Bloqueado {9} en f9c1 f9c3
-> Se excluyó el candidato 9 de la posición f8c3
20) Cadena Inferencia Alterna Débil {1} 1[f7c6]-9[f7c6]=9[f3c6]-9[f3c1]=9[f9c1]-1[f9c1]=1[f9c5]-1[f7c6]
-> Se excluyó el candidato 1 de la posición f7c6
21) Cadena Inferencia Alterna Continua {5} 5[f9c5]-5[f5c5]=2[f5c5]-2[f5c2]=2[f7c2]-2[f7c7]=2[f9c7]-5[f9c7]=5[f9c5]
-> Se excluyó el candidato 5 de la posición f7c5
22) Cadena Inferencia Alterna Continua {6} 6[f7c6]-9[f7c6]=9[f7c9]-9[f8c9]=6[f8c9]-6[f1c9]=6[f1c4]-6[f8c4]=6[f7c6]
-> Se excluyó el candidato 3 de la posición f7c6
-> Se excluyó el candidato 4 de la posición f7c6
23) Cadena Inferencia Alterna Débil {3} 3[f3c6]-9[f3c6]=9[f7c6]-9[f7c9]=5[f7c9]-5[f7c4]=5[f6c4]-3[f6c4]=3[f6c6]-3[f3c6]
-> Se excluyó el candidato 3 de la posición f3c6
24) Cadena Inferencia Alterna Débil {5} 5[f3c1]-9[f3c1]=9[f9c1]-9[f9c3]=2[f9c3]-2[f9c7]=5[f9c7]-5[f7c9]=5[f3c9]-5[f3c1]
-> Se excluyó el candidato 5 de la posición f3c1
25) Cadena Inferencia Alterna Débil {6} 6[f3c1]-9[f3c1]=9[f9c1]-1[f9c1]=1[f9c5]-5[f9c5]=5[f5c5]-5[f5c1]=6[f5c1]-6[f3c1]
-> Se excluyó el candidato 6 de la posición f3c1
26) Cadena Inferencia Alterna Débil {7} 7[f7c2]-2[f7c2]=2[f7c7]-2[f9c7]=2[f9c3]-2[f4c3]=4[f4c3]-4[f6c2]=7[f6c2]-7[f7c2]
-> Se excluyó el candidato 7 de la posición f7c2
27) Cadena Inferencia Alterna Débil {9} 9[f3c3]-9[f3c6]=9[f7c6]-9[f7c9]=5[f7c9]-5[f9c7]=2[f9c7]-2[f9c3]=9[f9c3]-9[f3c3]
-> Se excluyó el candidato 9 de la posición f3c3
28) Cadena Inferencia Alterna Débil {9} 9[f3c5]-2[f3c5]=2[f3c4]-2[f4c4]=2[f4c3]-2[f9c3]=9[f9c3]-9[f9c1]=9[f3c1]-9[f3c5]
-> Se excluyó el candidato 9 de la posición f3c5
29) Cadena Inferencia Alterna Continua {5} 5[f7c4]-5[f7c9]=9[f7c9]-9[f7c6]=9[f3c6]-9[f3c1]=9[f9c1]-1[f9c1]=1[f9c5]-5[f9c5]=5[f7c4]
-> Se excluyó el candidato 5 de la posición f7c7
30) Cadena XY {4} en f3c9 f7c9 f7c6 f7c8 f7c7 f7c2
-> Se excluyó el candidato 4 de la posición f3c2
31) Cadena XY {8} en f3c2 f6c2 f7c2 f7c7
-> Se excluyó el candidato 8 de la posición f3c7
32) Cadena XY {4} en f4c3 f5c2 f3c2 f6c2
-> Se excluyó el candidato 4 de la posición f6c1
33) Cadena XY {8} en f3c2 f6c2 f7c2 f7c7 f7c8 f3c8
-> Se excluyó el candidato 8 de la posición f3c3
34) Cadena XY {4} en f1c4 f1c9 f3c9 f7c9 f7c6 f7c8 f7c7 f7c2
-> Se excluyó el candidato 4 de la posición f7c4
35) Cadena XY {4} en f3c9 f7c9 f7c6 f7c8 f7c7 f7c2 f6c2 f3c2 f5c2 f4c3
-> Se excluyó el candidato 4 de la posición f3c3
36) Cadena XY {4} en f1c4 f1c9 f3c9 f7c9 f7c6 f7c8 f7c7 f7c2 f6c2 f3c2 f5c2 f4c3
-> Se excluyó el candidato 4 de la posición f4c4
37) XY-Wing {1} en f5c5 f4c4 f9c5
-> Se excluyó el candidato 1 de la posición f7c4
38) Candidato Bloqueado {1} en f7c5 f9c5
-> Se excluyó el candidato 1 de la posición f3c5
39) Cuartetos Descubiertos {3,4,5,6} en f1c4 f6c4 f7c4 f8c4
-> Se excluyó el candidato 3 de la posición f3c4
-> Se excluyó el candidato 4 de la posición f3c4
40) Cadena Inferencia Alterna Débil {4} 4[f7c3]-7[f7c3]=7[f7c1]-7[f6c1]=7[f6c2]-4[f6c2]=4[f7c2]-4[f7c3]
-> Se excluyó el candidato 4 de la posición f7c3
41) Cadena XY {7} en f3c2 f5c2 f4c3 f8c3 f7c3
-> Se excluyó el candidato 7 de la posición f1c3
-> Se excluyó el candidato 7 de la posición f2c3
-> Se excluyó el candidato 7 de la posición f3c3
42) Sencillo Oculto {7} en f7c3
43) Sencillo Oculto {3} en f8c3
44) Candidato Bloqueado {4} en f8c4 f8c5
-> Se excluyó el candidato 4 de la posición f7c5
45) Pares Descubiertos {4,6} en f1c4 f8c4
-> Se excluyó el candidato 4 de la posición f6c4
46) Candidato Bloqueado {4} en f4c6 f6c6
-> Se excluyó el candidato 4 de la posición f2c6
47) XY-Wing {7} en f1c3 f1c5 f3c2
-> Se excluyó el candidato 7 de la posición f3c5
48) XY-Wing {6} en f3c9 f1c9 f3c3
-> Se excluyó el candidato 6 de la posición f3c8
49) Sencillo Descubierto {8} en f3c8
50) Sencillo Descubierto {7} en f1c7
51) Sencillo Descubierto {9} en f1c5
52) Sencillo Descubierto {8} en f1c3
53) Sencillo Descubierto {7} en f3c2
54) Sencillo Descubierto {4} en f6c2
55) Sencillo Descubierto {2} en f4c3
56) Sencillo Descubierto {1} en f4c4
57) Sencillo Descubierto {2} en f3c4
58) Sencillo Descubierto {4} en f4c6
59) Sencillo Descubierto {8} en f5c2
60) Sencillo Descubierto {3} en f6c6
61) Sencillo Descubierto {6} en f2c6
62) Sencillo Descubierto {4} en f1c4
63) Sencillo Descubierto {6} en f1c9
64) Sencillo Descubierto {3} en f3c5
65) Sencillo Descubierto {7} en f2c5
66) Sencillo Descubierto {1} en f3c6
67) Sencillo Descubierto {5} en f3c7
68) Sencillo Descubierto {3} en f2c7
69) Sencillo Descubierto {6} en f3c3
70) Sencillo Descubierto {4} en f3c9
71) Sencillo Descubierto {9} en f3c1
72) Sencillo Descubierto {5} en f5c3
73) Sencillo Descubierto {4} en f2c3
74) Sencillo Descubierto {5} en f2c1
75) Sencillo Descubierto {6} en f5c1
76) Sencillo Descubierto {2} en f5c5
77) Sencillo Descubierto {7} en f6c1
78) Sencillo Descubierto {5} en f6c4
79) Sencillo Descubierto {2} en f7c2
80) Sencillo Descubierto {3} en f7c4
81) Sencillo Descubierto {1} en f7c5
82) Sencillo Descubierto {4} en f7c1
83) Sencillo Descubierto {9} en f7c6
84) Sencillo Descubierto {8} en f7c7
85) Sencillo Descubierto {6} en f7c8
86) Sencillo Descubierto {5} en f7c9
87) Sencillo Descubierto {6} en f8c4
88) Sencillo Descubierto {4} en f8c5
89) Sencillo Descubierto {9} en f8c9
90) Sencillo Descubierto {1} en f9c1
91) Sencillo Descubierto {9} en f9c3
92) Sencillo Descubierto {5} en f9c5
93) Sencillo Descubierto {2} en f9c7

El puzzle se resolvió con métodos lógicos
-> Sencillo Descubierto: 51
-> Sencillo Oculto: 4
-> Candidatos Bloqueados: 4
-> Pares Descubiertos: 2
-> Cuartetos Descubiertos: 1
-> X-Wing: 1
-> Rectángulos Vacíos: 2
-> XY-Wing: 4
-> XYZ-Wing: 1
-> Cadenas XY: 10
-> Cadena Inferencia Alterna: 13

Hasta la próxima