.
(find-sudoku-1-steppers-wrt-W1 ".8...7......4...1..59...8........673..3.6...1.1.2...9.9...8......4.....6...15.3..")
- Code: Select all
Resolution state after Singles and whips[1]:
+----------------------+----------------------+----------------------+
! 1234 8 12 ! 5 1239 7 ! 249 6 249 !
! 2367 2367 267 ! 4 239 8 ! 2579 1 2579 !
! 1247 5 9 ! 6 12 12 ! 8 3 247 !
+----------------------+----------------------+----------------------+
! 258 249 258 ! 89 14 159 ! 6 7 3 !
! 578 479 3 ! 789 6 59 ! 245 2458 1 !
! 5678 1 5678 ! 2 47 3 ! 45 9 458 !
+----------------------+----------------------+----------------------+
! 9 2367 12567 ! 37 8 246 ! 12457 245 2457 !
! 123578 237 4 ! 379 27 29 ! 12579 258 6 !
! 2678 267 2678 ! 1 5 2469 ! 3 248 24789 !
+----------------------+----------------------+----------------------+
Without hiding the application of Subset rules, there is no simple 1-step solution.
The "simplest" really 1-step solutions are:
- Code: Select all
whip[8]: r4n4{c2 c5} - r4n1{c5 c6} - c6n5{r4 r5} - r5c7{n5 n2} - r5c8{n2 n8} - r8n8{c8 c1} - b7n5{r8c1 r7c3} - b7n1{r7c3 .} ==> r5c2 ≠ 4
stte
- Code: Select all
whip[8]: r5c6{n9 n5} - r4c6{n5 n1} - r4c5{n1 n4} - c2n4{r4 r5} - r5c7{n4 n2} - r5c8{n2 n8} - c9n8{r6 r9} - r9n9{c9 .} ==> r8c6 ≠ 9
stte
- Code: Select all
g-whip[7]: r8c5{n7 n2} - r8c6{n2 n9} - r9n9{c6 c9} - c9n8{r9 r6} - r6n4{c9 c7} - b6n5{r6c7 r5c789} - r5c6{n5 .} ==> r6c5 ≠ 7
stte