The New Sudoku Players' Forum

[ArkieTech]

Code: Select all

 *-----------*
 |..3|.95|...|
 |...|7..|3..|
 |9..|3.8|15.|
 |---+---+---|
 |.21|...|7.3|
 |..9|.3.|5..|
 |5.4|...|98.|
 |---+---+---|
 |.18|4.3|..5|
 |..2|..1|...|
 |...|25.|4..|
 *-----------*


Play/Print this puzzle online

[SpAce]

Code: Select all

.-------------.------------------------.---------------.
| 12  46   3  |  16     9        5     | 8   7     246 |
| 12  8    5  |  7      1246    c246   | 3  d26    9   |
| 9   467  67 |  3     b26       8     | 1   5     246 |
:-------------+------------------------+---------------:
| 8   2    1  |  5     b4-6      9     | 7  d4(6)  3   |
| 67  67   9  |  8      3       b24    | 5   24    1   |
| 5   3    4  | a1(6)  a12(6)7  a2(6)7 | 9   8     2-6 |
:-------------+------------------------+---------------:
| 67  1    8  |  4      67       3     | 2   9     5   |
| 4   5    2  |  9      8        1     | 6   3     7   |
| 3   9    67 |  2      5        67    | 4   1     8   |
'-------------'------------------------'---------------'

(6)r6c456 = (624)r43c5,r5c6 - (2|4=6)r2c6 - (6)r[2=4]c8 => -6 r4c5,r6c9; stte

(Edit: Removed unnecessary commas, thanks to Steve.)

Standard Eureka: Show

(6)r6c456 = r4c5 - (6)r3c5|(4)r4c5 = (24)r3c5,r5c6 - (2|4=6)r2c6 - r2c8 = (6)r4c8 => -6 r4c5,r6c9; stte

Edit 2:Since the commas weren't necessary, this also simplifies to:

(6)r6c456 = (624)r43c5,r5c6 - (2|4=6)r2c6 - r2c8 = (6)r4c8 => -6 r4c5,r6c9; stte

Edit3: Or why not simply:

(6)r4c8 = (624)r432c5 - (2|4=6)r2c6 => -6 r2c8; stte

...or even simpler:

Code: Select all

.-------------.---------------------.------------.
| 12  46   3  |  16     9       5   | 8  7   246 |
| 12  8    5  |  7      1246    246 | 3  26  9   |
| 9   467  67 |  3     b2(6)    8   | 1  5   246 |
:-------------+---------------------+------------:
| 8   2    1  |  5      4-6     9   | 7  46  3   |
| 67  67   9  |  8      3       24  | 5  24  1   |
| 5   3    4  | a1(6)  b12(6)7  267 | 9  8   26  |
:-------------+---------------------+------------:
| 67  1    8  |  4    b(6)7     3   | 2  9   5   |
| 4   5    2  |  9      8       1   | 6  3   7   |
| 3   9    67 |  2      5       67  | 4  1   8   |
'-------------'---------------------'------------'

WXYZ-Wing (classic form):

(6=1)r6c4 - (1=276)r267c5 => -6 r4c5; stte

[Ngisa]

Code: Select all

+------------------+--------------------+-----------------+
|f12     46     3  |g16     9       5   | 8    7     e246 |
| 12     8      5  | 7      1246    246 | 3    26     9   |
| 9      467    67 | 3      26      8   | 1    5      246 |
+------------------+--------------------+-----------------+
| 8      2      1  | 5     b46      9   | 7   c46     3   |
| 67     67     9  | 8      3       24  | 5    24     1   |
| 5      3      4  |h16    i126-7   267 | 9    8     d26  |
+------------------+--------------------+-----------------+
| 67     1      8  | 4     a67      3   | 2    9      5   |
| 4      5      2  | 9      8       1   | 6    3      7   |
| 3      9      67 | 2      5       67  | 4    1      8   |
+------------------+--------------------+-----------------+


(7=6)r7c5 - (6=4)r4c5 - (4=6)r4c8 - (6=2)r6c9 - r1c9 = (2-1)r1c1 = r1c4 - r6c4 = (1)r6c5 => - 7r6c5; stte

Clement

[SteveG48]

Code: Select all

 *------------------------------------------------------------*
 | 12    46    3     | 16    9      5     | 8     7     246   |
 | 12    8     5     | 7     126-4 b246   | 3     26    9     |
 | 9     467   67    | 3    a26     8     | 1     5     246   |
 *-------------------+--------------------+-------------------|
 | 8     2     1     | 5    a46     9     | 7     46    3     |
 | 67    67    9     | 8     3      2-4   | 5     24    1     |
 | 5     3     4     | 16    1267   267   | 9     8     26    |
 *-------------------+--------------------+-------------------|
 | 67    1     8     | 4    a67     3     | 2     9     5     |
 | 4     5     2     | 9     8      1     | 6     3     7     |
 | 3     9     67    | 2     5     b67    | 4     1     8     |
 *------------------------------------------------------------*


(4=267)r347c5 - (2|7=46)r29c6 => -4 r2c5,r5c6 ; stte

[SteveG48]

(6)r6c456 = (6,2,4)r43c5,r5c6 - (2|4=6)r2c6 - (6)r[2=4]c8 => -6 r4c5,r6c9; stte

Why the commas in the (6,2,4)?

[SpAce]

(6)r6c456 = (6,2,4)r43c5,r5c6 - (2|4=6)r2c6 - (6)r[2=4]c8 => -6 r4c5,r6c9; stte

Why the commas in the (6,2,4)?

Apparently for no reason I was probably thinking of the resulting group (2,4,6)r3c5,r5c6,r2c6 in which case they would be necessary, but not here. Thanks for pointing that out!

[Cenoman]

Code: Select all

 +------------------+--------------------+------------------+
 |  12  b46    3    | C1-6  9      5     |  8    7    246   |
 |  12   8     5    |  7   B1246   246   |  3    26   9     |
 |  9   a467*  67*  |  3    26     8     |  1    5    246   |
 +------------------+--------------------+------------------+
 |  8    2     1    |  5   A46     9     |  7    46   3     |
 |  67*  67*   9    |  8    3      24    |  5    24   1     |
 |  5    3     4    | z16   1267*  267*  |  9    8    26    |
 +------------------+--------------------+------------------+
 |  67*  1     8    |  4    67*    3     |  2    9    5     |
 |  4    5     2    |  9    8      1     |  6    3    7     |
 |  3    9     67*  |  2    5      67*   |  4    1    8     |
 +------------------+--------------------+------------------+

DP(67)r3c23, r5c12, b7p19, b8p29, r6c56, using mixed internal-externals
(4)r3c2 - (4=6)r1c2
(6-4)r4c5 = (4-1)r2c5 = (1)r1c4
(6)r6c4
=> -6 r1c4; ste
(typo corrected 6r6c4)

(added) ...or, with SpAce's help: (6)r1c2|r6c4 == (6-4)r4c5 = (4-1)r2c5 = (1)r1c4 => -6 r1c4; ste

[SteveG48]

Nice DP!

[SpAce]

Nice DP!

Yep! My first instinct was to use that BUG-Lite too, but as usual, I was blind to a simple enough elimination option. As also usual, Cenoman wasn't. However, now that I see it, why not use just externals:

(6)r1c2,r6c4 == (6-4)r4c5 = (41)b2p51 => -6 r1c4; stte

[Cenoman]

... why not use just externals:

(6)r1c2,r6c4 == (6-4)r4c5 = (41)b2p51 => -6 r1c4; stte

Yes, indeed. How could I miss that !