The New Sudoku Players' Forum

[pjb]

Code: Select all

*-----------*
|..2|47.|.58|
|...|...|...|
|...|..1|.4.|
|---+---+---|
|...|.2.|..9|
|528|.9.|4..|
|..9|...|1..|
|---+---+---|
|...|...|.3.|
|3..|..7|5..|
|685|..2|...|
*-----------*

..247..58..............1.4.....2...9528.9.4....9...1.........3.3....75..685..2...


[Leren]

Code: Select all

*-----------------------------------------------------------------*
| 19   *136   2        | 4      7     *369   |*369   5    8       |
| 4789  34567 3467     | 235689 3568   35689 | 23679 1679 1367    |
| 789   3567  367      | 235689 3568   1     | 23679 4    367     |
|----------------------+---------------------+--------------------|
| 147  *13467 13467 f1 | 3567   2      3456  | 68-3  68   9       |
| 5     2     8        | 1      9     *36    | 4     67   367  f2 |
| 47   *3467  9        | 3678   3468   3468  | 1     2    5       |
|----------------------+---------------------+--------------------|
| 2     1479  147      | 5689   14568  45689 | 689   3    146     |
| 3     149   14       | 689    1468   7     | 5     1689 2       |
| 6     8     5        | 39     134    2     | 79    179  147     |
*-----------------------------------------------------------------*

Double Finned Franken Swordfish in 3's r15b4 c267 with fin Cells r4c3 & r5c9 => - 3 r4c7; stte

Leren

[jco]

Code: Select all

.----------------------------------------------------------------.
| 19   a1(3)6  2     | 4       7    u(3)69  |A(3)69   5     8    |
| 4789  34567  3467  | 235689  3568   35689 |  23679  1679  1367 |
| 789   3567   367   | 235689  3568   1     |  23679  4     367  |
|--------------------+----------------------+--------------------|
| 147   13467  13467 | 3567    2      3456  | B368    68    9    |
| 5     2      8     | 1       9      6-3   |  4      67   C367  |
| 47   b3467   9     |c3678   c3468  c3468  |  1      2     5    |
|--------------------+----------------------+--------------------|
| 2     1479   147   | 5689    14568  45689 |  689    3     146  |
| 3     149    14    | 689     1468   7     |  5      1689  2    |
| 6     8      5     | 39      134    2     |  79     179   147  |
'----------------------------------------------------------------'

Kraken Row (3)r1c267
(3)r1c2 - r6c2 = r6c456
||
(3)r1c6
||
(3)r1c7 - r4c7 = r5c9
----------
=> -3 r5c6; ste

Another way of proving this elimination (PM),

Hidden Text: Show

Code: Select all

(3)r6c456  r6c2
(3)r1c6    r1c2  r1c7
(3)r5c9          r4c7
------------------
=> -3 r5c6


Edit2: Improved text and removed unnecessary comment (Edit 1).

[eleven]

Code: Select all

 *------------------------------------------------------------------------------*
 |  19    @136     2       |  4        7      #369     | *369     5      8      |
 |  4789   34567  #3467    |  235689   3568    35689   |  23679   1679   1367   |
 |  789    3567   #367     |  235689   3568    1       |  23679   4      367    |
 |-------------------------+---------------------------+------------------------|
 |  147    13467  @13467   |  3567     2       3456    |  8-36    68     9      |
 |  5      2       8       |  1        9      @36      |  4       67    #367    |
 |  47     3467    9       |  3678     3468    3468    |  1       2      5      |
 |-------------------------+---------------------------+------------------------|
 |  2      1479    147     |  5689     14568   45689   |  689     3      146    |
 |  3      149     14      |  689      1468    7       |  5       1689   2      |
 |  6      8       5       |  39       134     2       |  79      179    147    |
 *------------------------------------------------------------------------------*

Almost 3 strong links for 3:
Either 3r1c7 or
3r4c3 = r23c3 - r1c2 = r1c6 - r5c6 = r5c9
=> -3r4c7
Same works for 6, but is not needed.

[SteveG48]

Code: Select all

 *-----------------------------------------------------------------------------*
 | 19     c136     2       | 4       7      d369     |d369     5       8       |
 | 4789    34567   3467    | 235689  3568    35689   | 23679   1679   e1367    |
 | 789     3567    367     | 235689  3568    1       | 23679   4      e367     |
 *-------------------------+-------------------------+-------------------------|
 | 147    a13467  a13467   | 3567    2       3456    | 68-3    68      9       |
 | 5       2       8       | 1       9      e36      | 4       67     f367     |
 | 47     b3467    9       | 3678    3468    3468    | 1       2       5       |
 *-------------------------+-------------------------+-------------------------|
 | 2       1479    147     | 5689    14568   45689   | 689     3       146     |
 | 3       149     14      | 689     1468    7       | 5       1689    2       |
 | 6       8       5       | 39      134     2       | 79      179     147     |
 *-----------------------------------------------------------------------------*


I think this is logically the same as Leren's and Eleven's:

3r4c23 = r6c2 - r1c2 = r1c67 - (r5c6)&(r23c9) = r5c9 => -3 r4c7 ; stte

[P.O.]

Code: Select all

a two steps solution: the first eliminate 3 from R1C7 then a short chain hit the anti-backdoor 3 in R5C6

after singles:

19       1369     2        4        7        369      369      5        8                 
14789    1345679  13467    235689   3568     35689    23679    1679     1367             
789      35679    367      235689   3568     1        23679    4        367               
147      13467    13467    35678    2        34568    3678     678      9                 
5        2        8        1        9        36       4        67       367               
47       3467     9        3678     3468     3468     1        2        5                 
2        1479     147      5689     14568    45689    6789     3        1467             
3        149      14       689      1468     7        5        1689     2                 
6        8        5        39       134      2        79       179      147               

depth: 4  candidate: 3  from cell
(((1 7 3) (3 6 9)))

((3 0 2 0) ((2 9 3) (1 3 6 7)) ((3 9 3) (3 6 7)))
((3 0 2 0) ((1 7 3) (3 6 9)) ((2 7 3) (2 3 6 7 9)) ((3 7 3) (2 3 6 7 9)))
((3 1 12) (5 9 6) (3 6 7))
((6 2 9) (5 6 5) (3 6))
((6 3 5) (6 2 4) (3 4 6 7))
((3 4 1 221) ((1 1 1) (1 9)) ((1 2 1) (1 3 6 9)) ((1 6 2) (3 6 9)))

the reasoning is: if 3 is not in R2C9 or R3C9 it is in one of R1C7 R2C7 or R3C7
then R5C9 is 3 then R5C6 is 6 then R6C2 is 6
R6C6 eliminate 6 from R1C6 and R6C2 from R1C2 so there is a triplet 1 3 9 in R1C1 R1C2 R1C6
thus 3 is eliminate from R1C7

then this chain that can be seen as a finned x-wing too.
depth: 1  candidate: 3  from cells
(((4 6 5) (3 4 5 6 8)) ((5 6 5) (3 6)))

((3 0) (1 6 2) (3 6 9))
((3 0) (1 2 1) (1 3 6 9))
((3 1 1 2) ((6 4 5) (3 6 7 8)) ((6 5 5) (3 4 6 8)) ((6 6 5) (3 4 6 8)))

ste.


[pjb]

I had the double finned mutant SF of 3s in mind: (r15c3\c6b16), fins at r1c7, r4c3 => -3 r4c7

Phil

[denis_berthier]

.
(find-sudoku-1-steppers-wrt-W1 "..247..58..............1.4.....2...9528.9.4....9...1.........3.3....75..685..2...")

Code: Select all

Resolution state after Singles and whips[1]:
   +----------------------+----------------------+----------------------+
   ! 19     136    2      ! 4      7      369    ! 369    5      8      !
   ! 4789   34567  3467   ! 235689 3568   35689  ! 23679  1679   1367   !
   ! 789    3567   367    ! 235689 3568   1      ! 23679  4      367    !
   +----------------------+----------------------+----------------------+
   ! 147    13467  13467  ! 3567   2      3456   ! 368    68     9      !
   ! 5      2      8      ! 1      9      36     ! 4      67     367    !
   ! 47     3467   9      ! 3678   3468   3468   ! 1      2      5      !
   +----------------------+----------------------+----------------------+
   ! 2      1479   147    ! 5689   14568  45689  ! 689    3      146    !
   ! 3      149    14     ! 689    1468   7      ! 5      1689   2      !
   ! 6      8      5      ! 39     134    2      ! 79     179    147    !
   +----------------------+----------------------+----------------------+

The simplest 1-step solutions are:

Code: Select all

z-chain[3]: b4n3{r4c3 r6c2} - r1n3{c2 c6} - r5n3{c6 .} ==> r4c7 ≠ 3
stte

Code: Select all

z-chain[3]: b6n3{r5c9 r4c7} - r1n3{c7 c2} - r6n3{c2 .} ==> r5c6 ≠ 3
stte