The New Sudoku Players' Forum

[eleven]

Code: Select all

 +-------+-------+-------+
 | . . . | . . . | . . 5 |
 | . . 9 | 4 2 . | . 6 8 |
 | . . 2 | . . . | . . . |
 +-------+-------+-------+
 | . . . | . . . | . . 2 |
 | . . . | 8 5 . | 7 . . |
 | . 3 8 | 2 1 . | . . . |
 +-------+-------+-------+
 | . 6 . | . . . | . 1 4 |
 | 1 . 3 | . . 4 | 2 . 7 |
 | 8 . . | . . 9 | . . . |
 +-------+-------+-------+

[pjb]

Code: Select all

 36-4  fh148    g16     | 7      369   h18     | 1349   2      5     
 357    f157     9      | 4      2      15     | 13     6      8     
 356-4  f1458    2      | 36     369    158    | 1349   7      139   
------------------------+----------------------+---------------------
 567    e157     57     | 9      4      36     |d138    38     2     
 2       9-4     16     | 8      5      36     | 7      349    139   
a49      3       8      | 2      1      7      | 56     459    69     
------------------------+----------------------+---------------------
b579     6       57     | 35     38     2      |c89     1      4     
 1       59      3      | 56     68     4      | 2      89     7     
 8       2       4      | 1      7      9      | 56     35     36     


(4=9)r6c1 - r7c1 = (9-8)r7c7 = (8-1)r4c7 = r4c2 - r123c2 = r1c3 - (1=8)r1c6 - r1c2 => -4 r13c1, r5c2; stte

Phil

[Cenoman]

Code: Select all

 +---------------------+-------------------+---------------------+
 |  346    148    16   |  7    369   18    |  1349   2     5     |
 |  357    157    9    |  4    2     15    |  13     6     8     |
 |  3456   1458   2    |  36   369   158   |  1349   7     139   |
 +---------------------+-------------------+---------------------+
 | a567*   157    57*  |  9    4    b36    |  13-8  c38    2     |
 |  2      49     16   |  8    5     36    |  7      349   139   |
 |  49     3      8    |  2    1     7     |  56     459   69    |
 +---------------------+-------------------+---------------------+
 | A579*   6      57*  |  35   38    2     | B89     1     4     |
 |  1      59     3    |  56   68    4     |  2      89    7     |
 |  8      2      4    |  1    7     9     |  56     35    36    |
 +---------------------+-------------------+---------------------+

UR(57)r47c13 using internals
(6)r4c1 - (6=3)r4c6 - (3=8)r4c8
(9)r7c1 - (9=8)r7c7
=> -8 r4c7; stte

[pjb]

Another approach to Cenoman's UR:
(9=8)r8c8 - (8=3)r4c8 - (3=6)r4c6 - (6=9)UR:r47c13 => -9 r7c7, r8c2; stte
Phil

[storm_norm22]

another way to look at the aur in r47c13 is through the candidates that make up the UR(57)r47c13 with respect to the boxes that they are in.
the 5 and the 7 only have two cells as "outs" in those boxes... (59)r8c2 and (157)r4c2
the 5 and 7 are locked into those cells much like a hidden pair. you can eliminate the 9 and 1 from those cells.
imagine the 9 is true in r8c2... you force the 5 and 7 to occupy r4c2 to avoid the UR from existing.
same goes with the 1 in r4c2. if 1 is true there are now zero outs for the 7 in those boxes, which allows for the UR to exist, which can't happen.

[eleven]

the 5 and 7 are locked into those cells much like a hidden pair. you can eliminate the 9 and 1 from those cells.

No, just one of the 2 cells must be 5 or 7.

Code: Select all

 +---------------------+-------------------+---------------------+
 |  346    148    16   |  7    369   18    |  1349   2     5     |
 |  357    157    9    |  4    2     15    |  13     6     8     |
 |  3456   1458   2    |  36   369   158   |  1349   7     139   |
 +---------------------+-------------------+---------------------+
 | #57+6  157*   #57   |  9    4     36    | a13-8  c38    2     |
 |  2      49     16   |  8    5     36    |  7      349   139   |
 |  49     3      8    |  2    1     7     |  56     459   69    |
 +---------------------+-------------------+---------------------+
 | #57+9   6     #57   |  35   38    2     | b89     1     4     |
 |  1      59     3    |  56   68    4     |  2      89    7     |
 |  8      2      4    |  1    7     9     |  56     35    36    |
 +---------------------+-------------------+---------------------+

However either in box 4 r4c2 is not 1 -> 1r4c7
or in box 7 9r7c1
1r4c7==9r7c1 - (9=8)r7c7 => -8r4c7

[storm_norm22]

the 5 and 7 are locked into those cells much like a hidden pair. you can eliminate the 9 and 1 from those cells.

No, just one of the 2 cells must be 5 or 7.

Code: Select all

 +---------------------+-------------------+---------------------+
 |  346    148    16   |  7    369   18    |  1349   2     5     |
 |  357    157    9    |  4    2     15    |  13     6     8     |
 |  3456   1458   2    |  36   369   158   |  1349   7     139   |
 +---------------------+-------------------+---------------------+
 | #57+6  157*   #57   |  9    4     36    | a13-8  c38    2     |
 |  2      49     16   |  8    5     36    |  7      349   139   |
 |  49     3      8    |  2    1     7     |  56     459   69    |
 +---------------------+-------------------+---------------------+
 | #57+9   6     #57   |  35   38    2     | b89     1     4     |
 |  1      59     3    |  56   68    4     |  2      89    7     |
 |  8      2      4    |  1    7     9     |  56     35    36    |
 +---------------------+-------------------+---------------------+

However either in box 4 r4c2 is not 1 -> 1r4c7
or in box 7 9r7c1
1r4c7==9r7c1 - (9=8)r7c7 => -8r4c7

eleven,
thank you.
kept thinking to myself if there was a simpler way to express an elimination with the aur.
do the 5r8c2 and (57)r4c2 act like a locked set? and not a hidden pair? because of the ur?

[Ngisa]

Code: Select all

+--------------------------+-----------------------+-------------------------+
| 346       e148       e16 | 7       369      e18  |a1349       2        5   |
| 357        157        9  | 4       2         15  | 13         6        8   |
| 3456       1458       2  | 36      369       158 |a1349       7       b139 |
+--------------------------+-----------------------+-------------------------+
| 567        157        57 | 9       4         36  | 138        38       2   |
| 2         f49        d16 | 8       5         36  | 7          349     c139 |
|g49         3          8  | 2       1         7   | 569        459      69  |
+--------------------------+-----------------------+-------------------------+
|h579        6          57 | 35      38        2   | 8-9        1        4   |
| 1          59         3  | 56      68        4   | 2          89       7   |
| 8          2          4  | 1       7         9   | 356        35       36  |
+--------------------------+-----------------------+-------------------------+


(9)r13c7 = (9-1)r3c9 = r5c9 - r5c3 = (184)r1c236 - (4=9)r5c2 - r6c1 = (9)r7c1 => - 9r7c7; stte

Clement