The New Sudoku Players' Forum

[P.O.]

Code: Select all

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

......3....1..2.7..8.7.6.9...5.7.13....5....4.64......3..2....9.186...2.....4.5..


Hidden Text: Show

Code: Select all

( n6r5c5   n6r4c9   n8r5c8   n5r6c8   n2r6c5   n7r6c9   n3r8c9
  n9r6c7   n2r5c7   n4r3c7   n7r8c7   n4r7c8   n4r8c1   n5r7c2 )

intersections:
((((9 0) (8 5 8) (5 9)) ((9 0) (8 6 8) (5 9)))
 (((3 0) (6 4 5) (1 3 8)) ((3 0) (6 6 5) (1 3 8)))
 (((3 0) (2 5 2) (3 5 8 9)) ((3 0) (3 5 2) (1 3 5)))
 (((1 0) (9 8 9) (1 6)) ((1 0) (9 9 9) (1 8))))


Code: Select all

25679  2479   2679   1489   1589   14589  3      16     1258           
569    349    1      489    3589   2      68     7      58             
25     8      23     7      135    6      4      9      125             
289    29     5      489    7      489    1      3      6               
179    379    379    5      6      19     2      8      4               
18     6      4      138    2      138    9      5      7               
3      5      67     2      18     178    68     4      9               
4      1      8      6      59     59     7      2      3               
2679   279    2679   38     4      378    5      16     18   


[Mauriès Robert]

HI P.O.,
Here is my resolution in one short step.
(-1r3c9)=>1r3c5->1r7c6->(9r5c6 & 7r7c3)->3r5c3->... 3r3 empty => L3C9=1, end.

puzzle: Show

[SteveG48]

Code: Select all

 *--------------------------------------------------------------------*
 | 25679  2479   2679   | 1489   1589   14589  | 3      16     1258   |
 | 569    349    1      | 489    3589   2      | 68     7      58     |
 | 25     8     d23     | 7     e35-1   6      | 4      9      125    |
 *----------------------+----------------------+----------------------|
 | 289    29     5      | 489    7      489    | 1      3      6      |
 | 179    379   c379    | 5      6     b19     | 2      8      4      |
 | 18     6      4      | 138    2      138    | 9      5      7      |
 *----------------------+----------------------+----------------------|
 | 3      5     c67     | 2    ab18    b178    |b68     4      9      |
 | 4      1      8      | 6      59     59     | 7      2      3      |
 | 2679   279    2679   | 38     4      378    | 5      16     18     |
 *--------------------------------------------------------------------*


1r7c5 = (19)r57c6&(86)r7c57 - (6|9=73)r57c2 - 3r3c3 = 3r3c5 => -1 r3c5 ; ste

Hmm. Looking over Mauries' solution, it would appear that mine is essentially the same.

[Mauriès Robert]

Indeed Steve, I could also have written:
(-1r7c5)=>1r7c6->(9r5c6 & 7r7c3)->3r5c3->3r3c5->... => -1r3c5 ste.
Robert

[Cenoman]

Code: Select all

 +------------------------+------------------------+-------------------+
 |  25679   2479   2679   |  1489   1589   14589   |  3    16   1258   |
 | B569     349    1      |  489    3589   2       | C68   7    58     |
 |  25      8      23     |  7      135    6       |  4    9    125    |
 +------------------------+------------------------+-------------------+
 |  289*    29*    5      | a489    7     a489     |  1    3    6      |
 |  179     379    379    |  5      6     b19      |  2    8    4      |
 |  18      6      4      |  138    2      138     |  9    5    7      |
 +------------------------+------------------------+-------------------+
 |  3       5      67     |  2     D18    z78-1    | D68   4    9      |
 |  4       1      8      |  6      59     59      |  7    2    3      |
 |xA2679*  x279*   2679   |  38     4     y378     |  5    16   18     |
 +------------------------+------------------------+-------------------+

UR(29)r49c12 using mixed externals-internals
(9)r4c46 - (9=1)r5c6
(6)r9c1 - r2c1 = r2c7 - (6=81)r7c57
(7)r9c12 - r9c6 = (7)r7c6
=> -1 r7c6; ste

[P.O.]

Code: Select all

1r3c5 => r5c3 <> 3,7,9
 r3c5=1 - r3n3{c5 c3}
 r3c5=1 - r7n1{c5 c6} - r7n7{c6 c3}
 r3c5=1 - c4n1{r1 r6} - r5c6{n1 n9}
 
=> r3c5 <> 1
ste.