The New Sudoku Players' Forum

[shye]

Code: Select all

+-------+-------+-------+
| 1 . . | . 6 8 | 4 . . |
| . . . | 3 . . | . 8 . |
| . . 2 | . 1 . | 7 6 . |
+-------+-------+-------+
| 3 . . | 5 . . | . . . |
| . 4 . | . 3 . | . 7 . |
| . . . | . . 4 | . . 9 |
+-------+-------+-------+
| . 5 3 | . 8 . | 1 . . |
| . 9 . | . . 3 | . . . |
| . . 6 | 7 5 . | . . 2 |
+-------+-------+-------+
1...684.....3...8...2.1.76.3..5......4..3..7......4..9.53.8.1...9...3.....675...2

estimated rating: 6.7
rly happy with how this one came out!!

[Cenoman]

Code: Select all

 +-----------------------+-------------------------+------------------------+
 |  1      37     57     |ga29      6      8       |  4      b29     35     |
 |  459    6      459    |  3      g2479   257-9   | c29      8      1      |
 |  4589   38     2      | g49      1      5-9     |  7       6      35     |
 +-----------------------+-------------------------+------------------------+
 |  3      1278   1789   |  5       279    12679   |  268     124    468    |
 |  5689   4      1589   | e12689   3     e1269    | d2568    7      68     |
 |  5678   1278   1578   |  1268   f27     4       |  23568   1235   9      |
 +-----------------------+-------------------------+------------------------+
 |  247    5      3      |  2469    8      269     |  1       49     467    |
 |  2478   9      1478   |  1246    24     3       |  568     45     4678   |
 |  48     18     6      |  7       5      19      |  389     349    2      |
 +-----------------------+-------------------------+------------------------+

(9=2)r1c4 - r1c8 = r2c7 - r5c7 = r5c46 - (2=7)r6c5 - (7=249)b2p157 => -9 r23c6; ste

[yzfwsf]

Code: Select all

.------------------.--------------------.--------------------.
| 1     37    579  | 29     6     8     | 4      259   35    |
| 459   6     459  | 3      2479  2579  | 259    8     1     |
| 4589  38    2    | 49     1     59    | 7      6     35    |
:------------------+--------------------+--------------------:
| 3     1278  1789 | 5      279   12679 | 268    124   468   |
| 5689  4     1589 | 12689  3     1269  | 2568   7     568   |
| 5678  1278  1578 | 1268   27    4     | 23568  1235  9     |
:------------------+--------------------+--------------------:
| 247   5     3    | 2469   8     269   | 1      49    467   |
| 2478  9     1478 | 1246   24    3     | 568    45    45678 |
| 48    18    6    | 7      5     19    | 389    349   2     |
'------------------'--------------------'--------------------'

Uniqueness External Test + XY-Wing: 12 in r46c28 => r23c6,r7c4<>9
(9=1)r9c6 - 1r9c2 = 2r1c8 - (2=9)r1c4

[P.O.]

Code: Select all

after singles and intersections:

 1      j+3-7  i+7-(59) c+29     6         8      4     d-259   35             
i-459    6     i-459     3      h+4-(279)  2579  e+259   8      1               
a45×8-9 j-3+8   2       b4*9     1        b5*9    7      6      35             
 3       1278   1789     5       279       12679  268    124    468             
 5689    4      1589    g1*2689  3        g1*269 f-2568  7      568             
 5678    1278   1578     1268   h-2+7      4      23568  1235   9               
 247     5      3        2469    8         269    1      49     467             
 2478    9      1478     1246    24        3      568    45     45678           
 48      18     6        7       5         19     389    349    2               

depth: 6  candidate: 8  from start
 
((9 0) (3 1 1) (4 5 8 9))
((9 0 1 0) ((3 4 2) (4 9)) ((3 6 2) (5 9)))
((2 1 20) (1 4 2) (2 9))
((2 2 1) (2 7 3) (2 5 9))
((2 3 1 2) ((5 4 5) (1 2 6 8 9)) ((5 6 5) (1 2 6 9)))
((4 4 142) (2 5 2) (2 4 7 9))
((7 5 113) (1 3 1) (5 7 9))
((8 6 22) (3 2 1) (3 8))

ste.


[denis_berthier]

.

Code: Select all

Resolution state after Singles and whips[1]:
   +-------------------+-------------------+-------------------+
   ! 1     37    579   ! 29    6     8     ! 4     259   35    !
   ! 459   6     459   ! 3     2479  2579  ! 259   8     1     !
   ! 4589  38    2     ! 49    1     59    ! 7     6     35    !
   +-------------------+-------------------+-------------------+
   ! 3     1278  1789  ! 5     279   12679 ! 268   124   468   !
   ! 5689  4     1589  ! 12689 3     1269  ! 2568  7     568   !
   ! 5678  1278  1578  ! 1268  27    4     ! 23568 1235  9     !
   +-------------------+-------------------+-------------------+
   ! 247   5     3     ! 2469  8     269   ! 1     49    467   !
   ! 2478  9     1478  ! 1246  24    3     ! 568   45    45678 !
   ! 48    18    6     ! 7     5     19    ! 389   349   2     !
   +-------------------+-------------------+-------------------+

whip[4]: r2n7{c6 c5} - r6c5{n7 n2} - r5n2{c6 c7} - r2n2{c7 .} ==> r2c6≠5
stte

[shye]

Uniqueness External Test + XY-Wing: 12 in r46c28 => r23c6,r7c4<>9
(9=1)r9c6 - 1r9c2 = 2r1c8 - (2=9)r1c4

this was what i was going for the new update of your solver got me inspired!

whip[4]: r2n7{c6 c5} - r6c5{n7 n2} - r5n2{c6 c7} - r2n2{c7 .} ==> r2c6≠5

this is cool! i have a slightly different way to view it: the value in r6c5 must appear in r2c6
7 would place 7 in r2
2 would place 2 in r5 and then 2 in r2
both cases in the same cell => -59r2c6 (although the 5 elim is all that matters)