.
SER = 7.6
- Code: Select all
Resolution state after Singles and whips[1]:
+----------------------+----------------------+----------------------+
! 168 146 168 ! 5 267 2469 ! 2478 2479 3 !
! 38 45 2 ! 3479 37 1 ! 6 4579 5789 !
! 9 7 356 ! 346 8 2346 ! 245 1 25 !
+----------------------+----------------------+----------------------+
! 2 8 13579 ! 139 4 359 ! 1357 6 157 !
! 136 156 4 ! 1368 136 7 ! 9 25 1258 !
! 1367 1569 135679 ! 2 136 35689 ! 13578 57 4 !
+----------------------+----------------------+----------------------+
! 1678 169 16789 ! 134678 12367 23468 ! 12457 24579 125679 !
! 4 2 16789 ! 1678 5 68 ! 17 3 1679 !
! 5 3 167 ! 1467 9 246 ! 1247 8 1267 !
+----------------------+----------------------+----------------------+
202 candidates.
biv-chain[3]: r2n8{c9 c1} - b1n3{r2c1 r3c3} - b1n5{r3c3 r2c2} ==> r2c9≠5
finned-x-wing-in-rows: n5{r2 r5}{c2 c8} ==> r6c8≠5
singles ==> r6c8=7, r4c3=7, r7c1=7
whip[1]: b7n8{r8c3 .} ==> r1c3≠8
whip[1]: b8n7{r9c4 .} ==> r2c4≠7
whip[1]: r4n9{c6 .} ==> r6c6≠9
naked-pairs-in-a-column: c3{r1 r9}{n1 n6} ==> r8c3≠6, r8c3≠1, r7c3≠6, r7c3≠1, r6c3≠6, r6c3≠1, r3c3≠6
whip[1]: r3n6{c6 .} ==> r1c5≠6, r1c6≠6
naked-pairs-in-a-block: b7{r7c3 r8c3}{n8 n9} ==> r7c2≠9
hidden-single-in-a-column ==> r6c2=9
hidden-pairs-in-a-block: b3{n7 n8}{r1c7 r2c9} ==> r2c9≠9, r1c7≠4, r1c7≠2
whip[1]: c9n9{r8 .} ==> r7c8≠9
naked-triplets-in-a-row: r2{c1 c5 c9}{n8 n3 n7} ==> r2c4≠3
finned-x-wing-in-rows: n3{r2 r5}{c1 c5} ==> r6c5≠3
biv-chain[3]: c2n4{r1 r2} - r2c4{n4 n9} - b3n9{r2c8 r1c8} ==> r1c8≠4
biv-chain[3]: r4c9{n1 n5} - c6n5{r4 r6} - r6n8{c6 c7} ==> r6c7≠1
biv-chain[3]: b2n6{r3c4 r3c6} - r8c6{n6 n8} - b5n8{r6c6 r5c4} ==> r5c4≠6
biv-chain[3]: c7n3{r4 r6} - r6c3{n3 n5} - b5n5{r6c6 r4c6} ==> r4c6≠3, r4c7≠5
biv-chain[4]: r3c9{n5 n2} - r1c8{n2 n9} - c6n9{r1 r4} - r4n5{c6 c9} ==> r7c9≠5, r5c9≠5
x-wing-in-rows: n5{r2 r5}{c2 c8} ==> r7c8≠5
hidden-single-in-a-block ==> r7c7=5
hidden-pairs-in-a-column: c7{n2 n4}{r3 r9} ==> r9c7≠7, r9c7≠1
naked-pairs-in-a-block: b9{r7c8 r9c7}{n2 n4} ==> r9c9≠2, r7c9≠2
biv-chain[3]: r4n3{c4 c7} - r6c7{n3 n8} - b5n8{r6c6 r5c4} ==> r5c4≠3
x-wing-in-rows: n3{r2 r5}{c1 c5} ==> r7c5≠3, r6c1≠3
naked-pairs-in-a-row: r6{c1 c5}{n1 n6} ==> r6c6≠6
whip[1]: b5n6{r6c5 .} ==> r7c5≠6
biv-chain[3]: r5n3{c1 c5} - c5n6{r5 r6} - r6n1{c5 c1} ==> r5c1≠1
biv-chain[4]: c7n3{r4 r6} - r6c3{n3 n5} - r5n5{c2 c8} - r4c9{n5 n1} ==> r4c7≠1
stte
No 1-step solution in W8, but many 2-step solutions with reversible chains only, in Z5:
1st step: z-chain[5]: r5n2{c9 c8} - r5n5{c8 c2} - b1n5{r2c2 r3c3} - b1n3{r3c3 r2c1} - r2n8{c1 .} ==> r5c9≠8singles ==> r6c7=8, r2c9=8, r2c1=3, r2c5=7, r5c4=8, r5c5=3, r6c3=3, r4c7=3
whip[1]: c7n1{r9 .} ==> r7c9≠1, r8c9≠1, r9c9≠1
whip[1]: b5n6{r6c6 .} ==> r6c1≠6, r6c2≠6
whip[1]: c9n9{r8 .} ==> r7c8≠9
2nd step: a lot of possible bivalue-chains[4]:biv-chain[4]: b3n9{r1c8 r2c8} - r2n5{c8 c2} - c3n5{r3 r4} - r4c6{n5 n9} ==> r1c6≠9
stte
or
biv-chain[4]: b2n9{r2c4 r1c6} - r4c6{n9 n5} - c3n5{r4 r3} - r2c2{n5 n4} ==> r2c4≠4
stte
or
biv-chain[4]: r2n5{c8 c2} - c3n5{r3 r4} - r4c6{n5 n9} - b2n9{r1c6 r2c4} ==> r2c8≠9
stte
or
biv-chain[4]: r2n9{c4 c8} - r2n5{c8 c2} - c3n5{r3 r4} - r4c6{n5 n9} ==> r4c4≠9, r1c6≠9
stte