The New Sudoku Players' Forum

[ArkieTech]

Code: Select all

 *-----------*
 |...|.98|5..|
 |..9|6..|...|
 |.76|...|..2|
 |---+---+---|
 |.2.|...|78.|
 |5..|..4|..6|
 |.8.|...|43.|
 |---+---+---|
 |.63|...|..7|
 |...|81.|...|
 |...|.27|...|
 *-----------*


Play/Print this puzzle online

[SpAce]

Code: Select all

.---------------.--------------.-------------------.
| 134  a(1)4  2 | 7    9    8  |  5     6     34-1 |
| 134    5    9 | 6    34   2  |  13    7     8    |
| 8      7    6 | 45   345  1  |  39    49    2    |
:---------------+--------------+-------------------:
| 9      2    4 | 15   6    3  |  7     8   c(1)5  |
| 5      3    7 | 19   8    4  |  129   29    6    |
| 6      8    1 | 2    7    59 |  4     3    c59   |
:---------------+--------------+-------------------:
| 2      6    3 | 459  45   59 |  8     1     7    |
| 7     a49   5 | 8    1    6  | b239  b249  b349  |
| 14     149  8 | 3    2    7  |  6     5    c49   |
'---------------'--------------'-------------------'

(1=4,9)r18c2 - r8c789 = (951)r964 => -1 r1c9; stte

...or something more fun (added):

Code: Select all

.------------------.---------------.-----------------------.
|   13-4   a14*  2 |  7    9    8  |  5     6   fba1(4)#3* |
| ba14#3*   5    9 |  6    34   2  | c13    7      8       |
|   8       7    6 | e45   345  1  |  39   f49     2       |
:------------------+---------------+-----------------------:
|   9       2    4 | e15   6    3  |  7     8      15      |
|   5       3    7 | e19   8    4  | d129   29     6       |
|   6       8    1 |  2    7    59 |  4     3      59      |
:------------------+---------------+-----------------------:
|   2       6    3 |  459  45   59 |  8     1      7       |
|   7       49   5 |  8    1    6  |  239   249    349     |
|  a1(4)*   149  8 |  3    2    7  |  6     5      9-4     |
'------------------'---------------'-----------------------'

Almost Remote Pair:

RP(41)r1c92,r29c1 = (3)r1c9,r2c1 - (3=1)r2c7 - r5c7 = (154)r543c4 - (4)b3p[8=3] => -4 r1c1,r9c9; stte

...or similarly:

Code: Select all

.-------------------.---------------.--------------------.
|  b13-#4  ba14*  2 |  7    9    8  |  5    6   fa13(4)* |
| ca134*     5    9 |  6    34   2  | c13   7     8      |
|   8        7    6 | e45   345  1  |  39  f49    2      |
:-------------------+---------------+--------------------:
|   9        2    4 | e15   6    3  |  7    8     15     |
|   5        3    7 | e19   8    4  | d129  29    6      |
|   6        8    1 |  2    7    59 |  4    3     59     |
:-------------------+---------------+--------------------:
|   2        6    3 |  459  45   59 |  8    1     7      |
|   7        49   5 |  8    1    6  |  239  249   349    |
|  a1(4)*    149  8 |  3    2    7  |  6    5     9-4    |
'-------------------'---------------'--------------------'

Almost Kite:

Kite(4)r1c92,r29c1 = (4,1)r1c12 - r2c[1=7] - r5c7 = (154)r543c4 - (4)b3p[8=3] => -4 r1c1,r9c9; stte

[Ngisa]

Code: Select all

+-------------------+------------------+--------------------+
|b134     c14     2 | 7      9      8  | 5      6      d134 |
|b134      5      9 | 6      34     2  | 13     7       8   |
| 8        7      6 | 45     345    1  | 39     49      2   |
+-------------------+------------------+--------------------+
| 9        2      4 | 15     6      3  | 7      8      e15  |
| 5        3      7 | 19     8      4  | 129    29      6   |
| 6        8      1 | 2      7      59 | 4      3      f5-9 |
+-------------------+------------------+--------------------+
| 2        6      3 | 459    45     59 | 8      1       7   |
| 7        49     5 | 8      1      6  | 239    249     349 |
|a14       149    8 | 3      2      7  | 6      5      a49  |
+-------------------+------------------+--------------------+


(9=41)r9c19 - (1)r12c1 = r1c2 - r1c9 = (1-5)r4c9 = (5)r6c9 => - 9r6c9; stte

Clement

[rjamil]

Ok. Allow me to share two steps just for fun:

Code: Select all

....985....96......76.....2.2....78.5....4..6.8....43..63.....7...81........27...
 +--------------+--------------+------------------+
 | 134  14    2 | 7    9    8  | 5     6      134 |
 | 134  5     9 | 6    34   2  | 13    7      8   |
 | 8    7     6 | 45   345  1  | 3(9)  4(9)   2   |
 +--------------+--------------+------------------+
 | 9    2     4 | 15   6    3  | 7     8      15  |
 | 5    3     7 | 19   8    4  | 129   (29)   6   |
 | 6    8     1 | 2    7    59 | 4     3      59  |
 +--------------+--------------+------------------+
 | 2    6     3 | 459  45   59 | 8     1      7   |
 | 7    (49)  5 | 8    1    6  | 23-9  (249)  349 |
 | 14   149   8 | 3    2    7  | 6     5      49  |
 +--------------+--------------+------------------+

1) XYZ-Transport: 249 @ r8c28 r5c8 Strong Link 9 @ r3c78 => -9 @ r8c7 (Or: 9 @ r3c78 actually represent 9 @ b3c78); and

Code: Select all

 +-------------+---------------+----------------+
 | 134  14   2 | 7     9    8  | 5    6     134 |
 | 134  5    9 | 6     34   2  | 13   7     8   |
 | 8    7    6 | (45)  345  1  | 39   (49)  2   |
 +-------------+---------------+----------------+
 | 9    2    4 | (15)  6    3  | 7    8     15  |
 | 5    3    7 | (19)  8    4  | 129  2-9   6   |
 | 6    8    1 | 2     7    59 | 4    3     59  |
 +-------------+---------------+----------------+
 | 2    6    3 | 459   45   59 | 8    1     7   |
 | 7    49   5 | 8     1    6  | 23   249   349 |
 | 14   149  8 | 3     2    7  | 6    5     49  |
 +-------------+---------------+----------------+

2) WXYZ-Wing: 1459 @ r3c48 r45c4 => -9 @ r5c8; stte

(However, there are more WXYZ-Wing moves available but without giving stte.) - Withdrawn.

R. Jamil

[SteveG48]

Code: Select all

.-------------.--------------.---------------.
|a134 a14   2 | 7    9    8  | 5    6    34-1|
|b134  5    9 | 6    34   2  | 13   7    8   |
| 8    7    6 | 45   345  1  | 39   49   2   |
:-------------+--------------+---------------:
| 9    2    4 | 15   6    3  | 7    8   c15  |
| 5    3    7 | 19   8    4  | 129  29   6   |
| 6    8    1 | 2    7    59 | 4    3   c59  |
:-------------+--------------+---------------:
| 2    6    3 | 459  45   59 | 8    1    7   |
| 7    49   5 | 8    1    6  | 239  249  349 |
|b14   149  8 | 3    2    7  | 6    5   c49  |
'-------------'--------------'---------------'


1r1c12 = (14)r29c1 - (4=159)r469c9 => -1 r1c1 ; stte

Hmm. Pretty much the same as SpAce.

[SpAce]

1r1c12 = (14)r29c1 - (4=159)r469c9 => -1 r1c1 ; stte

Hmm. Pretty much the same as SpAce.

Hi Steve! I think it's different enough (and arguably better as it uses one fewer cell)! Your second node might need a little something though, as both 1 and 4 exist in both cells of r29c1, and you need the 4r9c1 fixed for the following link. Either a comma (1,4) or a split-node should work, right?

PS. In my first solution I didn't really need the comma in (1=4,9)18c2, at least for the same reason, but I used it to avoid writing (9) for the next node. The same thing actually in the third solution and (4,1)r1c12. (Not sure if using it for that purpose is confusing, though.)

[StrmCkr]

Code: Select all

+--------------+--------------+---------------------+
| 134  (14)  2 | 7    9    8  | 5      6      34-1  |
| 134  5     9 | 6    34   2  | 13     7      8     |
| 8    7     6 | 45   345  1  | 39     49     2     |
+--------------+--------------+---------------------+
| 9    2     4 | 15   6    3  | 7      8      (15)  |
| 5    3     7 | 19   8    4  | 129    29     6     |
| 6    8     1 | 2    7    59 | 4      3      (59)  |
+--------------+--------------+---------------------+
| 2    6     3 | 459  45   59 | 8      1      7     |
| 7    (49)  5 | 8    1    6  | 23(9)  24(9)  34(9) |
| 14   149   8 | 3    2    7  | 6      5      4(9)  |
+--------------+--------------+---------------------+

this move is interesting:

Als A {149} @ R18C2
Als B (159} @ R46C9

where A & B are sharing Digit 9 via ERI in Box 9
{ie either the (9 in Row 8 box 9 is in A or the 9 in Box 9 col 9 is in b or both.}
=> R1C9 <> 1

{yes im replacing ALs C with a ERI link for an als xy wing style move as its 1 candidate in 2 spaces}

[Cenoman]

Yet another chain eliminating 1r1c9:

Code: Select all

 +-------------------+-------------------+--------------------+
 |  134  d14    2    |  7     9     8    |  5     6     34-1  |
 |  134   5     9    |  6     34    2    |  13    7     8     |
 |  8     7     6    |  45    345   1    |  39    49    2     |
 +-------------------+-------------------+--------------------+
 |  9     2     4    |  15    6     3    |  7     8    a15    |
 |  5     3     7    |  19    8     4    |  129   29    6     |
 |  6     8     1    |  2     7     59   |  4     3    a59    |
 +-------------------+-------------------+--------------------+
 |  2     6     3    |  459   45    59   |  8     1     7     |
 |  7    c49    5    |  8     1     6    |  239   249   349   |
 | b14   b149   8    |  3     2     7    |  6     5    a49    |
 +-------------------+-------------------+--------------------+

(159=4)r469c9 - r9c12 = r8c2 - (4=1)r1c2 => -1 r1c9; ste

Tiny difference to already posted solutions, so:

Code: Select all

 +-------------------+-------------------+--------------------+
 |  134* B14*   2    |  7     9     8    |  5     6   Aa134   |
 |  134   5     9    |  6     34    2    |  13    7     8     |
 |  8     7     6    |  45    345   1    |  39    49    2     |
 +-------------------+-------------------+--------------------+
 |  9     2     4    |  15    6     3    |  7     8    b15    |
 |  5     3     7    |  19    8     4    |  129   29    6     |
 |  6     8     1    |  2     7     59   |  4     3    b59    |
 +-------------------+-------------------+--------------------+
 |  2     6     3    |  459   45    59   |  8     1     7     |
 |  7     49    5    |  8     1     6    |  239   249   349   |
 |  14* zd49-1* 8    |  3     2     7    |  6     5    c49    |
 +-------------------+-------------------+--------------------+

UR(14)r19c12 using mixed externals-internal
(1)r1c9 - (15=9)r46c9 - r9c9 = (9)r9c2
(4)r1c9 - (4=1)r1c2
(9)r9c2
=> -1 r9c2; ste

[SteveG48]

Hi Steve! I think it's different enough (and arguably better as it uses one fewer cell)! Your second node might need a little something though, as both 1 and 4 exist in both cells of r29c1, and you need the 4r9c1 fixed for the following link. Either a comma (1,4) or a split-node should work, right?

Yarg. I hate it when I do that. Either of your solutions would be good. I suppose I would go with splitting the node.

[SpAce]

this move is interesting:

Als A {149} @ R18C2
Als B (159} @ R46C9

where A & B are sharing Digit 9 via ERI in Box 9
{ie either the (9 in Row 8 box 9 is in A or the 9 in Box 9 col 9 is in b or both.}
=> R1C9 <> 1

{yes im replacing ALs C with a ERI link for an als xy wing style move as its 1 candidate in 2 spaces}

Isn't that my first solution, exactly?

Btw, it would have been simpler without using the ERI in box 9, but I did it because of our on-going discussion about them. Otherwise I'd write it like this:

(1)r1c2 = (1-9)r9c2 = (951)r964c9 => -1 r1c9; stte

That's five cells and three digits. Not sure if it can be simplified any further.

[StrmCkr]

Yes it is, defrent point of view using als plus hidden als to make the eilinatiom VIa coversets instead of a chain.
Its more of a side note for my self then anything for when I rebuild my hidden set engine and combination engine

[SpAce]

Yes it is, defrent point of view using als plus hidden als to make the eilinatiom VIa coversets instead of a chain.

Talking about cover sets, how about this:

Code: Select all

Alien 5-Fish (Rank 1):

{9B9 18N2 46N9} \ {1r1 9r8 4c2 159c9} => -1 r1c9; stte

I don't have XSudo, so that's a manual transformation based on the documentation, some forum examples, and guesswork. Based on the same, I guess the ERI Cell (9r8c9) forms a link triplet (base candidate covered twice), though without any effect. Am I on the right track?

Here's also my simpler variant:

Code: Select all

Alien 4-Fish (Rank 1):

{9R9 1C2 46N9} \ {1r1 159c9 8n2} => -1 r1c9; stte

[StrmCkr]

Found another Combination ALS- XY

Code: Select all

+----------------+--------------+-------------------+
| 134   4(1)   2 | 7    9    8  | 5     6     (134) |
| 134   5      9 | 6    34   2  | 13    7     8     |
| 8     7      6 | 45   345  1  | 39    49    2     |
+----------------+--------------+-------------------+
| 9     2      4 | 15   6    3  | 7     8     15    |
| 5     3      7 | 19   8    4  | 129   29    6     |
| 6     8      1 | 2    7    59 | 4     3     5-9   |
+----------------+--------------+-------------------+
| 2     6      3 | 459  45   59 | 8     1     7     |
| 7     (49)   5 | 8    1    6  | 23-9  24-9  (349) |
| (14)  49(1)  8 | 3    2    7  | 6     5     (49)  |
+----------------+--------------+-------------------+

Als A) {149) R8C2,R9C1
Als B) {1439} R189C9
hidden als C) {1} R19C2

RC: @ AC {1}, @ BC {1}
Z: AB = 4,9
=> R8C78,R6C9 <> 9

[SpAce]

Als A) {149) R8C2,R9C1
Als B) {1439} R189C9
hidden als C) {1} R18C9 (shouldn't this be R19C2 ?)

RC: @ AC {1}, @ BC {1}
Z: AB = 4,9
=> R8C78,R6C9 <> 9

That's pretty cool. However, I don't see how the eliminations follow with just those nodes, but I can't be sure because I'm not fluent in that notation. Here's how I see that as a chain anyway:

Code: Select all

.---------------.--------------.--------------------.
|  134  b14   2 | 7    9    8  | 5    6      a134   |
|  134   5    9 | 6    34   2  | 13   7       8     |
|  8     7    6 | 45   345  1  | 39   49      2     |
:---------------+--------------+--------------------:
|  9     2    4 | 15   6    3  | 7    8       15    |
|  5     3    7 | 19   8    4  | 129  29      6     |
|  6     8    1 | 2    7    59 | 4    3       59    |
:---------------+--------------+--------------------:
|  2     6    3 | 459  45   59 | 8    1       7     |
|  7    c49   5 | 8    1    6  | 239  249    a34(9) |
| c14  db149  8 | 3    2    7  | 6    5    eda4(9)  |
'---------------'--------------'--------------------'

(9=341)r891c9 - (1)r[1=9]c2 - (1=49)r9c1,r8c2 - (4)r9c9|(9)r9c2 = (9)r9c9 => -9 r6c9,r8c78; stte

Works, but seems kind of complicated. It also seems that your notation only covered the first three terms (colored), unless I misunderstood something. Why not something simpler anyway:

Code: Select all

.--------------.--------------.---------------------.
| 134  b14   2 | 7    9    8  | 5     6      a134   |
| 134   5    9 | 6    34   2  | 13    7       8     |
| 8     7    6 | 45   345  1  | 39    49      2     |
:--------------+--------------+---------------------:
| 9     2    4 | 15   6    3  | 7     8       15    |
| 5     3    7 | 19   8    4  | 129   29      6     |
| 6     8    1 | 2    7    59 | 4     3       5-9   |
:--------------+--------------+---------------------:
| 2     6    3 | 459  45   59 | 8     1       7     |
| 7     49   5 | 8    1    6  | 23-9  24-9   a34(9) |
| 14   c149  8 | 3    2    7  | 6     5     ca4(9)  |
'--------------'--------------'---------------------'

(9=341)r891c9 - (1)r1c2 = (19)r9c29 => -9 r6c9,r8c78; stte

[StrmCkr]

(shouldn't this be R19C2 ?) -- good catch.

Works, but seems kind of complicated.

a work in progress
in essence its a
ALS - xy wing { replacing the middle als that links the first and third set with a hidden als . }

the notation :
ALS set A) N+1 Digits in N cells
ALS set B) N+1 digits in N cells
Hidden ALS Set C) N+1 Cells with N digits
RC {Restricted common between sets}
Z {common digits/elimination digit}

when A & C share a digit that is restricted to A or C then A & C is an almost locked set.
when C & B shares a digit that is restricted to B or C then B & C is an almost locked set. {note must be the exact same digit shared by A & C }
Since 1 Cell of C is restricted by A or B then C is locked by a & B
where by any digit Common to A & B is restricted to either when shared C digit is placed in C set thus all peers cells visible to all of the common digits in A & B are excluded.



if i'm correct we should be able to go the other way as well.

Hidden als + ALS + hidden als ->> eliminate z

for the Combination ALs - XY : theory i'm penciling notes together on to code and test.