The New Sudoku Players' Forum

[ArkieTech]

Code: Select all

 *-----------*
 |3.4|...|1..|
 |.5.|...|.2.|
 |7..|..6|4.9|
 |---+---+---|
 |...|2.4|3..|
 |...|...|...|
 |..2|8.7|...|
 |---+---+---|
 |4.3|9..|..5|
 |.6.|...|.1.|
 |..1|...|8.6|
 *-----------*


Play/Print this puzzle online

[SpAce]

Code: Select all

.-------------.----------------------.----------.
| 3   29   4  | B57    79+(2)  C(2)5 | 1  6   8 |
| 16  5    69 | b14   a48+9      89  | 7  2   3 |
| 7   12   8  | b13  b(3)-2      6   | 4  5   9 |
:-------------+----------------------+----------:
| 16  19   69 |  2     5         4   | 3  8   7 |
| 8   34   7  |  6     1         39  | 5  49  2 |
| 5   34   2  |  8     39        7   | 6  49  1 |
:-------------+----------------------+----------:
| 4   8    3  |  9     6         1   | 2  7   5 |
| 2   6    5  | B37   A78+3      38  | 9  1   4 |
| 9   7    1  |  45    24        25  | 8  3   6 |
'-------------'----------------------'----------'

BUG+3

(2)r1c5
||
(9-4)r2c5 = (413)b2p478
||
(3)r8c5 - (3=75)r81c4 - (5=2)r1c6

=> -2 r3c5; stte


...or perhaps less boring:

Code: Select all

.------------.-------------------.-----------.
| 3   29  4  | b5(7)  29-7  b25  | 1  6    8 |
| 16  5   69 | b14   b89+4   89+ | 7  2    3 |
| 7   12  8  | b13   b23     6   | 4  5    9 |
:------------+-------------------+-----------:
| 16  19  69 | 2     5       4   | 3  8    7 |
| 8   34+  7 | 6     1       39+ | 5  49+  2 |
| 5   34+  2 | 8     39+     7   | 6  49+  1 |
:------------+-------------------+-----------:
| 4   8   3  | 9     6       1   | 2  7    5 |
| 2   6   5  | 3-7  a38+(7)  38+ | 9  1    4 |
| 9   7   1  | 45    24      25  | 8  3    6 |
'------------'-------------------'-----------'

BUG-Lite+2 (3489)r2568c2568

(7)r8c5 == (413257)b2p547831 => -7 r1c5,r8c4; stte

[Ngisa]

Code: Select all

+-----------------+-----------------+---------------+
| 3     a29    4  | 57    279    5-2| 1     6     8 |
| 16     5     69 |d14    489    89 | 7     2     3 |
| 7     b12    8  |c13   c23     6  | 4     5     9 |
+-----------------+-----------------+---------------+
| 16     19    69 | 2     5      4  | 3     8     7 |
| 8      34    7  | 6     1      39 | 5     49    2 |
| 5      34    2  | 8     39     7  | 6     49    1 |
+-----------------+-----------------+---------------+
| 4      8     3  | 9     6      1  | 2     7     5 |
| 2      6     5  | 37    378    38 | 9     1     4 |
| 9      7     1  |d45    24    e25 | 8     3     6 |
+-----------------+-----------------+---------------+


(2)r1c2 = r3c2 - (2=31)r3c45 - (1=45)r29c4 - (5=2)r9c6 => -2r1c6; stte

Clement

[Sudtyro2]

Code: Select all

+--------------+-----------------+------------+
| 3    29  4   |  57*  a27+9* 25 | 1   6   8  |
| 16   5   69  |  14    489   89 | 7   2   3  |
| 7   d12  8   | c13    3-2   6  | 4   5   9  |
+--------------+-----------------+------------+
| 16   19  69  |  2     5     4  | 3   8   7  |
| 8    34  7   |  6     1     39 | 5   49  2  |
| 5    34  2   |  8     39    7  | 6   49  1  |
+--------------+-----------------+------------+
| 4    8   3   |  9     6     1  | 2   7   5  |
| 2    6   5   | c37   b378   38 | 9   1   4  |
| 9    7   1   |  45*   24*   25 | 8   3   6  |
+--------------+-----------------+------------+

4-sector almost Disjoint Subset(*)...
DS(2457) == (9-7)r1c5 = r8c5 - (7=31)r38c4 - (1=2)r3c2 => -2r3c5; stte

SteveC

[SteveG48]

Code: Select all

 *--------------------------------------------------*
 | 3    29   4    | 57  a279  5-2  | 1    6    8    |
 | 16   5    69   | 14  b489  89   | 7    2    3    |
 | 7    12   8    | 13  b23   6    | 4    5    9    |
 *----------------+----------------+----------------|
 | 16   19   69   | 2    5    4    | 3    8    7    |
 | 8    34   7    | 6    1    39   | 5    49   2    |
 | 5    34   2    | 8   b39   7    | 6    49   1    |
 *----------------+----------------+----------------|
 | 4    8    3    | 9    6    1    | 2    7    5    |
 | 2    6    5    | 37  b378  38   | 9    1    4    |
 | 9    7    1    | 45   4-2  25   | 8    3    6    |
 *--------------------------------------------------*


2r1c5 =BUG+2= (239)r2368c5 => -2 r1c6,r9c5 ; stte

[Cenoman]

Code: Select all

 +-----------------+------------------+-----------------+
 |  3    29   4    |  57  b29-7  25   |  1    6    8    |
 |  16   5    69   |  14   489*  89*  |  7    2    3    |
 |  7    12   8    |  13   23    6    |  4    5    9    |
 +-----------------+------------------+-----------------+
 |  16   19   69   |  2    5     4    |  3    8    7    |
 |  8    34*  7    |  6    1     39*  |  5    49*  2    |
 |  5    34*  2    |  8    39*   7    |  6    49*  1    |
 +-----------------+------------------+-----------------+
 |  4    8    3    |  9    6     1    |  2    7    5    |
 |  2    6    5    |  37  a378*  38*  |  9    1    4    |
 |  9    7    1    |  45   24    25   |  8    3    6    |
 +-----------------+------------------+-----------------+

DP(3489)r28c56, r5c268, r6c258 using mixed internal-external
(7)r8c5==(9)r1c5 => -7 r1c5; ste

[rjamil]

Code: Select all

3.4...1...5.....2.7....64.9...2.43.............28.7...4.39....5.6.....1...1...8.6
 +------------+----------------+----------+
 | 3   29  4  | 57    279   25 | 1  6   8 |
 | 16  5   69 | (14)  89-4  89 | 7  2   3 |
 | 7   12  8  | (13)  (23)  6  | 4  5   9 |
 +------------+----------------+----------+
 | 16  19  69 | 2     5     4  | 3  8   7 |
 | 8   34  7  | 6     1     39 | 5  49  2 |
 | 5   34  2  | 8     39    7  | 6  49  1 |
 +------------+----------------+----------+
 | 4   8   3  | 9     6     1  | 2  7   5 |
 | 2   6   5  | 37    378   38 | 9  1   4 |
 | 9   7   1  | 5-4   (24)  25 | 8  3   6 |
 +------------+----------------+----------+

WXYZ-Wing: 1234 @ r2c4, r3c45, r9c5 => -4 @ r2c5, r9c4; stte

R. Jamil

[SpAce]

2r1c5 =BUG+2= (239)r2368c5 => -2 r1c6,r9c5 ; stte

Hi Steve! That's really neat and beats the crap out of my ugly kraken BUG! I'm just wondering if the =BUG+2= should actually be =BUG+3= when using the "catalyst" notation. To me the derived strong link in your chain exists because of the original BUG+3 situation, and the inlined explanation should reflect that. I think it should be no different from the corresponding external explanation:

BUG+3: 2r1c5 == (239)r2368c5 <-> 2r1c5 =BUG+3= (239)r2368c5

What do you think? I think BUG+2 would be correct if it were used as a boolean term by itself as in 2r1c5 = BUG+2, but that's not the case here (and I don't know how that chain variant should even continue). I know I've messed up with these before myself so I can't be 100% sure of anything, but at least now those interpretations seem to make the most sense to me.

DP(3489)r28c56, r5c268, r6c258 using mixed internal-external
(7)r8c5==(9)r1c5 => -7 r1c5; ste

Nice, Cenoman! That in turn beats the crap out of my second solution

[SteveG48]

2r1c5 =BUG+2= (239)r2368c5 => -2 r1c6,r9c5 ; stte

Hi Steve! That's really neat and beats the crap out of my ugly kraken BUG! I'm just wondering if the =BUG+2= should actually be =BUG+3= when using the "catalyst" notation. To me the derived strong link in your chain exists because of the original BUG+3 situation, and the inlined explanation should reflect that. I think it should be no different from the corresponding external explanation:

BUG+3: 2r1c5 == (239)r2368c5 <-> 2r1c5 =BUG+3= (239)r2368c5

What do you think?

I think you're right. I'll leave it as is so people can see where you're coming from.