## a ur question

Everything about Sudoku that doesn't fit in one of the other sections

### a ur question

i found a puzzle.
in top1465

Code: Select all
`*-----------* |...|5..|26.| |367|.9.|...| |2..|.68|...| |---+---+---| |4..|..6|8..| |8.2|...|6.1| |..6|98.|.43| |---+---+---| |...|61.|..2| |...|.2.|456| |62.|..4|...| *-----------*`

Code: Select all
` *-----------* |...|5..|26.| |367|291|584| |2..|.68|...| |---+---+---| |4..|1.6|825| |8.2|...|691| |..6|982|743| |---+---+---| |...|61.|..2| |...|82.|456| |62.|..4|..8| *-----------*`

ss solves it to here:
Code: Select all
`*-----------------------------------------------------------* | 19    1489  1489  | 5     347   37    | 2     6     79    | | 3     6     7     | 2     9     1     | 5     8     4     | | 2     459   459   | 47    6     8     | 13@    13@    79    | |-------------------+-------------------+-------------------| | 4     379   39    | 1     37    6     | 8     2     5     | | 8     37    2     | 347   3457  357   | 6     9     1     | | 15    15    6     | 9     8     2     | 7     4     3     | |-------------------+-------------------+-------------------| | 579   48    48    | 6     1     3579x  | 39#    37#    2     | | 179   139   139   | 8     2     379   | 4     5     6     | | 6     2     359   | 37    357   4     | 139@   137@   8     | *-----------------------------------------------------------*`

When x = 3
(3)R7C6 - (9)R7C7 - (7)R7C8 = (13) R9C78 & (13) R3C78 {Ur pattern}
=> R7C6 <>3

is this some kind of ur pattern? and if so which one
Some do, some teach, the rest look it up.

StrmCkr

Posts: 1088
Joined: 05 September 2006

It's a straight-up type 4 UR on [13], so r9c78 <> 3.

Type 4: x-wing overlay with conjugate pairs.

Luke
2015 Supporter

Posts: 435
Joined: 06 August 2006
Location: Southern Northern California

also, note that in the UR pattern, in r9c78 there is a strong inference on 7 and 9, neither can be false.

13URr39c78[(9)r9c7 = (7)r9c8]...
storm_norm

Posts: 85
Joined: 27 February 2008

storm_norm wrote:also, note that in the UR pattern, in r9c78 there is a strong inference on 7 and 9, neither can be false.

13URr39c78[(9)r9c7 = (7)r9c8]...

I'm not sure what that means. Care to elaborate?

BTW, there's another type 4 UR in this same PM:
Code: Select all
`*-----------------------------------------------------------*  | 19   *1489 *1489  | 5     347   37    | 2     6     79    |  | 3     6     7     | 2     9     1     | 5     8     4     |  | 2     459   459   | 47    6     8     | 13    13    79    |  |-------------------+-------------------+-------------------|  | 4     379   39    | 1     37    6     | 8     2     5     |  | 8     37    2     | 347   3457  357   | 6     9     1     |  | 15    15    6     | 9     8     2     | 7     4     3     |  |-------------------+-------------------+-------------------|  | 579  *48   *48    | 6     1     3579  | 39    37    2     |  | 179   139   139   | 8     2     379   | 4     5     6     |  | 6     2     359   | 37    357   4     | 139   137   8     |  *-----------------------------------------------------------*`

I really liked this puzzle...it puts up a fight but solves w/out the drudgery of AIC's, forcing chains, etc.

Luke
2015 Supporter

Posts: 435
Joined: 06 August 2006
Location: Southern Northern California

I'm not sure what that means. Care to elaborate?

I was quite simply stating the obvious that the 9 or the 7 in r9c78 can't both be false.

so because of the UR (1,3) we can see that there is a strong inference on 7 and 9 in r9c78.

I am not making any eliminations.

I am also guessing that there really isn't a standard way to express this in EUREKA!.
storm_norm

Posts: 85
Joined: 27 February 2008

Luke451 wrote:BTW, there's another type 4 UR in this same PM

Plus:
Code: Select all
`.-------------------.-----------------.---------------.| 19   *1489  *1489 | 5    347   37   | 2    6    7-9 || 3     6      7    | 2    9     1    | 5    8    4   || 2     45-9   45-9 | 47   6     8    | 13   13   79  |:-------------------+-----------------+---------------:| 4     379    39   | 1    37    6    | 8    2    5   || 8     37     2    | 347  3457  357  | 6    9    1   || 15    15     6    | 9    8     2    | 7    4    3   |:-------------------+-----------------+---------------:| 579  *48    *48   | 6    1     3579 | 39   37   2   || 179   139    139  | 8    2     379  | 4    5    6   || 6     2      359  | 37   357   4    | 139  137  8   |'-------------------'-----------------'---------------'Uniqueness Test 3: 4/8 in r1c23,r7c23 => r1c9,r3c23<>9.-------------------.------------------.--------------.| 19   *1489  *1489 | 5    -34-7  37   | 2    6    79 || 3     6      7    | 2     9     1    | 5    8    4  || 2     459    459  | 47    6     8    | 13   13   79 |:-------------------+------------------+--------------:| 4     379    39   | 1     37    6    | 8    2    5  || 8     37     2    | 347   3457  357  | 6    9    1  || 15    15     6    | 9     8     2    | 7    4    3  |:-------------------+------------------+--------------:| 579  *48    *48   | 6     1     3579 | 39   37   2  || 179   139    139  | 8     2     379  | 4    5    6  || 6     2      359  | 37    357   4    | 139  137  8  |'-------------------'------------------'--------------'Uniqueness Test 3: 4/8 in r1c23,r7c23 => r1c5<>3, r1c5<>7.-------------------.-----------------.--------------.| 19   *1489  *1489 | 5    34-7  3-7  | 2    6    79 || 3     6      7    | 2    9     1    | 5    8    4  || 2     459    459  | 47   6     8    | 13   13   79 |:-------------------+-----------------+--------------:| 4     379    39   | 1    37    6    | 8    2    5  || 8     37     2    | 347  3457  357  | 6    9    1  || 15    15     6    | 9    8     2    | 7    4    3  |:-------------------+-----------------+--------------:| 579  *48    *48   | 6    1     3579 | 39   37   2  || 179   139    139  | 8    2     379  | 4    5    6  || 6     2      359  | 37   357   4    | 139  137  8  |'-------------------'-----------------'--------------'Uniqueness Test 3: 4/8 in r1c23,r7c23 => r1c56<>7`

I have rarely seen so many URs in one grid.
hobiwan
2012 Supporter

Posts: 321
Joined: 16 January 2008
Location: Klagenfurt