by denis_berthier » Sun Jul 11, 2021 6:04 am
.
- Code: Select all
Resolution state after Singles and whips[1]:
+-------------------+-------------------+-------------------+
! 1 78 357 ! 2 478 6 ! 3458 34 9 !
! 3678 6789 2 ! 3789 5 34789 ! 1 346 468 !
! 3568 4 359 ! 1389 89 1389 ! 23568 7 2568 !
+-------------------+-------------------+-------------------+
! 2567 1267 8 ! 3567 2467 23457 ! 9 1246 2467 !
! 267 3 47 ! 6789 1 24789 ! 2468 5 24678 !
! 9 1267 1457 ! 5678 24678 24578 ! 2468 1246 3 !
+-------------------+-------------------+-------------------+
! 238 1289 6 ! 1589 289 12589 ! 7 2349 245 !
! 4 2789 79 ! 56789 3 25789 ! 256 269 1 !
! 237 5 1379 ! 4 2679 1279 ! 236 8 26 !
+-------------------+-------------------+-------------------+
213 candidates.
Solved with no more than bivalue-chains[4]:
- Code: Select all
finned-swordfish-in-rows: n4{r7 r2 r4}{c9 c8 c6} ==> r6c6 ≠ 4, r5c6 ≠ 4
biv-chain[4]: r1c8{n3 n4} - b9n4{r7c8 r7c9} - b9n5{r7c9 r8c7} - r1n5{c7 c3} ==> r1c3 ≠ 3
whip[1]: r1n3{c8 .} ==> r2c8 ≠ 3, r3c7 ≠ 3
biv-chain[3]: r1n5{c3 c7} - c7n3{r1 r9} - c3n3{r9 r3} ==> r3c3 ≠ 5
hidden-triplets-in-a-row: r3{n2 n5 n6}{c7 c9 c1} ==> r3c9 ≠ 8, r3c7 ≠ 8, r3c1 ≠ 8, r3c1 ≠ 3
whip[1]: r3n8{c6 .} ==> r1c5 ≠ 8, r2c4 ≠ 8, r2c6 ≠ 8
biv-chain[3]: r2c8{n6 n4} - r7n4{c8 c9} - c9n5{r7 r3} ==> r3c9 ≠ 6
biv-chain[3]: r9c9{n6 n2} - r3c9{n2 n5} - b9n5{r7c9 r8c7} ==> r8c7 ≠ 6
biv-chain[3]: r8c7{n2 n5} - c9n5{r7 r3} - b3n2{r3c9 r3c7} ==> r5c7 ≠ 2, r6c7 ≠ 2, r9c7 ≠ 2
biv-chain[3]: r8c7{n5 n2} - r9c9{n2 n6} - b8n6{r9c5 r8c4} ==> r8c4 ≠ 5
finned-swordfish-in-columns: n5{c9 c1 c4}{r7 r3 r4} ==> r4c6 ≠ 5
biv-chain[3]: b1n9{r2c2 r3c3} - c3n3{r3 r9} - b7n1{r9c3 r7c2} ==> r7c2 ≠ 9
biv-chain[3]: c3n3{r3 r9} - r9n1{c3 c6} - b2n1{r3c6 r3c4} ==> r3c4 ≠ 3
t-whip[3]: r7n3{c1 c8} - c8n9{r7 r8} - b7n9{r8c3 .} ==> r9c3 ≠ 3
singles ==> r3c3 = 3, r2c2 = 9
whip[1]: c2n6{r6 .} ==> r4c1 ≠ 6, r5c1 ≠ 6
hidden-pairs-in-a-column: c6{n3 n4}{r2 r4} ==> r4c6 ≠ 7, r4c6 ≠ 2, r2c6 ≠ 7
finned-x-wing-in-rows: n6{r8 r5}{c4 c8} ==> r6c8 ≠ 6, r4c8 ≠ 6
biv-chain[3]: r2n7{c1 c4} - c4n3{r2 r4} - r4n5{c4 c1} ==> r4c1 ≠ 7
biv-chain[3]: c8n6{r2 r8} - r9c9{n6 n2} - b3n2{r3c9 r3c7} ==> r3c7 ≠ 6
singles ==> r3c1 = 6, r1c3 = 5, r4c1 = 5
finned-swordfish-in-rows: n6{r8 r2 r5}{c4 c8 c9} ==> r4c9 ≠ 6
biv-chain[3]: r5c1{n2 n7} - r2c1{n7 n8} - c9n8{r2 r5} ==> r5c9 ≠ 2
biv-chain[4]: c9n7{r4 r5} - c9n8{r5 r2} - b1n8{r2c1 r1c2} - r1n7{c2 c5} ==> r4c5 ≠ 7
biv-chain[4]: r1n8{c7 c2} - c1n8{r2 r7} - c1n3{r7 r9} - c7n3{r9 r1} ==> r1c7 ≠ 4
whip[1]: c7n4{r6 .} ==> r4c8 ≠ 4, r4c9 ≠ 4, r5c9 ≠ 4, r6c8 ≠ 4
whip[1]: r4n4{c6 .} ==> r6c5 ≠ 4
naked-pairs-in-a-block: b6{r4c8 r6c8}{n1 n2} ==> r4c9 ≠ 2
naked-single ==> r4c9 = 7
whip[1]: b6n2{r6c8 .} ==> r7c8 ≠ 2, r8c8 ≠ 2
biv-chain[3]: r6c8{n2 n1} - r4n1{c8 c2} - c2n6{r4 r6} ==> r6c2 ≠ 2
biv-chain[3]: b8n6{r9c5 r8c4} - r8c8{n6 n9} - c3n9{r8 r9} ==> r9c5 ≠ 9
hidden-pairs-in-a-row: r9{n1 n9}{c3 c6} ==> r9c6 ≠ 7, r9c6 ≠ 2, r9c3 ≠ 7
finned-x-wing-in-rows: n7{r9 r2}{c1 c5} ==> r1c5 ≠ 7
singles ==> r1c5 = 4, r1c8 = 3, r1c7 = 8, r1c2 = 7, r2c1 = 8, r2c6 = 3, r2c4 = 7, r4c6 = 4, r4c4 = 3, r5c9 = 8, r9c7 = 3, r7c1 = 3
finned-x-wing-in-rows: n7{r8 r5}{c6 c3} ==> r6c3 ≠ 7
whip[1]: r6n7{c6 .} ==> r5c6 ≠ 7
naked-triplets-in-a-block: b5{r4c5 r5c4 r5c6}{n2 n6 n9} ==> r6c6 ≠ 2, r6c5 ≠ 6, r6c5 ≠ 2, r6c4 ≠ 6
singles ==> r6c8 = 2, r4c8 = 1
finned-x-wing-in-columns: n2{c1 c6}{r5 r9} ==> r9c5 ≠ 2
biv-chain[3]: r5n9{c6 c4} - c4n6{r5 r8} - r8c8{n6 n9} ==> r8c6 ≠ 9
biv-chain[3]: b5n2{r5c6 r4c5} - c5n6{r4 r9} - b8n7{r9c5 r8c6} ==> r8c6 ≠ 2
whip[1]: b8n2{r7c6 .} ==> r7c2 ≠ 2, r7c9 ≠ 2
biv-chain[3]: c5n9{r3 r7} - r7n2{c5 c6} - r5c6{n2 n9} ==> r3c6 ≠ 9
biv-chain[3]: r9c6{n9 n1} - r3c6{n1 n8} - r3c5{n8 n9} ==> r7c5 ≠ 9
hidden-single-in-a-column ==> r3c5 = 9
biv-chain[3]: c5n8{r7 r6} - c5n7{r6 r9} - b8n6{r9c5 r8c4} ==> r8c4 ≠ 8
naked-pairs-in-a-column: c4{r5 r8}{n6 n9} ==> r7c4 ≠ 9
naked-pairs-in-a-row: r8{c4 c8}{n6 n9} ==> r8c3 ≠ 9
stte