December 5, 2018

Post puzzles for others to solve here.

December 5, 2018

Postby ArkieTech » Wed Dec 05, 2018 11:43 am

Code: Select all
 *-----------*
 |97.|...|...|
 |18.|.29|64.|
 |..2|3..|...|
 |---+---+---|
 |2.8|4..|..3|
 |.1.|.8.|.6.|
 |4..|..6|1.8|
 |---+---+---|
 |...|..5|3..|
 |.36|17.|.94|
 |...|...|.56|
 *-----------*


Play/Print this puzzle online
dan
User avatar
ArkieTech
 
Posts: 3355
Joined: 29 May 2006
Location: NW Arkansas USA

Re: December 5, 2018

Postby SpAce » Wed Dec 05, 2018 12:46 pm

Code: Select all
.-------------------.-------------------------.------------------.
| 9     7      45  |    568    156      48    | c258    3   125  |
| 1     8      3   |  ea(5)7*  2        9     |  6      4   57   |
| 6   ea4(5)*  2   |    3      1-5  edba47#8* | c5789  d18  1579 |
:------------------+--------------------------+------------------:
| 2     6      8   |    4      59       1     |  59     7   3    |
| 3     1      579 |    2579   8        27    |  4      6   59   |
| 4     59     579 |    579    3        6     |  1      2   8    |
:------------------+--------------------------+------------------:
| 78    249    49  |    2689   469      5     |  3      18  127  |
| 5     3      6   |    1      7       b28    | c28     9   4    |
| 78    249    1   |    289    49       3     |  278    5   6    |
'------------------'--------------------------'------------------'

Almost XY-Wing:[54-47#8-75]r3c26,r2c4

XYW:[54-47-75] = 8r(3-8)c6 = r(8-13)c7 = 8r3c(8-6) = XYW:[54-47-75]

=> -5 r3c5, (-8 r3c6); stte
-SpAce-: Show
Code: Select all
   *             |    |               |    |    *
        *        |=()=|    /  _  \    |=()=|               *
            *    |    |   |-=( )=-|   |    |      *
     *                     \  ¯  /                   *   

"If one is to understand the great mystery, one must study all its aspects, not just the dogmatic narrow view of the Jedi."
User avatar
SpAce
 
Posts: 2671
Joined: 22 May 2017

Re: December 5, 2018

Postby SteveG48 » Wed Dec 05, 2018 5:17 pm

Code: Select all
 *-----------------------------------------------------------*
 | 9     7    b45    |b568   156 ab48    |c258   3     125   |
 | 1     8     3     | 57    2     9     | 6     4     57    |
 | 6     45    2     | 3     15   a478   | 5789  18    1579  |
 *-------------------+-------------------+-------------------|
 | 2     6     8     | 4     59    1     | 59    7     3     |
 | 3     1     579   | 2579  8     27    | 4     6     59    |
 | 4     59    579   | 579   3     6     | 1     2     8     |
 *-------------------+-------------------+-------------------|
 | 78    249   49    | 2689  469   5     | 3     18    127   |
 | 5     3     6     | 1     7     2-8   |d28    9     4     |
 | 78    249   1     | 289   49    3     | 278   5     6     |
 *-----------------------------------------------------------*


8r13c6 = (458)r1c346 - (5|8=2)r1c7 - (2=8)r8c7 => -8 r8c6 ; stte
Steve
User avatar
SteveG48
2019 Supporter
 
Posts: 4202
Joined: 08 November 2013
Location: Orlando, Florida

Re: December 5, 2018

Postby Ngisa » Wed Dec 05, 2018 8:40 pm

Code: Select all
+------------------+--------------------+---------------------+
| 9     7      45  | 568     156    48  | 258     3     c125  |
| 1     8      3   |i7-5      2      9  | 6       4      57   |
| 6     45     2   | 3      a15    h478 | 5789   b18    b1579 |
+------------------+--------------------+---------------------+
| 2     6      8   | 4       59     1   | 59      7      3    |
| 3     1      579 | 2579    8     g27  | 4       6      59   |
| 4     59     579 | 579     3      6   | 1       2      8    |
+------------------+--------------------+---------------------+
| 78    249    49  | 2689    469    5   | 3       18    d127  |
| 5     3      6   | 1       7     f28  | e28     9      4    |
| 78    249    1   | 289     49     3   | 278     5      6    |
+------------------+--------------------+---------------------+

(5=1)r3c5 - r3c89 = (1-2)r1c9 = r7c9 - (2=8)r8c7 - (8=2)r8c6 - (2=7)r5c6 - r3c6 = (7)r2c4 =>
- 5r2c4; stte

Clement
Ngisa
 
Posts: 1378
Joined: 18 November 2012

Re: December 5, 2018

Postby eleven » Wed Dec 05, 2018 11:43 pm

SteveG48 wrote:8r13c6 = (458)r1c346 - (5|8=2)r1c7 - (2=8)r8c7 => -8 r8c6 ; stte

Can't see that link. Why not 6 in r1c4 ?
eleven
 
Posts: 3082
Joined: 10 February 2008

Re: December 5, 2018

Postby SteveG48 » Thu Dec 06, 2018 1:48 pm

eleven wrote:
SteveG48 wrote:8r13c6 = (458)r1c346 - (5|8=2)r1c7 - (2=8)r8c7 => -8 r8c6 ; stte

Can't see that link. Why not 6 in r1c4 ?



The only 8 remaining in box 2 is r1c4. Perhaps I should have written (HT458)r1c346 .
Steve
User avatar
SteveG48
2019 Supporter
 
Posts: 4202
Joined: 08 November 2013
Location: Orlando, Florida

Re: December 5, 2018

Postby SpAce » Thu Dec 06, 2018 2:22 pm

SteveG48 wrote:
eleven wrote:
SteveG48 wrote:8r13c6 = (458)r1c346 - (5|8=2)r1c7 - (2=8)r8c7 => -8 r8c6 ; stte

Can't see that link. Why not 6 in r1c4 ?

The only 8 remaining in box 2 is r1c4. Perhaps I should have written (HT458)r1c346 .

Hi Steve! Thanks for the clarification. I have to admit that I fell into the same trap as eleven, but I now see how it works. The formed triple was hard to see because it was born out of multiple mothers so to speak (i.e. the different digits got locked for different reasons). I don't think adding the 'HT' helps at all in that regard, and I don't think it's even correct. Weak links should be inside the triple's cells in that case, but yours are external, which makes it act more like a naked triple. It's a combo of a NP(45, row) and a HS(8, box) which together form a row-based triple, but I don't think it can be classified as either HT or NT. If anything, NT is a closer match based on the weak links. In general, I think those HP/HT etc. markings are totally useless clutter anyway (but that's just my opinion). I don't really know if there's a good way to make this clearer, except writing it more explicitly:

(8)r13c6 = (45)r1c63&(8)r1c4 - (5|8=2)r1c7...

...but then again, (45)r1c63&(8)r1c4 <-> (458)r1c634, so your original was correct anyway (just a bit hard to decipher). I probably would have written it your way (and I have, in similar situations), so I can't complain about anything but my own blindness here :D

Edit: changed "eliminations" -> "weak links".
Last edited by SpAce on Fri Dec 07, 2018 12:11 am, edited 1 time in total.
User avatar
SpAce
 
Posts: 2671
Joined: 22 May 2017

Re: December 5, 2018

Postby blue » Thu Dec 06, 2018 4:23 pm

SteveG48 wrote:The only 8 remaining in box 2 is r1c4. Perhaps I should have written (HT458)r1c346 .

I think the term "pseudo naked triple" has been used in this kind of situation .... "PNT".

Side note: This is a situation where reversing the chain, would have made it more readable
    (8=2)r8c7 - (2=458)r1c367 - 8r1c4 = 8r13c6
... or the condensed version:
    (8=2)r8c7 - (2=8)r1c367 - r1c4 = 8r13c6
blue
 
Posts: 975
Joined: 11 March 2013

Re: December 5, 2018

Postby SpAce » Thu Dec 06, 2018 5:42 pm

blue wrote:
SteveG48 wrote:The only 8 remaining in box 2 is r1c4. Perhaps I should have written (HT458)r1c346 .

I think the term "pseudo naked triple" has been used in this kind of situation .... "PNT".

PNT -- that makes perfect sense! Thanks for that, blue!

Side note: This is a situation where reversing the chain, would have made it more readable
    (8=2)r8c7 - (2=458)r1c367 - 8r1c4 = 8r13c6

Yes, that's great! Here's another (less readable) variant:

    (8=2)r8c7 - r1c7 = (21-6)r1c95 = (6'48)r1c4,r13c6
... or the condensed version:
    (8=2)r8c7 - (2=8)r1c367 - r1c4 = 8r13c6

I'm not a fan of the condensed ALS form. I think your previous chain was the most readable one. I'd be tempted to write it like this, though, but it's just me (and I don't expect much sympathy :D ):

    (8=2)r8c7 - (2=45'8)r1c734 - 8.b2p(1=39)
User avatar
SpAce
 
Posts: 2671
Joined: 22 May 2017

Re: December 5, 2018

Postby SteveG48 » Thu Dec 06, 2018 7:07 pm

Thanks, Blue. I try to check for increased clarity by reversal, but I wasn't thinking this time.
Steve
User avatar
SteveG48
2019 Supporter
 
Posts: 4202
Joined: 08 November 2013
Location: Orlando, Florida

Re: December 5, 2018

Postby SpAce » Thu Dec 06, 2018 9:09 pm

SteveG48 wrote:Thanks, Blue. I try to check for increased clarity by reversal, but I wasn't thinking this time.

Actually, the significant bit was not the reversal of the chain. Blue's chain works just as well the other way around:

(8)r13c6 = r1c4 - (8=45'2)r1c637 - (2=8)r8c7

The improved clarity comes mostly from a different choice of nodes, not the reversal.
User avatar
SpAce
 
Posts: 2671
Joined: 22 May 2017

Re: December 5, 2018

Postby blue » Thu Dec 06, 2018 10:08 pm

SpAce wrote:Yes, that's great! Here's another (less readable) variant:

    (8=2)r8c7 - r1c7 = (21-6)r1c95 = (6'48)r1c4,r13c6

I would avoid this one in favor of something else, because
    1) The 4 in the final node, is superfluous.
    2) It isn't clear (without looking at the PM) that in final node, the 8 would be forced to c6 (in sight of the target: 8r8c6)
Either of these, seem easier to read:
    (8=2)r8c7 - r1c7 = (216-8)r1c459 = 8r13c6
    (8=2)r8c7 - r1c7 = (HT: <216>r1c459) - 8r1c4 = 8r13c6
---

SpAce wrote:Actually, the significant bit was not the reversal of the chain. Blue's chain works just as well the other way around:

(8)r13c6 = r1c4 - (8=45'2)r1c637 - (2=8)r8c7

It does. I'm pleasently surprised :!:
Nice catch :)
blue
 
Posts: 975
Joined: 11 March 2013

Re: December 5, 2018

Postby SpAce » Thu Dec 06, 2018 11:21 pm

blue wrote:
SpAce wrote:Yes, that's great! Here's another (less readable) variant:

    (8=2)r8c7 - r1c7 = (21-6)r1c95 = (6'48)r1c4,r13c6

I would avoid this one in favor of something else, because
    1) The 4 in the final node, is superfluous.

True. I actually saw and wrote it without the 4, but then changed it because it seemed to contradict what I said next about hating the condensed form (in this case two digits in three cells) :D I know it's fully correct that way, but I thought it might be a bit less confusing as a complete triple.

    2) It isn't clear (without looking at the PM) that in final node, the 8 would be forced to c6 (in sight of the target: 8r8c6)

True. However, it's also true about many if not most of our chains using ALS nodes. I'm the first to admit that it's annoying, and I used to complain about it when I was more of a newbie and had actual difficulty following such chains. Since then I've given in and considered seeing the PM as a required part of following any chains. I think it's a built-in weakness of Eureka, but I'm not really sure how it could be fixed as the nodes are considered sets instead of ordered tuples (and many times there's no known ordering anyway).

On my part I try to improve clarity by separating the linking digits with a ' and keeping the digits and cells in as logical an order as possible, so that most of the links could be followed without seeing the PM (not always possible), but from someone else's POV it probably has the opposite effect. I also use a comma to imply an ordered tuple when absolutely needed, but that seems to confuse some readers too.

Either of these, seem easier to read:
    (8=2)r8c7 - r1c7 = (216-8)r1c459 = 8r13c6

Much better! I don't know why I didn't see it.

    (8=2)r8c7 - r1c7 = (HT: <216>r1c459) - 8r1c4 = 8r13c6

Not to my liking. As I said before, I think those 'HT'-prefixes are unnecessary clutter. I hated them when I was (more of a) beginner, and I hate them now even more. For a manual solver such as myself, a small AHS is usually easier to see than a huge ANS, and it often results in a simpler chain notation too. Adding unnecessary prefixes totally defeats the latter benefit. I really don't see why they should be treated as some special cases. (I'm pretty sure my views here are in line with David's.)

Nice catch :)

Thanks!
User avatar
SpAce
 
Posts: 2671
Joined: 22 May 2017

Re: December 5, 2018

Postby eleven » Sat Dec 08, 2018 12:51 am

A note about the condensed form:

When you see an almost locked set (n cells, n+1 digits), you can look at it in different ways.
One is "if one digit is false, all the others must be true"
Another "there is a strong link between each 2 digits"

The second view corresponds to the condensed form.
eleven
 
Posts: 3082
Joined: 10 February 2008

Re: December 5, 2018

Postby SpAce » Sat Dec 08, 2018 2:47 am

eleven wrote:A note about the condensed form:

When you see an almost locked set (n cells, n+1 digits), you can look at it in different ways.
One is "if one digit is false, all the others must be true"
Another "there is a strong link between each 2 digits"

The second view corresponds to the condensed form.

Yes, these days I understand that. I have no problem with the logic or the correctness of that notation per se. It's just that the condensed form leaves more to check for the reader if one wants to validate the ALS. It's much easier if all the digits are listed already. The other thing is that with loops those bystander digits are actually important because they get locked and have their own eliminations. If the bystanders are not listed but their eliminations are, then things get really confusing (or worse, those eliminations may be missed). I'm fine with anything else, but I think they should always be listed with ALS loops. It also serves an educational purpose for newcomers, as I don't think those extra ALS eliminations in loops are self-evident for everyone (I know it wasn't for me).
User avatar
SpAce
 
Posts: 2671
Joined: 22 May 2017


Return to Puzzles