The New Sudoku Players' Forum

[P.O.]

Code: Select all

8 . .   1 . .   7 . .
. 3 .   . 6 .   . 8 .
. . 6   . . 4   . . 2
7 . .   9 . .   5 . .
. 1 .   . 4 .   . 2 .
. . 2   . . 7   . . .
4 . .   6 . .   9 . .
. 5 .   . 9 .   . 7 .
. . 1   . . 8   . . 4

8..1..7...3..6..8...6..4..27..9..5...1..4..2...2..7...4..6..9...5..9..7...1..8..4


[Leren]

Code: Select all

*-----------------------------------------------------------*
| 8     249   459c  | 1    235    2359 | 7     34569  3569  |
|a1259c 3    a4579c | 57-2 6     a259  |a14    8     a159   |
| 159c  79c   6     | 3578 3578   4    | 13    1359   2     |
|-------------------+------------------+--------------------|
| 7     468  b348   | 9    1238   1236 | 5     1346   1368  |
| 3569  1     3589  | 358  4      356  | 368   2      7     |
| 356   468   2     | 358  1358   7    | 13468 13469  13689 |
|-------------------+------------------+--------------------|
| 4     278  b378   | 6    12357  1235 | 9     135    1358  |
| 236   5    b38    | 4    9      123  | 12368 7      1368  |
| 2369  2679  1     | 2357 2357   8    | 236   356    4     |
*-----------------------------------------------------------*

ALS XY Wing: (2=7) r2c13679 - (7=4) r478c3 - (4=2) r1c3, r2c13, r3c12 => - 2 r2c4; btte

Leren

[jco]

Code: Select all

.----------------------------------------------------------------.
|  8    e(24)9 b(59)4 |  1     235    2359 | 7      34569  3569  |
|f(2)159  3    b(7)459|a(7)5-2 6      259  | 14     8      159   |
|  159    79     6    |  3578  3578   4    | 13     1359   2     |
|---------------------+--------------------+---------------------|
|  7    d(4)68 c(4)38 |  9     1238   1236 | 5      1346   1368  |
|  3569   1    b(59)38|  358   4      356  | 368    2      7     |
|  356  d(4)68   2    |  358   1358   7    | 13468  13469  13689 |
|---------------------+--------------------+---------------------|
|  4      278    378  |  6     12357  1235 | 9      135    1358  |
|  236    5      38   |  4     9      123  | 12368  7      1368  |
|  2369   2679   1    |  2357  2357   8    | 236    356    4     |
'----------------------------------------------------------------'

(7)r2c4 = (759-4)r125c3 = (4)r4c3 - (4)r46c2 = (4-2)r1c2 = (2)r2c1 => -2 r2c4; lclste

[denis_berthier]

.
SER = 8.3

Code: Select all

Resolution state after Singles and whips[1]:
   +-------------------+-------------------+-------------------+
   ! 8     249   459   ! 1     235   2359  ! 7     34569 3569  !
   ! 1259  3     4579  ! 257   6     259   ! 14    8     159   !
   ! 159   79    6     ! 3578  3578  4     ! 13    1359  2     !
   +-------------------+-------------------+-------------------+
   ! 7     468   348   ! 9     1238  1236  ! 5     1346  1368  !
   ! 3569  1     3589  ! 358   4     356   ! 368   2     7     !
   ! 356   468   2     ! 358   1358  7     ! 13468 13469 13689 !
   +-------------------+-------------------+-------------------+
   ! 4     278   378   ! 6     12357 1235  ! 9     135   1358  !
   ! 236   5     38    ! 4     9     123   ! 12368 7     1368  !
   ! 2369  2679  1     ! 2357  2357  8     ! 236   356   4     !
   +-------------------+-------------------+-------------------+
188 candidates

The puzzle can be solved in Z5.
There's no real 1-step solution by whips(≤8)

There are however many 2-step solutions, including one in W6 that some would consider as 1-step:
whip[6]: r2n7{c4 c3} - r3c2{n7 n9} - c3n9{r2 r5} - c3n5{r5 r1} - r3c1{n5 n1} - r2c1{n1 .} ==> r2c4≠2
singles ==> r9c4=2, r7c2=2, r2c1=2, r3c1=1, r3c7=3, r9c7=6, r5c7=8, r8c1=6, r5c6=6, r8c7=2
whip[1]: c4n3{r6 .} ==> r4c5≠3, r4c6≠3, r6c5≠3
whip[1]: c1n5{r6 .} ==> r5c3≠5
whip[1]: b7n8{r8c3 .} ==> r4c3≠8
whip[1]: b8n7{r9c5 .} ==> r3c5≠7
naked-pairs-in-a-column: c2{r3 r9}{n7 n9} ==> r1c2≠9
stte

[P.O.]

Code: Select all

after singles and intersection:

 8         249  fd4*5-9    1      235    2359   7      34569  3569           
g+2-(159)  3    fd4*57-9  a×25-7  6      259    14     8      159             
g+1-(59)  c7+9    6       b35*78 b35*78  4      13     1359   2               
 7         468    348      9      1238   1236   5      1346   1368           
 3569      1     e358+9    358    4      356    368    2      7               
 356       468    2        358    1358   7      13468  13469  13689           
 4         278    378      6      12357  1235   9      135    1358           
 236       5      38       4      9      123    12368  7      1368           
 2369      2679   1        2357   2357   8      236    356    4               

depth: 4  candidate: 2  from start
 
((7 0) (2 4 2) (2 5 7))                               if r2c4 is not 7
((7 0 1 0) ((3 4 2) (3 5 7 8)) ((3 5 2) (3 5 7 8)))   one of r3c4 or r3c5 is 7
((9 1 20) (3 2 1) (7 9))                              r3c2 is 9
((9 2 7) (5 3 4) (3 5 8 9))                           r5c3 is 9
((5 3 2 11) ((1 3 1) (4 5 9)) ((2 3 1) (4 5 7 9)))    one of r1c3 or r2c3 is 5
((2 4 22) (2 1 1) (1 2 5 9))                          r2c1 is 2 from a pair


in translation:
b2n7{r2c4(r3c4^r3c5)} - r3c2{n7n9} - c3n9{(r1&r2)r5} - c3n5{r5(r1^r2)} - r3c1{n5n1} - r2c1{n1n2} => r2c4 <> 2
then some singles, 4 intersections and 1 NP: ste.