The New Sudoku Players' Forum

[ArkieTech]

Code: Select all

 *-----------*
 |6..|...|..4|
 |4.3|56.|1..|
 |.7.|..8|...|
 |---+---+---|
 |3..|..4|...|
 |..2|697|5..|
 |...|8..|..6|
 |---+---+---|
 |...|9..|.1.|
 |..4|.73|9.2|
 |2..|...|..7|
 *-----------*


Play/Print this puzzle online

[SteveG48]

Code: Select all

 *-----------------------------------------------------------*
 | 6     2589  589   | 7     1     29    | 38    358   4     |
 | 4     289   3     | 5     6     29    | 1     7     89    |
 | 159   7     159   | 3     4     8     |f26    26    59    |
 *-------------------+-------------------+-------------------|
 | 3    e689   6789  | 2     5     4     |e78   e89    1     |
 | 18    148   2     | 6     9     7     | 5     48    3     |
 | 579   459   579   | 8     3     1     |f27    249   6     |
 *-------------------+-------------------+-------------------|
 | 578   3    c5678  | 9     2    b56    | 4     1     58    |
 | 58   d568   4     | 1     7     3     | 9     568   2     |
 | 2     19    19    | 4     8    a56    | 3-6   356   7     |
 *-----------------------------------------------------------*


6r9c6 = r7c6 - r7c3 = r8c2 - (6=789)r4c278 - (7=26)r36c7 => -6 r9c7 ; stte

[SpAce]

Not stte but too simple to pass.

Code: Select all

.-----------------------.----------.---------------.
| 6    *2589   a5(#9)-8 | 7  1 *29 | 38  358   4   |
| 4   c*2(8)-9  3       | 5  6 *29 | 1   7    b8#9 |
| 159   7       159     | 3  4  8  | 26  26    59  |
:-----------------------+----------+---------------:
| 3     689     6789    | 2  5  4  | 78  89    1   |
| 18    148     2       | 6  9  7  | 5   48    3   |
| 579   459     579     | 8  3  1  | 27  249   6   |
:-----------------------+----------+---------------:
| 578   3       5678    | 9  2  56 | 4   1     58  |
| 58    568     4       | 1  7  3  | 9   568   2   |
| 2     19      19      | 4  8  56 | 36  356   7   |
'-----------------------'----------'---------------'


UR(29)r12c26 externals:

(9)r1c3 == (9-8)r2c9 = (8)r2c2 => -8 r1c3, -9 r2c2; lclste

[Ngisa]

Code: Select all

+-----------------------+----------------+--------------------+
| 6       2589     589  | 7     1     29 |a38      358     4  |
| 4       289      3    | 5     6     29 | 1       7       89 |
| 159     7        159  | 3     4     8  | 26      26      59 |
+-----------------------+----------------+--------------------+
| 3       689     e689-7| 2     5     4  |a78      89      1  |
| 18      148      2    | 6     9     7  | 5       48      3  |
| 579     459      579  | 8     3     1  | 27      249     6  |
+-----------------------+----------------+--------------------+
| 578     3       d5678 | 9     2    c56 | 4       1       58 |
| 58      568      4    | 1     7     3  | 9       568     2  |
| 2        19      19   | 4     8    b56 |a36      356     7  |
+-----------------------+----------------+--------------------+


(7=6)r149c7 - r9c6 = r7c6 - r7c3 = (6)r4c3 => - 7r4c3; stte

Clement

[Cenoman]

Code: Select all

 +----------------------+-----------------+------------------+
 |  6     2589   589    |  7    1    29   |  38   358   4    |
 |  4     289    3      |  5    6    29   |  1    7     89   |
 |  159   7      159    |  3    4    8    |  26   26    59   |
 +----------------------+-----------------+------------------+
 |  3    b689    6789   |  2    5    4    | c78 db89    1    |
 |  18    148    2      |  6    9    7    |  5   d48    3    |
 |  579   459    579    |  8    3    1    |  27   249   6    |
 +----------------------+-----------------+------------------+
 |  578   3      5678   |  9    2    56   |  4    1     58   |
 | a58   a568    4      |  1    7    3    |  9    56-8  2    |
 |  2     19     19     |  4    8    56   |  36   356   7    |
 +----------------------+-----------------+------------------+

(85=6)r8c12 - (6=98)r4c28 - (8)r4c7 = r45c8 => -8 r8c8; ste

or, with same logic, an example of overlapping ALS's (that are not the terminal ones)

Code: Select all

 +----------------------+-----------------+------------------+
 |  6     2589   589    |  7    1    29   |  38   358   4    |
 |  4     289    3      |  5    6    29   |  1    7     89   |
 |  159   7      159    |  3    4    8    |  26   26    59   |
 +----------------------+-----------------+------------------+
 |  3    b689    6789   |  2    5    4    | b78 cb89    1    |
 |  18    148    2      |  6    9    7    |  5   c48    3    |
 |  579   459    579    |  8    3    1    | c27  c249   6    |
 +----------------------+-----------------+------------------+
 |  578   3      5678   |  9    2    56   |  4    1     58   |
 | a58   a568    4      |  1    7    3    |  9    56-8  2    |
 |  2     19     19     |  4    8    56   |  36   356   7    |
 +----------------------+-----------------+------------------+

(85=6)r8c12 - (6=897)r4c278 - (7=2498)b6p2578 => -8 r8c8; ste

[SpAce]

stte using the same UR.

Code: Select all

.---------------------------.----------.-----------------.
|  6       oa*29#58   589   | 7  1 *29 | 38  b358     4  |
|  4      pdA*29#8    3     | 5  6 *29 | 1    7    qBc89 |
|w%1(5)9      7     w%1(5)9 | 3  4  8  | 26   26    rc59 |
:---------------------------+----------+-----------------:
|  3          689     6789  | 2  5  4  | 78   89      1  |
|  18       u'148     2     | 6  9  7  | 5  t'48      3  |
|w%(5)79    v'459  w%(5)79  | 8  3  1  | 27   249     6  |
:---------------------------+----------+-----------------:
|De578        3     De5678  | 9  2  56 | 4    1   r'Cd58 |
|Ef(8)-5    De568     4     | 1  7  3  | 9  s'568     2  |
|  2          19      19    | 4  8  56 | 36   356     7  |
'---------------------------'----------'-----------------'

UR(29)r12c26 internals & almost-almost-X-Wing:


(5)r1c2 - r1c8 = (59-8)r32c9 = r2c2&r7c9 - r8c2,r7c13 = (8)r8c1
 ||
(8*)r2c2 - r2c9 = r7c9 - r7c13,*r8c2 = (8)r8c1
 ||
(8)r1c2 - r2c2 = (8-9)r2c9 = r3c9 ------------------------- (5)r3c9
                  |                                          ||
                 (8)r7c9 = r8c8 - (8=4)r5c8 - r5c2 = r6c2 - (5)r6c2
                                                             ||
                                                      X-Wing(5)r36c13

=> -5 r8c1; stte

[pjb]

Code: Select all

 6       2589    589    | 7      1      29     |a38     358    4     
 4       289     3      | 5      6      29     | 1      7      9-8     
 159     7       159    | 3      4      8      | 26     26     59     
------------------------+----------------------+---------------------
 3       689    c6789   | 2      5      4      |b78     89     1     
 18      148     2      | 6      9      7      | 5      48     3     
 579     459     579    | 8      3      1      | 27     249    6     
------------------------+----------------------+---------------------
 578     3      d5678   | 9      2     e56     | 4      1     f58     
 58      568     4      | 1      7      3      | 9      568    2     
 2       19      19     | 4      8      56     | 36     356    7     


(8)r1c7 = (8-7)r4c7 = (7-6)r4c3 = r7c3 - (6=5)r7c6 - (5=8)r7c9 => -8 r2c9; stte

Phil

[Cenoman]

stte using the same UR.
UR(29)r12c26 internals & almost-almost-X-Wing:


(5)r1c2 - r1c8 = (59-8)r32c9 = r2c2&r7c9 - r8c2,r7c13 = (8)r8c1
||
(8*)r2c2 - r2c9 = r7c9 - r7c13,*r8c2 = (8)r8c1
||
(8)r1c2 - r2c2 = (8-9)r2c9 = r3c9 ------------------------- (5)r3c9
| ||
(8)r7c9 = r8c8 - (8=4)r5c8 - r5c2 = r6c2 - (5)r6c2
||
X-Wing(5)r36c13

=> -5 r8c1; stte[/code]

Hi SpAce,

I prefer your lclste solution

For ste finish, you could have kept your first idea (using externals):

Code: Select all

 +----------------------+-----------------+------------------+
 |  6     2589* b589    |  7    1    29*  | i38   358   4    |
 |  4     289*   3      |  5    6    29*  |  1    7    a9-8  |
 | c159   7     c159    |  3    4    8    |  26   26   d59   |
 +----------------------+-----------------+------------------+
 |  3    g689    6789   |  2    5    4    | h78  g89    1    |
 |  18    148    2      |  6    9    7    |  5   d48    3    |
 |  579   459    579    |  8    3    1    |  27   249   6    |
 +----------------------+-----------------+------------------+
 |  578   3      5678   |  9    2    56   |  4    1    d58   |
 | f58   f568    4      |  1    7    3    |  9   e568   2    |
 |  2     19     19     |  4    8    56   |  36   356   7    |
 +----------------------+-----------------+------------------+

UR(29)r12c26 using externals
(9)r2c9==(9)r1c3 - r3c13 = (95-8)r37c9 = r8c8 - (85=6)r8c12 - (6=98)r4c28 - (8)r4c7 = r3c7
=> -8 r2c9; ste

[SpAce]

I prefer your lclste solution

Me too Building the other one was more interesting, though.

For ste finish, you could have kept your first idea (using externals):
UR(29)r12c26 using externals
(9)r2c9==(9)r1c3 - r3c13 = (95-8)r37c9 = r8c8 - (85=6)r8c12 - (6=98)r4c28 - (8)r4c7 = r3c7
=> -8 r2c9; ste

Very nice! Then again, Phil's solution is even simpler for that particular elimination, so there's no real need to use the UR at all. I like to solve without knowing the stte candidates beforehand, which means that I sometimes find way too complex solutions like my second one. I don't mind because I need more practice finding and notating those than simple AICs.

Besides, I think a net is justified if (for whatever reason) one wants to take out that particular candidate (5r8c1). At least Hodoku needs one too, though I don't actually understand its solution. Can someone help me decipher that:

Forcing Net Verity => r8c1<>5

r1c7=3 r9c7<>3 r7c3=7 (r7c1<>7) r4c3<>7 r4c7=7 r4c7<>8 r1c7=8 r2c9<>8 r7c9=8 r7c1<>8 r7c1=5 r8c1<>5

r1c7=8 r2c9<>8 (r2c2=8 r8c2<>8) r7c9=8 r8c8<>8 r8c1=8 r8c1<>5

As far as I understand, it's using Kraken Cell (38)r1c7. The path with the 8 is simple (similar to mine), but I don't get what it's doing with the 3. How does r9c7<> 3 -> r7c3=7? Hodoku sometimes makes those weird jumps using implicit ALSs (very confusing), but I'm blind here.