The New Sudoku Players' Forum

[ArkieTech]

Code: Select all

 *-----------*
 |.12|...|76.|
 |8..|...|..5|
 |6..|192|..8|
 |---+---+---|
 |..6|.27|3..|
 |..5|.1.|6..|
 |..3|96.|8..|
 |---+---+---|
 |2..|789|..3|
 |4..|...|..6|
 |.38|...|97.|
 *-----------*


Play/Print this puzzle online

[Leren]

Code: Select all

*--------------------------------------------------------------*
| 3     1     2      | 48    5     48     | 7     6     9      |
| 8     9     4      | 36    7     36     | 12    12    5      |
| 6     5     7      | 1     9     2      | 4     3     8      |
|--------------------+--------------------+--------------------|
|f19    48    6      | 458   2     7      | 3    f159   4-1    |
| 79    248   5      | 348   1     348    | 6     29    247    |
| 17    24    3      | 9     6    d45     | 8    e125   1247   |
|--------------------+--------------------+--------------------|
| 2     6     1      | 7     8     9      | 5     4     3      |
| 4     7     9      | 25    3    c15     |b12    8     6      |
| 5     3     8      | 26    4     16     | 9     7    a12     |
*--------------------------------------------------------------*

(1) r9c9 = r8c7 - (1=5) r8c6 - r6c6 = r6c8 - (5=19) r4c18 => - 1 r4c9; stte

Leren

[SteveG48]

Code: Select all

 *-----------------------------------------------------------*
 | 3     1     2     | 48    5     48    | 7     6     9     |
 | 8     9     4     | 36    7     36    | 12    12    5     |
 | 6     5     7     | 1     9     2     | 4     3     8     |
 *-------------------+-------------------+-------------------|
 | 19   b48    6     |b458   2     7     | 3     159  a14    |
 | 79    248   5     | 348   1     348   | 6     29    247   |
 | 17    24    3     | 9     6     45    | 8     125   1247  |
 *-------------------+-------------------+-------------------|
 | 2     6     1     | 7     8     9     | 5     4     3     |
 | 4     7     9     |c25    3     15    | 1-2   8     6     |
 | 5     3     8     | 6-2   4     16    | 9     7    a12    |
 *-----------------------------------------------------------*


(2=14)r49c9 - (4=58)r4c24 - (5=2)r8c4 => -2 r8c7,r9c4 ; stte

[pjb]

Code: Select all

 3       1       2      | 48     5      48     | 7      6      9     
 8       9       4      | 36     7      36     | 12     12     5     
 6       5       7      | 1      9      2      | 4      3      8     
------------------------+----------------------+---------------------
 19     a48      6      |a458    2      7      | 3      159   a14     
 79      248     5      | 348    1      348    | 6      29     247   
 17      24      3      | 9      6      45     | 8      125    1247   
------------------------+----------------------+---------------------
 2       6       1      | 7      8      9      | 5      4      3     
 4       7       9      |b25     3      15     |b12     8      6     
 5       3       8      | 26     4      16     | 9      7      2-1     


(1=5)r4c249 - (5=1)r8c47 => -1 r9c9; stte

Phil

[Ngisa]

Code: Select all

+----------+-----------+-------------+
| 3  1   2 | 48  5 48  | 7  6   9    |
| 8  9   4 | 36  7 36  | 12 12  5    |
| 6  5   7 | 1   9 2   | 4  3   8    |
+----------+-----------+-------------+
| 19 e48*  6 | f458 2 7   | 3  159 d14*   |
| 79 248 5 | 348 1 348 | 6  29  247  |
| 17 24  3 | 9   6 4-5  | 8  125 1247 |
+----------+-----------+-------------+
| 2  6   1 | 7   8 9   | 5  4   3    |
| 4  7   9 | 25  3 a15  | b12 8   6    |
| 5  3   8 | 26  4 16  | 9  7   c12   |
+----------+-----------+-------------+


(5=1)r8c6 - (1=2)r8c7 - (2=1)r9c9 - (1=4*)r4c9 - (4=8*)r4c2 - (4*8*=5)r4c4 => -5 r6c6; stte

Clement

[Sudtyro2]

Code: Select all

 *-----------------------------------------------------------*
 | 3     1     2     | 48    5     48b   | 7     6     9     |
 | 8     9     4     | 36    7     36b   | 12e   1-2   5     |
 | 6     5     7     | 1     9     2     | 4     3     8     |
 |-------------------+-------------------+-------------------|
 | 19    48    6     | 458   2     7     | 3     159   14    |
 |*79    248   5     | 348   1     348b  | 6    *29d   47-2  |
 |*17    24    3     | 9     6     45b   | 8    *12+5a 147-2 |
 |-------------------+-------------------+-------------------|
 | 2     6     1     | 7     8     9     | 5     4     3     |
 | 4     7     9     | 25    3     15    | 12d   8     6     |
 | 5     3     8     | 26    4     16b   | 9     7     12c   |
 *-----------------------------------------------------------*

Except for the spoiler, 5r6c8, four cells(*) form a 6-sector (r56c18b46) Disjoint Subset that would eliminate 1r6c9,2r2c8,2r56c9 simply by inspection.
Two separate spoiler chains confirm three of those four potential eliminations:

Code: Select all

5r6c8 - (5=34681)r12569c6 - (1=2)r9c9 - r8c7 = 2r2c7 => - 2r2c8;  stte.
5r6c8 - (5=34681)r12569c6 - (1=2)r9c9                => - 2r56c9; stte.

SteveC

[ArkieTech]

Code: Select all

 *-----------------------------------------------------------*
 | 3     1     2     | 48    5     48b   | 7     6     9     |
 | 8     9     4     | 36    7     36b   | 12e   1-2   5     |
 | 6     5     7     | 1     9     2     | 4     3     8     |
 |-------------------+-------------------+-------------------|
 | 19    48    6     | 458   2     7     | 3     159   14    |
 |*79    248   5     | 348   1     348b  | 6    *29d   47-2  |
 |*17    24    3     | 9     6     45b   | 8    *12+5a 147-2 |
 |-------------------+-------------------+-------------------|
 | 2     6     1     | 7     8     9     | 5     4     3     |
 | 4     7     9     | 25    3     15    | 12d   8     6     |
 | 5     3     8     | 26    4     16b   | 9     7     12c   |
 *-----------------------------------------------------------*

Except for the spoiler, 5r6c8, four cells(*) form a 6-sector (r56c18b46) Disjoint Subset that would eliminate 1r6c9,2r2c8,2r56c9 simply by inspection.
Two separate spoiler chains confirm three of those four potential eliminations:

Code: Select all

5r6c8 - (5=34681)r12569c6 - (1=2)r9c9 - r8c7 = 2r2c7 => - 2r2c8;  stte.
5r6c8 - (5=34681)r12569c6 - (1=2)r9c9                => - 2r56c9; stte.

SteveC

Could this be expressed as

Code: Select all

[(5=2)DS:1279r56c18]           -2r56c9
[5r6c8-(5=1)r12569c6-(1=2)r9c9]-2r56c9; ste

[Sudtyro2]

Could this be expressed as

Code: Select all

[(5=2)DS:1279r56c18]           -2r56c9
[5r6c8-(5=1)r12569c6-(1=2)r9c9]-2r56c9; ste

Dan, your chains look fine. But the first chain cites only two of the three potential 2s eliminations. You could also add -2r2c8.
Your second chain is the same as mine. But, I also added my first chain to separately show the third potential 2s elimination as being true as well, and also an stte solution.
Does that answer your question?

SteveC

[ArkieTech]

Could this be expressed as

Code: Select all

[(5=2)DS:1279r56c18]           -2r56c9
[5r6c8-(5=1)r12569c6-(1=2)r9c9]-2r56c9; ste

Dan, your chains look fine. But the first chain cites only two of the three potential 2s eliminations. You could also add -2r2c8.
Your second chain is the same as mine. But, I also added my first chain to separately show the third potential 2s elimination as being true as well, and also an stte solution.
Does that answer your question?

SteveC

Yes Thank you.

My strategy is simplicity. I try to find a single solution with minimum complexity and show only the eliminations necessary to solve the puzzle.

[Sudtyro2]

My strategy is simplicity. I try to find a single solution with minimum complexity and show only the eliminations necessary to solve the puzzle.

Dan, you got me thinking...
Since there's a strong link between a 'pattern' and its 'spoiler' maybe we could just write a plain bidirectional AIC for a particular potential elimination:
DS = 5r6c8 - (5=34681)r12569c6 - (1=2)r9c9 => - 2r56c9; stte.

SteveC

[ArkieTech]

My strategy is simplicity. I try to find a single solution with minimum complexity and show only the eliminations necessary to solve the puzzle.

Dan, you got me thinking...
Since there's a strong link between a 'pattern' and its 'spoiler' maybe we could just write a plain bidirectional AIC for a particular potential elimination:
DS = 5r6c8 - (5=34681)r12569c6 - (1=2)r9c9 => - 2r56c9; stte.

SteveC