The New Sudoku Players' Forum

[ArkieTech]

Code: Select all

 *-----------*
 |...|.7.|8..|
 |5..|6..|..9|
 |.3.|.98|7.5|
 |---+---+---|
 |..1|7..|5.3|
 |...|...|...|
 |3.4|..9|6..|
 |---+---+---|
 |2.3|95.|.4.|
 |1..|..6|..8|
 |..6|.2.|...|
 *-----------*


Play/Print this puzzle online

[Leren]

Code: Select all

*--------------------------------------------------------------*
| 46    1     9      | 234   7     5      | 8     36    24     |
| 5     7     8      | 6     134   23-4   | 24    13    9      |
| 46    3     2      |b14    9     8      | 7     16    5      |
|--------------------+--------------------+--------------------|
| 8     69    1      | 7     46   a24     | 5     29    3      |
| 7     69    5      |b123   136  a23     | 249   8     24     |
| 3     2     4      | 5     8     9      | 6     7     1      |
|--------------------+--------------------+--------------------|
| 2     8     3      | 9     5     7      | 1     4     6      |
| 1     5     7      | 34    34    6      | 29    29    8      |
| 9     4     6      | 8     2     1      | 3     5     7      |
*--------------------------------------------------------------*

(4=23) r45c6 - (23=14) r35c4 => - 4 r2c6; stte

Leren

[SteveG48]

Code: Select all

 *--------------------------------------------------*
 | 46   1    9    | 234  7    5    | 8    36   24   |
 | 5    7    8    | 6 bce134  234  | 24   13   9    |
 | 46   3    2    |d14   9    8    | 7    16   5    |
 *----------------+----------------+----------------|
 | 8    69   1    | 7   a6-4  24   | 5    29   3    |
 | 7    69   5    | 123  136  23   | 249  8    24   |
 | 3    2    4    | 5    8    9    | 6    7    1    |
 *----------------+----------------+----------------|
 | 2    8    3    | 9    5    7    | 1    4    6    |
 | 1    5    7    |c34  b34   6    | 29   29   8    |
 | 9    4    6    | 8    2    1    | 3    5    7    |
 *--------------------------------------------------*


This one works by establishing an empty cell (no candidates) contradiction at r2c5:

(4)r4c5 - r2c5|(4=3)r8c5 - r2c5|(3=4)r8c4 - (4=1)r3c4 - r2c5 => -4 r4c5 ; stte

[pjb]

Code: Select all

46     1      9      | 24-3   7      5      | 8     d36     24     
5      7      8      | 6      134    234    | 24     13     9     
46     3      2      |b14     9      8      | 7     c16     5     
---------------------+----------------------+---------------------
8      69     1      | 7      46     24     | 5      29     3     
7      69     5      | 123    136    23     | 249    8      24     
3      2      4      | 5      8      9      | 6      7      1     
---------------------+----------------------+---------------------
2      8      3      | 9      5      7      | 1      4      6     
1      5      7      |a34     34     6      | 29     29     8     
9      4      6      | 8      2      1      | 3      5      7     


(3=4)r8c4 - (4=1)r3c4 - (1=6)r3c8 - (6=3)r1c8 => -3 r1c4; stte

Phil

[Ngisa]

Code: Select all

+---------+-------------+-----------+
| 46 1  9 | *234 7   5   | 8   36 *24 |
| 5  7  8 | 6   134 234 | 24  13 9  |
| 46 3  2 | 1-4  9   8   | 7   16 5  |
+---------+-------------+-----------+
| 8  69 1 | 7   46  24  | 5   29 3  |
| 7  69 5 | *123 136 3-2  |49-2 8  *24 |
| 3  2  4 | 5   8   9   | 6   7  1  |
+---------+-------------+-----------+
| 2  8  3 | 9   5   7   | 1   4  6  |
| 1  5  7 | 34  34  6   | 29  29 8  |
| 9  4  6 | 8   2   1   | 3   5  7  |
+---------+-------------+-----------+


X-Wing on 2 in col 49 => -2r5c67 leads to
BUG+2, 4 is either in r1c4 or r2c5, If r1c4=4, then r3c4=1, If r2c5=4, then r3c4=1 => -4r3c4; stte.

[Marty R.]

Identical XY-Chain as Phil's

[daj95376]

Code: Select all

*--------------------------------------------------------------*
| 46    1     9      | 234   7     5      | 8     36    24     |
| 5     7     8      | 6     134   23-4   | 24    13    9      |
| 46    3     2      |b14    9     8      | 7     16    5      |
|--------------------+--------------------+--------------------|
| 8     69    1      | 7     46   a24     | 5     29    3      |
| 7     69    5      |b123   136  a23     | 249   8     24     |
| 3     2     4      | 5     8     9      | 6     7     1      |
|--------------------+--------------------+--------------------|
| 2     8     3      | 9     5     7      | 1     4     6      |
| 1     5     7      | 34    34    6      | 29    29    8      |
| 9     4     6      | 8     2     1      | 3     5     7      |
*--------------------------------------------------------------*

(4=23) r45c6 - (23=14) r35c4 => - 4 r2c6; stte

Hmmm! Alternate notation to consider: (4=231) r45c6,r5c4 - (1=4) r3c4 => - 4 r2c6; stte



Speaking of notation, why do we use alternate ways to express and ALS?

Code: Select all

 (34=2)r18c4 - (2=ALS=4)r2c856  =>  -4 r3c4

 (34=2)r18c4 - (2 = 134)r2c856  =>  -4 r3c4


In both examples, the first term is an ALS that isn't specifically identified ... and probably everyone would use it.

However, the choice for the second term would probably vary depending on who uses it. Is there a correct choice for the second term?

Before you answer, consider instead that an XY-Wing performed r2c6<>2. Would the resulting Naked Triple r2c568 account for r3c4<>4?

When you consider the Naked Triple interpretation, the second example would need to become:

Code: Select all

 (34=2)r18c4 - (2=134)r2c856 - 4r2c7 = 4r2c56  =>  -4 r3c4


Did I ever mention that I took a long time to accept the scope of candidates in an ALS expression? ___ _

[ArkieTech]

Speaking of notation, why do we use alternate ways to express and ALS?
Did I ever mention that I took a long time to accept the scope of candidates in an ALS expression? ___ _

I still haven't. trying to force truth to a fixed pattern or almost condition confuses me. (a=b)setlocation remove a and you have b.

(4=1)r3c4-(1=4)r5c46,r4c6 => -4r2c6; ste