刚才学习SK的时候看到作者有计算器,就算了下,把结果copy过来,希望能帮到大家.

Almost (+1) SK loop detected : (35=24)r4c12 - (24=56)r56c3 - (56=17)r89c3 - (17=36)r7c12 - (36=124)r7c46 - (124=36)r89c5 - (36=17)r56c5 - (17=35)r4c46 - loop
No contradiction when 5 at r4c7 is true and others are all false
Eliminations : r4c7 <> 3, r7c7 <> 3, r7c9 <> 3, r1c3 <> 5, r1c3 <> 6, r2c3 <> 6, r1c5 <> 6, r2c5 <> 3, r2c5 <> 6, r5c4 <> 1, r6c6 <> 7, r8c1 <> 7, r9c2 <> 1, r8c4 <> 1, r8c6 <> 4

Almost (+1) SK loop detected : (35=24)r4c12 - (24=56)r56c3 - (56=17)r89c3 - (17=36)r7c12 - (36=124)r7c46 - (124=36)r89c5 - (36=17)r56c5 - (17=35)r4c46 - loop
No contradiction when 5 at r4c7 is true and others are all false
Eliminations : r4c7 <> 3, r7c7 <> 3, r7c9 <> 3, r1c3 <> 5, r1c3 <> 6, r2c3 <> 6, r1c5 <> 6, r2c5 <> 3, r2c5 <> 6, r5c4 <> 1, r6c6 <> 7, r8c1 <> 7, r9c2 <> 1, r8c4 <> 1, r8c6 <> 4