The New Sudoku Players' Forum

[ArkieTech]

Code: Select all

 *-----------*
 |2..|...|..1|
 |84.|..7|.5.|
 |.7.|45.|6..|
 |---+---+---|
 |...|.2.|...|
 |.5.|...|.8.|
 |1..|.3.|...|
 |---+---+---|
 |..6|.85|42.|
 |.2.|1..|.79|
 |5..|...|...|
 *-----------*


Play/Print this puzzle online

[pjb]

Code: Select all

 2       6       5      | 3      9      8      | 7      4      1     
 8       4       39     | 6      1      7      | 39     5      2     
 39      7       1      | 4      5      2      | 6      39     8     
------------------------+----------------------+---------------------
*34679   389     3479   | 58     2     *1469   | 139   *369    57     
 369     5       239    | 79     67     169    | 1239   8      4     
 1       89      2479   | 58     3     *469    | 29    *69     57     
------------------------+----------------------+---------------------
 79      1       6      | 79     8      5      | 4      2      3     
a34      2       8      | 1     b46     3-6    | 5      7      9     
 5       39      47     | 2      47     39     | 8      1      6     


Kraken x-wing of 6s at r46c68, fin at r4c1 with (4)r4c1 = r8c1 - (6=4)r8c5 => -6 r8c6; stte

Phil

PS There's a cute little continuous loop: (4)r8c1 = (4-7)r4c1 = r7c1 - (7=4)r9c3 - loop => -369 r4c1; stte
and a second:
(3=9)r3c1 - (9=7)r7c1 - (7=4)r9c3 - (4=3)r8c1- loop => -39 r45c1; stte

[SteveG48]

Code: Select all

 *--------------------------------------------------------------------*
 | 2      6      5      | 3      9      8      | 7      4      1      |
 | 8      4      39     | 6      1      7      | 39     5      2      |
 | 3-9    7      1      | 4      5      2      | 6      39     8      |
 *----------------------+----------------------+----------------------|
 | 3467-9 389    3479   | 58     2      1469   | 139    369    57     |
 |e369    5      239    |c79    c67     169    | 1239   8      4      |
 | 1      89     2479   | 58     3      469    | 29     69     57     |
 *----------------------+----------------------+----------------------|
 |a79     1      6      |b79     8      5      | 4      2      3      |
 |d34     2      8      | 1     d46     36     | 5      7      9      |
 | 5      39     47     | 2      47     39     | 8      1      6      |
 *--------------------------------------------------------------------*


(9)r7c1 = r7c4 - (9=76*)r5c45 - (6=43)r8c15 - (3*6=9)r5c1 => -9 r34c1 ; stte

Love Phil's loop. Following in those footsteps:

(7)r4c1 = r7c1 - (7=4)r9c3 - (4=396)r358c1 => -6 r4c1 ; stte

[Leren]

Code: Select all

*--------------------------------------------------------------*
| 2     6     5      | 3     9     8      | 7     4     1      |
| 8     4     39     | 6     1     7      | 39    5     2      |
|b39    7     1      | 4     5     2      | 6     39    8      |
|--------------------+--------------------+--------------------|
| 34679 389   3479   | 58    2     1469   | 139   369   57     |
|b369   5     239    | 79    7-6   169    | 1239  8     4      |
| 1     89    2479   | 58    3     469    | 29    69    57     |
|--------------------+--------------------+--------------------|
| 79    1     6      | 79    8     5      | 4     2     3      |
|b34    2     8      | 1    a46    36     | 5     7     9      |
| 5     39    47     | 2     47    39     | 8     1     6      |
*--------------------------------------------------------------*

ALS XZ Rule: X = 4, Z = 6: (6=4) r8c5 - (4=6) r358c1 => - 6 r5c5; stte

Leren

[ArkieTech]

Code: Select all

 *--------------------------------------------------------------------*
 | 2      6      5      | 3      9      8      | 7      4      1      |
 | 8      4      39     | 6      1      7      | 39     5      2      |
 | 39     7      1      | 4      5      2      | 6      39     8      |
 |----------------------+----------------------+----------------------|
 |e3679-4 389    3479   | 58     2      1469   | 139    369    57     |
 |d369    5      239    | 79    c67     169    | 1239   8      4      |
 | 1      89     2479   | 58     3      469    | 29     69     57     |
 |----------------------+----------------------+----------------------|
 | 79     1      6      | 79     8      5      | 4      2      3      |
 |a34     2      8      | 1     b46     36     | 5      7      9      |
 | 5      39     47     | 2      47     39     | 8      1      6      |
 *--------------------------------------------------------------------*
4r8c1=(4-6)r8c5=r5c5-r5c1=6r4c1 => -4r4c1


[sultan vinegar]

Code: Select all

*--------------------------------------------------------------*
| 2     6     5      | 3     9     8      | 7     4     1      |
| 8     4     39     | 6     1     7      | 39    5     2      |
| d39   7     1      | 4     5     2      | 6     39    8      |
|--------------------+--------------------+--------------------|
|467-39 389   3479   | 58    2     1469   | 139   369   57     |
| d369  5     239    | 79    a67   19-6   | 1239  8     4      |
| 1     89    2479   | 58    3     469    | 29    69    57     |
|--------------------+--------------------+--------------------|
| d79   1     6      | 79    8     5      | 4     2     3      |
| 4-3   2     8      | 1     46    36     | 5     7     9      |
| 5     39    c47    | 2     b47   39     | 8     1     6      |
*--------------------------------------------------------------*

Here's a lesson for why I like the following ALS notation:

(6=7)r5c5 - (7=4)r9c5 - (4=7)r9c3 - (7=6)ALS3679r357c1 - loop => r5c6 <> 6, r4c1 <> 3, r4c1 <> 9, r8c1 <> 3.

Because of the continuous loop, all weak links become strong, and all strong links become weak. Hence the strong link (7=6)ALS3679r357c1 becomes weak, i.e. at most one of (7)r7c1 and (6)r5c1 are true, which locks (3) and (9) in the ALS. You can thus eliminate (3) and (9) from column 1 outside the ALS. I tend to miss those eliminations if I don't use the above notation.

P.S. Phil's Kraken Fish is a zinger!

[daj95376]

Code: Select all

*--------------------------------------------------------------*
| 2     6     5      | 3     9     8      | 7     4     1      |
| 8     4     39     | 6     1     7      | 39    5     2      |
| d39   7     1      | 4     5     2      | 6     39    8      |
|--------------------+--------------------+--------------------|
|467-39 389   3479   | 58    2     1469   | 139   369   57     |
| d369  5     239    | 79    a67   19-6   | 1239  8     4      |
| 1     89    2479   | 58    3     469    | 29    69    57     |
|--------------------+--------------------+--------------------|
| d79   1     6      | 79    8     5      | 4     2     3      |
| 4-3   2     8      | 1     46    36     | 5     7     9      |
| 5     39    c47    | 2     b47   39     | 8     1     6      |
*--------------------------------------------------------------*

Here's a lesson for why I like the following ALS notation:

Code: Select all

(6=7)r5c5 - (7=4)r9c5 - (4=7)r9c3 - (7=6)ALS3679r357c1 - loop => r5c6 <> 6, r4c1 <> 3, r4c1 <> 9, r8c1 <> 3.


IIRC, blue convinced me to use (739=936)r357c1 for the ALS when it's in a loop. I would write (7=6)r357c1 if it wasn't in a loop.

Code: Select all

(6=7)r5c5 - (7=4)r9c5 - (4=7)r9c3 - (739=936)r357c1 - loop => -6 r5c6, -39 r4c1, -3 r8c1


It's notationally similar to an ERI in principle. The ERI duplicates a cell, and the ALS duplicates the companion values. When the ALS term isn't in a loop, then the companion values can be dropped to abbreviate the term.

_