December 12, 2019

Post puzzles for others to solve here.

December 12, 2019

Postby ArkieTech » Thu Dec 12, 2019 11:14 am

Code: Select all
 *-----------*
 |...|..3|.4.|
 |..5|.14|.76|
 |.2.|5..|1..|
 |---+---+---|
 |...|.3.|5.9|
 |...|6.5|...|
 |4.3|.9.|...|
 |---+---+---|
 |..9|..6|.1.|
 |36.|24.|9..|
 |.7.|3..|...|
 *-----------*

.....3.4...5.14.76.2.5..1......3.5.9...6.5...4.3.9......9..6.1.36.24.9...7.3.....


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

Re: December 12, 2019

Postby StrmCkr » Thu Dec 12, 2019 11:55 am

Code: Select all
+-----------------+-------------------+-----------+
| 1679  1-9   167 | (79)  2     3     | 8  4   5  |
| 89    3     5   | 89    1     4     | 2  7   6  |
| 78    2     4   | 5     6     8(7)  | 1  9   3  |
+-----------------+-------------------+-----------+
| 167   18    167 | 4     3     28(7) | 5  28  9  |
| 279   (89)  27  | 6     (78)  5     | 4  3   1  |
| 4     5     3   | 1     9     28    | 7  6   28 |
+-----------------+-------------------+-----------+
| 25    4     9   | 78    578   6     | 3  1   28 |
| 3     6     8   | 2     4     1     | 9  5   7  |
| 125   7     12  | 3     58    9     | 6  28  4  |
+-----------------+-------------------+-----------+

singles to the end,
Grouped Discontinuous Nice Loop: 9 r1c2 -9- r1c4 -7- r3c6 =7= r4c6 -7- ALS:r5c25 -9- r1c2 => r1c2<>9
Some do, some teach, the rest look it up.
stormdoku
User avatar
StrmCkr
 
Posts: 1431
Joined: 05 September 2006

Re: December 12, 2019

Postby Mauriès Robert » Thu Dec 12, 2019 12:27 pm

Hi,
Resolution with TDP :
- With conjugated tracks (Th4 TDP part 2):
P(7r1c4) = {7r1c4, 8r3c6, 8r5c5, 9r5c2, 1r1c2, ...} et P(9r1c4) = {9r1c4, 1r1c2, ...} => r1c2=1, stte.
- With contradiction (Th1 TDP part 2):
P(9r1c2) = {9r1c2, 7r1c4, 8r3c6, 8r5c5, 9r5c2,...} => contradiction in c2 => -9r1c2, stte.
-With anti-track (Th2 TDP part 2)
P'(9r5c1) = {9r5c2, 8r5c5, 8r7c4, 9r2c4, ...} => -9r2c1, stte.
Robert
Last edited by Mauriès Robert on Thu Dec 12, 2019 1:03 pm, edited 2 times in total.
Mauriès Robert
 
Posts: 594
Joined: 07 November 2019
Location: France

Re: December 12, 2019

Postby Ngisa » Thu Dec 12, 2019 12:50 pm

Code: Select all
+--------------------+-------------------+---------------+
| 1679    c19    167 |b79     2      3   | 8    4     5  |
| 89       3     5   | 89     1      4   | 2    7     6  |
| 78       2     4   | 5      6      78  | 1    9     3  |
+--------------------+-------------------+---------------+
| 167      18    167 | 4      3      278 | 5    28    9  |
| 279     d89    27  | 6     e8-7    5   | 4    3     1  |
| 4        5     3   | 1      9      28  | 7    6     28 |
+--------------------+-------------------+---------------+
| 25       4     9   |b78    a578    6   | 3    1     28 |
| 3        6     8   | 2      4      1   | 9    5     7  |
| 125      7     12  | 3      58     9   | 6    28    4  |
+--------------------+-------------------+---------------+

(7)r7c5 = (79)r71c4 -(9)r1c2 = (9-8)r5c2 = (8)r5c5 => - 7r5c5; stte

Clement
Ngisa
 
Posts: 1411
Joined: 18 November 2012

Re: December 12, 2019

Postby SpAce » Thu Dec 12, 2019 1:13 pm

Code: Select all
.-------------------.-------------------.-----------.
| 1679    1-9   167 | c(9'7)  2     3   | 8  4   5  |
| 89      3     5   |   89    1     4   | 2  7   6  |
| 78      2     4   |   5     6   c(7)8 | 1  9   3  |
:-------------------+-------------------+-----------:
| 167     18    167 |   4     3    b278 | 5  28  9  |
| 279   a[9'8]  27  |   6   a[8]7   5   | 4  3   1  |
| 4       5     3   |   1     9    b28  | 7  6   28 |
:-------------------+-------------------+-----------:
| 25      4     9   |   78    578   6   | 3  1   28 |
| 3       6     8   |   2     4     1   | 9  5   7  |
| 125     7     12  |   3     58    9   | 6  28  4  |
'-------------------'-------------------'-----------'

(98)r5c25 = r46c6 - (8=79)r1c4 => -9 r1c2; 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 12, 2019

Postby rjamil » Thu Dec 12, 2019 2:02 pm

Code: Select all
 +-----------------+-------------------+-----------+
 | 1679  1-9   167 | 79    2     3     | 8  4   5  |
 | (89)  3     5   | [8]9  1     (4)   | 2  7   6  |
 | 78    2     4   | 5     6     7[8]  | 1  9   3  |
 +-----------------+-------------------+-----------+
 | 167   18    167 | 4     3     27[8] | 5  28  9  |
 | 27-9  (89)  27  | 6     7[8]  (5)   | 4  3   1  |
 | 4     5     3   | 1     9     2[8]  | 7  6   28 |
 +-----------------+-------------------+-----------+
 | 25    4     9   | 78    578   6     | 3  1   28 |
 | 3     6     8   | 2     4     1     | 9  5   7  |
 | 125   7     12  | 3     58    9     | 6  28  4  |
 +-----------------+-------------------+-----------+

W-Wing: 89 @ r2c1 r5c2 ERI 8 @ b2r2c6 and ERI 8 @ b5r5c6 => -9 @ r1c2 r5c1; stte
(Ofcourse, my solution is not what others expectations.)

Code: Select all
 +-----------------+--------------------+-----------+
 | 1679  (19)  167 | 79    2     3      | 8  4   5  |
 | (89)  3     5   | [8]9  1     (4)    | 2  7   6  |
 | 78    2     4   | 5     6     7[8]   | 1  9   3  |
 +-----------------+--------------------+-----------+
 | 167   (18)  167 | 4     3     27[-8] | 5  28  9  |
 | 279   9-8   27  | 6     7[8]  (5)    | 4  3   1  |
 | 4     5     3   | 1     9     2[8]   | 7  6   28 |
 +-----------------+--------------------+-----------+
 | 25    4     9   | 78    578   6      | 3  1   28 |
 | 3     6     8   | 2     4     1      | 9  5   7  |
 | 125   7     12  | 3     58    9      | 6  28  4  |
 +-----------------+--------------------+-----------+

XY-Wing Transport: 189 @ r14c2 r2c1 ERI 8 @ b5r5c6 and ERI 8 @ b2r2c6 => -8 @ r5c2 r4c6

R. Jamil
Last edited by rjamil on Thu Dec 12, 2019 2:27 pm, edited 1 time in total.
rjamil
 
Posts: 774
Joined: 15 October 2014
Location: Karachi, Pakistan

Re: December 12, 2019

Postby SpAce » Thu Dec 12, 2019 2:10 pm

Hi rjamil,

rjamil wrote:W-Wing: 89 @ r2c1 r5c2 ERI 8 @ b2r2c6 and ERI 8 @ b5r5c6 => -9 @ r1c2 r5c1; stte

That's a nice move, but it's an extended W-Wing as it has four strong links:

(9=8)r5c2 - r5c5 = r46c6 - r3c6 = r2c4 - (8=9)r2c1 => -9 r1c2,r5c1

Basic wings only have three, which is part of their definition. Nothing wrong with the logic anyway -- just a slight inaccuracy with the name.
User avatar
SpAce
 
Posts: 2671
Joined: 22 May 2017

Re: December 12, 2019

Postby rjamil » Thu Dec 12, 2019 2:45 pm

Hi SpAce,

SpAce wrote:Hi rjamil,

rjamil wrote:W-Wing: 89 @ r2c1 r5c2 ERI 8 @ b2r2c6 and ERI 8 @ b5r5c6 => -9 @ r1c2 r5c1; stte

That's a nice move, but it's an extended W-Wing as it has four strong links:

(9=8)r5c2 - r5c5 = r46c6 - r3c6 = r2c4 - (8=9)r2c1 => -9 r1c2,r5c1

Basic wings only have three, which is part of their definition. Nothing wrong with the logic anyway -- just a slight inaccuracy with the name.

First of all, many thanks for the appreciation.

As far as extended and/or grouped wordings are concerned, found always confusing/misunderstanding its correct usage. If one or two ERI(s) is/are used as strong/weak link(s) then may I always use extended prefix for all moves?

By the way, just look into my another solution using basic XY-Wing with same ERIs links as Transport move. Is it also called extended XY-Wing Transport or Grouped XY-Wing Transport or simple XY-Wing Transport?

R. Jamil
rjamil
 
Posts: 774
Joined: 15 October 2014
Location: Karachi, Pakistan

Re: December 12, 2019

Postby SpAce » Thu Dec 12, 2019 4:04 pm

rjamil wrote:As far as extended and/or grouped wordings are concerned, found always confusing/misunderstanding its correct usage.

"Grouped" is a possible property of the core pattern nodes/links themselves, while "Extended" and "Transport" both mean there are extra nodes. So, they're quite different and both (or maybe all?) can be used at the same time. Thanks for reminding, by the way. The correct name (imho) for your move is actually "Extended Grouped W-Wing". It's "Extended" because there's an extra link in the middle of the pattern, and it's "Grouped" because of the grouped (EmR) strong link in box 5.

If one or two ERI(s) is/are used as strong/weak link(s) then may I always use extended prefix for all moves?

No. Only if the total number of strong links is more than three (in a wing), and the extension is in the middle of the pattern (i.e. the end points and the elimination logic remain normal). You can have EmRs in non-extended wing patterns as well. In both cases you should use the "Grouped" prefix if any of the EmRs are indeed grouped (i.e. not simple bilocation strong links). If the extension is not in the middle but appended to one end of a normal pattern, then it's "Transport" instead of "Extended". That said, I don't think there's much of an official standard for these.

By the way, just look into my another solution using basic XY-Wing with same ERIs links as Transport move. Is it also called extended XY-Wing Transport or Grouped XY-Wing Transport or simple XY-Wing Transport?

Good question. I'd just call it what you did, i.e. "XY-Wing Transport". "Grouped" would refer to nodes in the wing pattern itself, and XY-Wing can't even be grouped (only applicable to bilocation links, and it has none). So, even though the "Transport" part has a grouped node, I wouldn't put it in the name. It's also not extended because (as per my definition) it would mean that there's at least one additional link between the XY-Wing end points (which would make it an XY-Chain, and it wouldn't make any sense to call it "Extended XY-Wing").

PS. Maybe "Stretched" would be more descriptive than "Extended"?

PPS. Don't get confused by the "Grouped" in StrmCkr's solution. There's nothing grouped there. It's probably there just because Hodoku calls ALS nodes "grouped" as well, which is very unfortunate.
User avatar
SpAce
 
Posts: 2671
Joined: 22 May 2017

Re: December 12, 2019

Postby Cenoman » Thu Dec 12, 2019 5:34 pm

Code: Select all
 +--------------------+-------------------+-----------------+
 |  1679   19   167   |  79   2     3     |  8    4    5    |
 |  89     3    5     |  89   1     4     |  2    7    6    |
 |  78     2    4     |  5    6     78    |  1    9    3    |
 +--------------------+-------------------+-----------------+
 |  167    18   167   |  4    3     278*  |  5    28*  9    |
 |  279    89  c27    |  6   a8-7   5     |  4    3    1    |
 |  4      5    3     |  1    9     28*   |  7    6    28*  |
 +--------------------+-------------------+-----------------+
 |  25*    4    9     |  78   578*  6     |  3    1    28*  |
 |  3      6    8     |  2    4     1     |  9    5    7    |
 |  125*    7  b12    |  3    58*   9     |  6    28*  4    |
 +--------------------+-------------------+-----------------+

DP(258)b56789 [BUG-lite+3] using externals
(8)r5c5 == (2)r9c3 - (2=7)r5c3 => -7 r5c5; ste
Cenoman
Cenoman
 
Posts: 2975
Joined: 21 November 2016
Location: France

Re: December 12, 2019

Postby Leren » Thu Dec 12, 2019 8:06 pm

Code: Select all
*----------------------------------------*
| 1679 e19 167 |f79   2    3   | 8 4  5  |
| 89    3  5   |g9-8  1    4   | 2 7  6  |
| 78    2  4   | 5    6   a78  | 1 9  3  |
|--------------+---------------+---------|
| 167   18 167 | 4    3   b278 | 5 28 9  |
| 279  d89 27  | 6   c78   5   | 4 3  1  |
| 4     5  3   | 1    9   b28  | 7 6  28 |
|--------------+---------------+---------|
| 25    4  9   | 78   578  6   | 3 1  28 |
| 3     6  8   | 2    4    1   | 9 5  7  |
| 125   7  12  | 3    58   9   | 6 28 4  |
*----------------------------------------*

(8) r3c6 = r46c6 - r5c5 = (8-9) r5c2 = r1c2 - r1c4 = (9) r2c4 => - 8 r2c4; stte

Leren
Leren
 
Posts: 5118
Joined: 03 June 2012

Re: December 12, 2019

Postby pjb » Thu Dec 12, 2019 11:09 pm

Code: Select all
 1679   b19      167    |a79     2      3      | 8      4      5     
 89      3       5      | 89     1      4      | 2      7      6     
 78      2       4      | 5      6      8-7    | 1      9      3     
------------------------+----------------------+---------------------
 167    c18      167    | 4      3     c278    | 5     c28     9     
 279     89      27     | 6      78     5      | 4      3      1     
 4       5       3      | 1      9      28     | 7      6      28     
------------------------+----------------------+---------------------
 25      4       9      | 78     578    6      | 3      1      28     
 3       6       8      | 2      4      1      | 9      5      7     
 125     7       12     | 3      58     9      | 6      28     4     

(7=9)r1c4 - (9=1)r1c2 - (1=827)r4c268 => -7 r3c6; stte

Phil
pjb
2014 Supporter
 
Posts: 2672
Joined: 11 September 2011
Location: Sydney, Australia


Return to Puzzles