The New Sudoku Players' Forum

[ArkieTech]

Code: Select all

 *-----------*
 |..6|..8|37.|
 |...|.39|46.|
 |..9|.6.|..8|
 |---+---+---|
 |.12|...|...|
 |...|6.2|...|
 |...|...|18.|
 |---+---+---|
 |3..|.5.|7..|
 |.67|49.|...|
 |.54|3..|9..|
 *-----------*

Play/Print this puzzle online

[SteveG48]

Code: Select all

 *-----------------------------------------------------------*
 | 15    24    6     | 15    2-4   8     | 3     7     9     |
 | 1578  278   158   | 1257  3     9     | 4     6     15    |
 | 1457  3     9     | 157   6    a45    | 2    a15    8     |
 *-------------------+-------------------+-------------------|
 | 4579  1     2     | 58   c478   35-4  | 6     349   347   |
 | 4789  478   38    | 6     1     2     | 5     349   347   |
 | 6     47    35    | 9    c47    35    | 1     8     2     |
 *-------------------+-------------------+-------------------|
 | 3     9     18    | 28    5     6     | 7     124   14    |
 | 2     6     7     | 4     9     1     | 8     35    35    |
 | 18    5     4     | 3    b28    7     | 9    b12    6     |
 *-----------------------------------------------------------*


(4=15)r3c68 - (1=28)r9c58 - (8=47)r46c5 => -4 r1c5,r4c6 ; stte

[Leren]

Code: Select all

*--------------------------------------------------------------*
| 15    24    6      | 15   a24    8      | 3     7     9      |
| 1578  278   158    | 1257  3     9      | 4     6     15     |
| 1457  3     9      | 157   6    b45     | 2    c15    8      |
|--------------------+--------------------+--------------------|
| 4579  1     2      | 58    478   345    | 6     349   347    |
| 4789  478   38     | 6     1     2      | 5     349   347    |
| 6     47    35     | 9     47    35     | 1     8     2      |
|--------------------+--------------------+--------------------|
| 3     9     18     | 28    5     6      | 7     124   14     |
| 2     6     7      | 4     9     1      | 8     35    35     |
| 18    5     4      | 3     8-2   7      | 9    d12    6      |
*--------------------------------------------------------------*

XY Chain : (2=4) r1c5 - (4=5) r3c6 - (5=1) r3c8 - (1=2) r9c8; => - 2 r9c5; stte

Leren

[Alex_Popov_92]

Code: Select all

*--------------------------------------------------------------*
| 15    24    6      | 15   a24    8      | 3     7     9      |
| 1578  278   158    | 1257  3     9      | 4     6     15     |
| 1457  3     9      | 157   6    f45     | 2    e15    8      |
|--------------------+--------------------+--------------------|
| 4579  1     2      | 58    478   345    | 6     349   347    |
| 4789  478   38     | 6     1     2      | 5     349   347    |
| 6     47    35     | 9     47    35     | 1     8     2      |
|--------------------+--------------------+--------------------|
| 3     9     18     | 28    5     6      | 7     124   14     |
| 2     6     7      | 4     9     1      | 8     35    35     |
| c18   5     4      | 3     b28   7      | 9    d12    6      |
*--------------------------------------------------------------*



Please, Leren, excuse me for posting almost your solution, I wrote it
quite a while ago but kept checking
the Eureka notation. I am just posting
this to see if notation is right. Otherwise it was a piece of cake.
Great thank you, Steve!
BTW I like a lot your three ALSes XY-wing of solution! I am hoping I'll produce one of my own soon.
Very effective!
(SteveG48) You explained a lot and I HOPE I DID NOT BOTCH UP ALL.
here it is :
(4-2)r1c5 = (2-8)r9c5 = (8-1)r9c1 = (1-2)r9c8 = (5-1)r3c8 =
(4-5)r3c6 => r1c5<>4 stte
I did not know how to proceed straightforward from r9c5 to r9c8
so I included (unnecessarily) r9c1. Maybe just had to skip
(8-1)r9c1? Now I understand what I am writing! It seems logical!
Things became definitely clear. The first step is done!
Thank you ALL, guys, especially SteveG48, Leren, Eleven!
(It'll take some time all this (notation business) to shake down)

[Leren]

Alex_Popov_92 wrote : (4-2)r1c5 = (2-8)r9c5 = (8-1)r9c1 = (1-2)r9c8 = (5-1)r3c8 = (4-5)r3c6 => r1c5<>4 stte

I can improve your notation and logic a bit by writing your AIC as : (4-2) r1c5 = r9c5 - (2=1) r9c8 - (1=5) r3c8 - (5=4) r3c6 - 4 r1c5 => r1c5<>4

This is a discontinuous loop starting and ending with Weak links on 4 r1c5, which proves it False. I've eliminated r9c1 in this formulation.

Another formulation is (4=2) r469c5 - (2=1) r9c8 - (1=5) r3c8 - (5=4) r3c6 => - 4 r1c5. This has the "advantage" of starting end ending on Strong links, which some purists favour.

Leren

[Cenoman]

Code: Select all

 +--------------------+--------------------+------------------+
 | 15     24    6     | 15    b24    8     | 3    7     9     |
 | 1578   278  e158   | 1257   3     9     | 4    6    f15    |
 | 1457   3     9     | 157    6    a45    | 2    1-5   8     |
 +--------------------+--------------------+------------------+
 | 4579   1     2     | 58     478   345   | 6    349   347   |
 | 4789   478   38    | 6      1     2     | 5    349   347   |
 | 6      47    35    | 9      47    35    | 1    8     2     |
 +--------------------+--------------------+------------------+
 | 3      9    d18    | 28     5     6     | 7    124   14    |
 | 2      6     7     | 4      9     1     | 8    35    35    |
 |c18     5     4     | 3     b28    7     | 9    12    6     |
 +--------------------+--------------------+------------------+

(5=4)r3c6 - (4=8)r19c5 - (8=1)r9c1 - r7c3 = r2c3 - (1=5)r2c9 => -5 r3c8; stte

Cenoman

[bat999]

Code: Select all

.----------------.------------------.--------------.
| 15    24   6   | a15    24    8   | 3   7    9   |
| 1578  278  158 | a1257  3     9   | 4   6    15  |
| 1457  3    9   | a157   6     4-5 | 2  b15   8   |
:----------------+------------------+--------------:
| 4579  1    2   |  58    478   345 | 6   349  347 |
| 4789  478  38  |  6     1     2   | 5   349  347 |
| 6     47   35  |  9     47    35  | 1   8    2   |
:----------------+------------------+--------------:
| 3     9    18  | a28    5     6   | 7   124  14  |
| 2     6    7   |  4     9     1   | 8   35   35  |
| 18    5    4   |  3    b28    7   | 9  b12   6   |
'----------------'------------------'--------------'

(5=8)r1237c4 - (8=5)r3c8,r9c58 => -5 r3c6; stte