The New Sudoku Players' Forum

[ArkieTech]

Code: Select all

 *-----------*
 |.2.|...|.4.|
 |.35|1..|..2|
 |9..|6..|1..|
 |---+---+---|
 |8..|.7.|.9.|
 |7..|.8.|..4|
 |.9.|.6.|..1|
 |---+---+---|
 |..7|..8|..6|
 |1..|..6|37.|
 |.6.|...|.2.|
 *-----------*


Play/Print this puzzle online

[Leren]

Code: Select all

*--------------------------------------------------------------*
| 6     2     1      | 8     35   b35     | 9     4     7      |
| 4     3     5      | 1     9     7      | 8     6     2      |
| 9     7     8      | 6     24    24     | 1     35    35     |
|--------------------+--------------------+--------------------|
| 8     45    2346   | 2345  7     1      | 26    9     35     |
| 7     1     236    | 235   8     9      | 26    35    4      |
|d25    9     234    | 2345  6    c245    | 7     8     1      |
|--------------------+--------------------+--------------------|
| 23    45    7      | 9     23    8      | 45    1     6      |
| 1     8     24     | 245   245   6      | 3     7     9      |
|e5-3   6     9      | 7     1    a34     | 45    2     8      |
*--------------------------------------------------------------*

L2 Wing : (3) r9c6 = (3-5) r1c6 = r6c6 - r6c1 = (5) r9c1 => - 3 r9c1; stte

Leren

[pjb]

Code: Select all

 6       2       1      | 8      35     35     | 9      4      7     
 4       3       5      | 1      9      7      | 8      6      2     
 9       7       8      | 6      24    b24     | 1      35     35     
------------------------+----------------------+---------------------
 8       45      2346   | 2345   7      1      | 26     9      35     
 7       1       236    | 235    8      9      | 26     35     4     
 2-5     9       234    | 2345   6     b245    | 7      8      1     
------------------------+----------------------+---------------------
 23      45      7      | 9      23     8      | 45     1      6     
 1       8       24     | 245    245    6      | 3      7      9     
a35      6       9      | 7      1     b34     | 45     2      8     


(5=3)r9c1 - (3=5)r369c6 => -5 r6c1; stte

Phil

[Ngisa]

Code: Select all

+------------+---------------+----------+
| 6  2  1    | 8    d35  c35   | 9  4  7  |
| 4  3  5    | 1    9   7    | 8  6  2  |
| 9  7  8    | 6    24  24   | 1  35 35 |
+------------+---------------+----------+
| 8  45 2346 | 2345 7   1    | 26 9  35 |
| 7  1  236  | 235  8   9    | 26 35 4  |
| a25 9  234  | 2345 6   b245 | 7  8  1  |
+------------+---------------+----------+
| 3-2 45 7    | 9    e23  8    | 45 1  6  |
| 1  8  24   | 245  245 6    | 3  7  9  |
| 35 6  9    | 7    1   34   | 45 2  8  |
+------------+---------------+----------+


(2=5)r6c1 - r6c6 = r1c6 - (5=3)r1c5 - (3=2)r7c5 => - 2 r7c1; stte

Clement

[Cenoman]

Code: Select all

 +-------------------+---------------------+-----------------+
 |  6    2    1      |  8      35   f35    |  9    4    7    |
 |  4    3    5      |  1      9     7     |  8    6    2    |
 |  9    7    8      |  6      24    24    |  1    35   35   |
 +-------------------+---------------------+-----------------+
 |  8   b45   2346   | a2345*  7     1     |  26   9   a35*  |
 |  7    1    236    | a235*   8     9     |  26  a35*  4    |
 | c25   9    234    |  2345   6     24-5  |  7    8    1    |
 +-------------------+---------------------+-----------------+
 |  23   45   7      |  9      23    8     |  45   1    6    |
 |  1    8    24     |  245    245   6     |  3    7    9    |
 | d35   6    9      |  7      1    e34    |  45   2    8    |
 +-------------------+---------------------+-----------------+

Almost X-wing (5)r4c4=r4c9-r5c8=r5c4:
[XW(5)r4c49-r5c48] = (5)r4c2 - r6c1 = (5-3)r9c1 = r9c6 - (3=5)r1c6 => -5 r6c6; stte

Cenoman

[SteveG48]

Code: Select all

 *-----------------------------------------------------------*
 | 6     2     1     | 8     35    35    | 9     4     7     |
 | 4     3     5     | 1     9     7     | 8     6     2     |
 | 9     7     8     | 6     24   d24    | 1     35    35    |
 *-------------------+-------------------+-------------------|
 | 8     45    2346  | 2345  7     1     | 26    9     35    |
 | 7     1     236   | 235   8     9     | 26    35    4     |
 |c25    9     234   | 2345  6    d245   | 7     8     1     |
 *-------------------+-------------------+-------------------|
 | 23    45    7     | 9     23    8     | 45    1     6     |
 | 1     8     24    | 245   245   6     | 3     7     9     |
 |b35    6     9     | 7     1     3-4   |a45    2     8     |
 *-----------------------------------------------------------*


W-wing:

(4=5)r9c7 - r9c1 = r6c1 - (5=24)r36c6 => -4 r9c6 ; stte

[Sudtyro2]

Code: Select all

*-----------------------------------------------------------*
| 6     2     1     | 8     35    35     | 9     4     7    |
| 4     3     5     | 1     9     7      | 8     6     2    |
| 9     7     8     | 6     24    2-4b   | 1     35    35   |
|-------------------+--------------------+------------------|
| 8     45    2346  | 2345  7     1      | 26    9     35   |
| 7     1     236   | 235   8     9      | 26    35    4    |
|*25B   9     34-2  | 345-2 6    *24+5aA | 7     8     1    |
|-------------------+--------------------+------------------|
| 23    45    7     | 9     23    8      | 45    1     6    |
| 1     8     24    | 245   245   6      | 3     7     9    |
|*35    6     9     | 7     1    *34     | 45    2     8    |
*-----------------------------------------------------------*

Except for the spoiler, 5r6c6, the four marked cells(*) form a 4-sector(r69c16) Disjoint Subset(DS) having, by inspection, three potential eliminations:
-4r3c6,-2r6c34. Together, these three eliminations form a stte solution.

Using the strong link between a pattern and its spoiler, one hopes for an AIC to find common eliminations. Here's a first try...

Code: Select all

             2r6c6 = 2r3c6 - 4r3c6;
           /
DS = 5r6c6 
           \
             5r6c1 = 2r6c1 - 2r6c34;

But, is this a valid chain notation? Is there something simpler? All three eliminations are needed for the stte solution. Comments welcome!
Edited typo, thx to Cenoman.

SteveC

[ArkieTech]

Notation I like

Code: Select all

*-----------------------------------------------------------*
| 6     2     1     | 8     35    35     | 9     4     7    |
| 4     3     5     | 1     9     7      | 8     6     2    |
| 9     7     8     | 6     24    2-4b   | 1     35    35   |
|-------------------+--------------------+------------------|
| 8     45    2346  | 2345  7     1      | 26    9     35   |
| 7     1     236   | 235   8     9      | 26    35    4    |
|*25B   9     34-2  | 345-2 6    *5-24aA | 7     8     1    |
|-------------------+--------------------+------------------|
| 23    45    7     | 9     23    8      | 45    1     6    |
| 1     8     24    | 245   245   6      | 3     7     9    |
|*35    6     9     | 7     1    *34     | 45    2     8    |
*-----------------------------------------------------------*

DS:2345r69c16-24r6c6; ste


[Sudtyro2]

Notation I like

Code: Select all

*-----------------------------------------------------------*
| 6     2     1     | 8     35    35     | 9     4     7    |
| 4     3     5     | 1     9     7      | 8     6     2    |
| 9     7     8     | 6     24    2-4b   | 1     35    35   |
|-------------------+--------------------+------------------|
| 8     45    2346  | 2345  7     1      | 26    9     35   |
| 7     1     236   | 235   8     9      | 26    35    4    |
|*25B   9     34-2  | 345-2 6    *5-24aA | 7     8     1    |
|-------------------+--------------------+------------------|
| 23    45    7     | 9     23    8      | 45    1     6    |
| 1     8     24    | 245   245   6      | 3     7     9    |
|*35    6     9     | 7     1    *34     | 45    2     8    |
*-----------------------------------------------------------*
DS:2345r69c16-24r6c6; ste


Sorry, Dan, but I'm not following your logic, which seems to say, if the DS is true, then 24r6c6 is false, and 5r6c6 is true. My understanding is that the pattern/spoiler strong link is actually conjugate, so if the DS (pattern) is true, then 5r6c6 (spoiler) must be false. What am I missing here?

SteveC

[ArkieTech]

Code: Select all

 *-----------------------------------------------------------*
 | 6     2     1     | 8     35    35    | 9     4     7     |
 | 4     3     5     | 1     9     7     | 8     6     2     |
 | 9     7     8     | 6     24    24    | 1     35    35    |
 |-------------------+-------------------+-------------------|
 | 8     45    2346  | 2345  7     1     | 26    9     35    |
 | 7     1     236   | 235   8     9     | 26    35    4     |
 |*25    9     234   | 2345  6    *5-24  | 7     8     1     |
 |-------------------+-------------------+-------------------|
 | 23    45    7     | 9     23    8     | 45    1     6     |
 | 1     8     24    | 245   245   6     | 3     7     9     |
 |*35    6     9     | 7     1    *34    | 45    2     8     |
 *-----------------------------------------------------------*
DS:2345r69c16-24r6c6; ste

(5=24)r139c6
(5=24)r6c134=>-24r6c6

[Sudtyro2]

Code: Select all

 
DS:2345r69c16-24r6c6; ste
(5=24)r139c6
(5=24)r6c134=>-24r6c6

Dan, I'm still pretty much "at sea" on the details, but it seems you are somehow able to establish a single stte solution (via -24r6c6) and not involve the three potential DS eliminations at all. That's something new for me, so I'll have to take some extra time to sort things out. But, thx for the quick replies! Additional hints are welcome anytime!

SteveC

[Cenoman]

Sorry Steve, Dan, but I am lost...

@dan
The solution of this puzzle is:

Code: Select all

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

How can -24r6c6 be a solution when 4r6c6 is part of the solution ?

@Steve
I understand your logic (and I like it !) but when you write:

Using the strong link between a pattern and its spoiler, one hopes for an AIC to find common eliminations. Here's a first try...

Code: Select all

             2r6c6 = 2r3c6 - 4r3c6;
           /
DS = 5r6c6 
           \
             2r6c6 = 2r6c1 - 2r6c34;

But, is this a valid chain notation? Is there something simpler?

I can't see the strong link 2r6c6 = 2r6c1...

I would have understood:

Code: Select all

             2r6c6 = 2r3c6 - 4r3c6;
           /
DS = 5r6c6 
           \
             (5=2)r6c1 - 2r6c34;

I do not see any one-line AIC to gather those two...

Cenoman

[Sudtyro2]

Sorry Steve, Dan, but I am lost...
I would have understood:

Code: Select all

             2r6c6 = 2r3c6 - 4r3c6;
           /
DS = 5r6c6 
           \
             (5=2)r6c1 - 2r6c34;

I do not see any one-line AIC to gather those two...Cenoman

Thx, Cenoman! Yes, a bad typo at the lower branch...should have been 5r6c1 vice 2r6c6.
But, you understand my original query. How does one gather the two branches!!

SteveC

[ArkieTech]

Sorry Steve, Dan, but I am lost...

@dan
The solution of this puzzle is:

Code: Select all

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

How can -24r6c6 be a solution when 4r6c6 is part of the solution ?

@Steve
I understand your logic (and I like it !) but when you write:

Using the strong link between a pattern and its spoiler, one hopes for an AIC to find common eliminations. Here's a first try...

Code: Select all

             2r6c6 = 2r3c6 - 4r3c6;
           /
DS = 5r6c6 
           \
             2r6c6 = 2r6c1 - 2r6c34;

But, is this a valid chain notation? Is there something simpler?

I can't see the strong link 2r6c6 = 2r6c1...

I would have understood:

Code: Select all

             2r6c6 = 2r3c6 - 4r3c6;
           /
DS = 5r6c6 
           \
             (5=2)r6c1 - 2r6c34;

I do not see any one-line AIC to gather those two...

Cenoman

Sorry about that. I must have been in a time warp. Still studying.

[ArkieTech]

After a glass of wine:

Code: Select all

 *-----------------------------------------------------------*
 | 6     2     1     | 8     35    35    | 9     4     7     |
 | 4     3     5     | 1     9     7     | 8     6     2     |
 | 9     7     8     | 6     24    24    | 1     35    35    |
 |-------------------+-------------------+-------------------|
 | 8     45    2346  | 2345  7     1     | 26    9     35    |
 | 7     1     236   | 235   8     9     | 26    35    4     |
 |*25    9     234   | 2345  6    *4-25  | 7     8     1     |
 |-------------------+-------------------+-------------------|
 | 23    45    7     | 9     23    8     | 45    1     6     |
 | 1     8     24    | 245   245   6     | 3     7     9     |
 |*35    6     9     | 7     1    *34    | 45    2     8     |
 *-----------------------------------------------------------*
DS:2345r69c16-25r6c6; ste

([4=5)r19c6-5r6c6*=42r6c6]-4r9c6
[(4=5)r9c16-(5=2)r69c1-2r6c6*]-25r6c6