.
Resolution state after Singles and whips[1]:
- Code: Select all
+----------------------+----------------------+----------------------+
! 34789 2379 2479 ! 56789 479 5789 ! 59 5689 1 !
! 1789 179 179 ! 156789 2 3 ! 59 4 689 !
! 1489 5 6 ! 189 149 189 ! 2 3 7 !
+----------------------+----------------------+----------------------+
! 134679 1379 1479 ! 179 8 2 ! 134579 15679 3469 !
! 1479 1279 5 ! 3 179 6 ! 1479 12789 489 !
! 13679 8 1279 ! 4 5 179 ! 1379 12679 369 !
+----------------------+----------------------+----------------------+
! 179 4 3 ! 15789 179 15789 ! 6 179 2 !
! 2 6 179 ! 179 3 4 ! 8 179 5 !
! 5 179 8 ! 2 6 179 ! 13479 179 349 !
+----------------------+----------------------+----------------------+
189 candidates.
naked-pairs-in-a-column: c7{r1 r2}{n5 n9} ==> r9c7≠9, r6c7≠9, r5c7≠9, r4c7≠9, r4c7≠5
hidden-single-in-a-block ==> r4c8=5
whip[1]: c7n9{r2 .} ==> r1c8≠9, r2c9≠9
hidden-pairs-in-a-row: r9{n3 n4}{c7 c9} ==> r9c9≠9, r9c7≠7, r9c7≠1
whip[1]: b9n1{r9c8 .} ==> r5c8≠1, r6c8≠1
whip[1]: b9n7{r9c8 .} ==> r5c8≠7, r6c8≠7
whip[1]: c9n9{r6 .} ==> r5c8≠9, r6c8≠9
hidden-pairs-in-a-row: r7{n5 n8}{c4 c6} ==> r7c6≠9, r7c6≠7, r7c6≠1, r7c4≠9, r7c4≠7, r7c4≠1
- Code: Select all
+----------------------+----------------------+----------------------+
! 34789 2379 2479 ! 56789 479 5789 ! 59 68 1 !
! 1789 179 179 ! 156789 2 3 ! 59 4 68 !
! 1489 5 6 ! 189 149 189 ! 2 3 7 !
+----------------------+----------------------+----------------------+
! 134679 1379 1479 ! 179 8 2 ! 1347 5 3469 !
! 1479 1279 5 ! 3 179 6 ! 147 28 489 !
! 13679 8 1279 ! 4 5 179 ! 137 26 369 !
+----------------------+----------------------+----------------------+
! 179 4 3 ! 58 179 58 ! 6 179 2 !
! 2 6 179 ! 179 3 4 ! 8 179 5 !
! 5 179 8 ! 2 6 179 ! 34 179 34 !
+----------------------+----------------------+----------------------+
See column c8 in block b9.
- Code: Select all
(solve-sukaku-grid-by-eleven-replacement 1 7 9
7 8
8 8
9 8
+----------------------+----------------------+----------------------+
! 34789 2379 2479 ! 56789 479 5789 ! 59 68 1 !
! 1789 179 179 ! 156789 2 3 ! 59 4 68 !
! 1489 5 6 ! 189 149 189 ! 2 3 7 !
+----------------------+----------------------+----------------------+
! 134679 1379 1479 ! 179 8 2 ! 1347 5 3469 !
! 1479 1279 5 ! 3 179 6 ! 147 28 489 !
! 13679 8 1279 ! 4 5 179 ! 137 26 369 !
+----------------------+----------------------+----------------------+
! 179 4 3 ! 58 179 58 ! 6 179 2 !
! 2 6 179 ! 179 3 4 ! 8 179 5 !
! 5 179 8 ! 2 6 179 ! 34 179 34 !
+----------------------+----------------------+----------------------+
)
- Code: Select all
AFTER APPLYING ELEVEN''S REPLACEMENT METHOD to digits 1, 7 and 9 in cells r7c8, r8c8 and r9c8,
the resolution state is:
+----------------------+----------------------+----------------------+
! 341798 23179 24179 ! 561798 4179 51798 ! 5179 68 179 !
! 1798 179 179 ! 179568 2 3 ! 5179 4 68 !
! 17948 5 6 ! 1798 1794 1798 ! 2 3 179 !
+----------------------+----------------------+----------------------+
! 179346 1793 1794 ! 179 8 2 ! 17934 5 346179 !
! 1794 1792 5 ! 3 179 6 ! 1794 28 48179 !
! 17936 8 1792 ! 4 5 179 ! 1793 26 36179 !
+----------------------+----------------------+----------------------+
! 179 4 3 ! 58 179 58 ! 6 1 2 !
! 2 6 179 ! 179 3 4 ! 8 7 5 !
! 5 179 8 ! 2 6 179 ! 34 9 34 !
+----------------------+----------------------+----------------------+
THIS IS THE PUZZLE THAT WILL NOW BE SOLVED.
DON''T FORGET TO DO THE RELEVANT DIGIT REPLACEMENTS AT THE END, based on the original givens.
- Code: Select all
biv-chain[4]: r4n6{c1 c9} - r6c8{n6 n2} - c3n2{r6 r1} - c3n4{r1 r4} ==> r4c1≠4
whip[6]: c2n2{r1 r5} - r5c8{n2 n8} - r1c8{n8 n6} - r2n6{c9 c4} - r2n5{c4 c7} - r2n7{c7 .} ==> r1c2≠7
whip[6]: c2n2{r1 r5} - r5c8{n2 n8} - r1c8{n8 n6} - r2n6{c9 c4} - r2n5{c4 c7} - r2n9{c7 .} ==> r1c2≠9
whip[6]: c2n2{r1 r5} - r5c8{n2 n8} - r1c8{n8 n6} - r2n6{c9 c4} - r2n1{c4 c7} - r2n5{c7 .} ==> r1c2≠1
t-whip[5]: c1n6{r4 r6} - r6c8{n6 n2} - r5n2{c8 c2} - r1c2{n2 n3} - b4n3{r4c2 .} ==> r4c1≠1, r4c1≠7, r4c1≠9
whip[7]: r1n3{c1 c2} - c2n2{r1 r5} - r5c8{n2 n8} - r1c8{n8 n6} - r2n6{c9 c4} - r2n5{c4 c7} - r2n7{c7 .} ==> r1c1≠7
whip[7]: r1n3{c1 c2} - c2n2{r1 r5} - r5c8{n2 n8} - r1c8{n8 n6} - r2n6{c9 c4} - r2n5{c4 c7} - r2n9{c7 .} ==> r1c1≠9
whip[7]: r1n3{c1 c2} - c2n2{r1 r5} - r5c8{n2 n8} - r1c8{n8 n6} - r2n6{c9 c4} - r2n1{c4 c7} - r2n5{c7 .} ==> r1c1≠1
whip[8]: c2n9{r5 r2} - c1n9{r3 r7} - b8n9{r7c5 r8c4} - b8n1{r8c4 r9c6} - r6c6{n1 n7} - r4c4{n7 n1} - c2n1{r4 r5} - b4n2{r5c2 .} ==> r6c3≠9
whip[6]: r9c2{n1 n7} - r2c2{n7 n9} - r5c2{n9 n2} - r6c3{n2 n7} - r2c3{n7 n1} - b7n1{r8c3 .} ==> r4c2≠1
z-chain[3]: c5n1{r3 r5} - c2n1{r5 r9} - b8n1{r9c6 .} ==> r2c4≠1
whip[6]: r7n7{c1 c5} - r9c6{n7 n1} - r6c6{n1 n9} - r5c5{n9 n1} - c2n1{r5 r2} - c1n1{r2 .} ==> r6c1≠7
whip[6]: c2n9{r5 r2} - c1n9{r3 r7} - r8c3{n9 n1} - r2c3{n1 n7} - c1n7{r3 r5} - b4n4{r5c1 .} ==> r4c3≠9
whip[4]: r9c2{n1 n7} - r2c2{n7 n9} - c3n9{r2 r8} - b7n1{r8c3 .} ==> r5c2≠1
whip[6]: r9n7{c6 c2} - b7n1{r9c2 r8c3} - r8c4{n1 n9} - b5n9{r4c4 r5c5} - r5c2{n9 n2} - r6c3{n2 .} ==> r6c6≠7
biv-chain[3]: r6c6{n9 n1} - r9c6{n1 n7} - r7c5{n7 n9} ==> r5c5≠9
biv-chain[3]: r5c5{n1 n7} - r7c5{n7 n9} - r8c4{n9 n1} ==> r4c4≠1
whip[4]: r4c4{n7 n9} - r6c6{n9 n1} - b4n1{r6c1 r5c1} - b4n4{r5c1 .} ==> r4c3≠7
z-chain[5]: c2n3{r4 r1} - r1n2{c2 c3} - r6c3{n2 n1} - r6c6{n1 n9} - r4c4{n9 .} ==> r4c2≠7
z-chain[3]: b5n7{r4c4 r5c5} - c2n7{r5 r9} - c6n7{r9 .} ==> r2c4≠7
z-chain[4]: r8c3{n1 n9} - r7c1{n9 n7} - b4n7{r5c1 r5c2} - b4n2{r5c2 .} ==> r6c3≠1
z-chain[5]: r4c4{n7 n9} - r4c2{n9 n3} - r1c2{n3 n2} - b4n2{r5c2 r6c3} - b4n7{r6c3 .} ==> r5c5≠7
singles ==> r5c5=1, r6c6=9, r4c4=7
biv-chain[4]: b4n1{r6c1 r4c3} - c3n4{r4 r1} - r1n2{c3 c2} - b1n3{r1c2 r1c1} ==> r6c1≠3
whip[1]: r6n3{c9 .} ==> r4c7≠3, r4c9≠3
biv-chain[3]: r4c3{n4 n1} - r6c1{n1 n6} - r4n6{c1 c9} ==> r4c9≠4
biv-chain[4]: c3n2{r1 r6} - r6c8{n2 n6} - r6c1{n6 n1} - r4c3{n1 n4} ==> r1c3≠4
singles ==> r4c3=4, r6c1=1, r4c1=6, r4c2=3, r1c2=2, r6c3=2, r6c8=6, r1c8=8, r2c9=6, r5c8=2, r1c4=6, r5c9=8, r5c7=4, r9c7=3, r6c7=7, r6c9=3, r9c9=4, r1c1=3, r3c1=4, r2c1=8, r1c5=4
whip[1]: r2n7{c3 .} ==> r1c3≠7
hidden-single-in-a-column ==> r2c3=7
finned-x-wing-in-columns: n1{c3 c4}{r8 r1} ==> r1c6≠1
whip[1]: b2n1{r3c6 .} ==> r3c9≠1
naked-pairs-in-a-row: r3{c5 c9}{n7 n9} ==> r3c6≠7, r3c4≠9
finned-x-wing-in-columns: n9{c4 c3}{r8 r2} ==> r2c2≠9
stte
+-------+-------+-------+
! 3 2 9 ! 6 4 7 ! 5 8 1 !
! 8 1 7 ! 5 2 3 ! 9 4 6 !
! 4 5 6 ! 1 9 8 ! 2 3 7 !
+-------+-------+-------+
! 6 3 4 ! 7 8 2 ! 1 5 9 !
! 7 9 5 ! 3 1 6 ! 4 2 8 !
! 1 8 2 ! 4 5 9 ! 7 6 3 !
+-------+-------+-------+
! 9 4 3 ! 8 7 5 ! 6 1 2 !
! 2 6 1 ! 9 3 4 ! 8 7 5 !
! 5 7 8 ! 2 6 1 ! 3 9 4 !
+-------+-------+-------+
digits 1 and 7 correspond to the data. No permutation of them is necessary.