.
(find-sudoku-1-steppers-wrt-W1 "4....617..7.4..........8.6482......3.96.13.8....5.49..9....5....6.7...35.4....79.")
- Code: Select all
Resolution state after Singles and whips[1]:
+----------------+----------------+----------------+
! 4 38 289 ! 39 5 6 ! 1 7 289 !
! 6 7 189 ! 4 239 12 ! 38 5 89 !
! 123 5 129 ! 139 7 8 ! 23 6 4 !
+----------------+----------------+----------------+
! 8 2 4 ! 69 69 7 ! 5 1 3 !
! 5 9 6 ! 2 1 3 ! 4 8 7 !
! 7 1 3 ! 5 8 4 ! 9 2 6 !
+----------------+----------------+----------------+
! 9 38 7 ! 138 23 5 ! 6 4 128 !
! 12 6 128 ! 7 4 9 ! 28 3 5 !
! 23 4 5 ! 1368 236 12 ! 7 9 128 !
+----------------+----------------+----------------+
There is an impressive number of easy 1-step solutions:
1) Using chains of length 3:- Code: Select all
z-chain[3]: b7n2{r8c3 r9c1} - c1n3{r9 r3} - r3c7{n3 .} ==> r8c7 ≠ 2
stte
- Code: Select all
z-chain[3]: c1n3{r9 r3} - r3c7{n3 n2} - r8n2{c7 .} ==> r9c1 ≠ 2
stte
- Code: Select all
whip[3]: r9c1{n3 n2} - r8n2{c3 c7} - r3c7{n2 .} ==> r3c1 ≠ 3
stte
- Code: Select all
whip[3]: c7n2{r3 r8} - b7n2{r8c3 r9c1} - c1n3{r9 .} ==> r3c7 ≠ 3
stte
2) Using only bivaue-chains of length 4:- Code: Select all
biv-chain[4]: r1n3{c2 c4} - r2n3{c5 c7} - c7n8{r2 r8} - b7n8{r8c3 r7c2} ==> r1c2 ≠ 8, r7c2 ≠ 3
stte
- Code: Select all
biv-chain[4]: r1c2{n3 n8} - b7n8{r7c2 r8c3} - c7n8{r8 r2} - r2n3{c7 c5} ==> r1c4 ≠ 3
stte
- Code: Select all
biv-chain[4]: r2c7{n3 n8} - r8n8{c7 c3} - c2n8{r7 r1} - r1n3{c2 c4} ==> r2c5 ≠ 3
stte
- Code: Select all
biv-chain[4]: r2n3{c7 c5} - r1n3{c4 c2} - c2n8{r1 r7} - r8n8{c3 c7} ==> r2c7 ≠ 8
stte
- Code: Select all
biv-chain[4]: r7c2{n8 n3} - b1n3{r1c2 r3c1} - b3n3{r3c7 r2c7} - c7n8{r2 r8} ==> r8c3 ≠ 8, r7c9 ≠ 8
stte