<1248> Exocet in a Chute

Everything about Sudoku that doesn't fit in one of the other sections

<1248> Exocet in a Chute

Postby daj95376 » Mon Aug 11, 2014 7:22 pm

Time to review an alternate Exocet in the same grid.

Code: Select all
 +-----------------------------------------------------------------------+
 |  9      8      124    |  7      125    1235   |  6      345    12345  |
 |  7      3      124    |  8      1256   1256   |  9      45     1245   |
 |  12     5      6      |  9      4      123    |  1278   378    12378  |
 |-----------------------+-----------------------+-----------------------|
 |  8      124    127    |  5      126    12467  |  3      9      1467   |
 |  1234   6      1237   |  124    8      9      |  147    457    1457   |
 |  14     9      5      |  14     3      67     |  78     2      678    |
 |-----------------------+-----------------------+-----------------------|
 |  2345   7      238    |  6      25     245    | R248   Q1      9      |
 |  1246   124    9      | Q1234   7     R8      |  5      346    234    |
 |  12456 B124   B128    |  1234   9      1245   |  2478   34678  23478  |
 +-----------------------------------------------------------------------+
 # 118 eliminations remain

 ### -1248- QExocet   Base = r9c23   Target = r8c4==r7c8,r7c7==r8c6

Values <1> & <8> fail to be JExocet acceptable because of the number of intersecting lines (IL). However, direct links in the chute are present from the base cells to a target cell for each value.

Code: Select all
   CL1         CL2         CL3
 +-----------------------------------+
 |  .  .  1  |  .  1  1  |  .  .  1  |
 |  .  .  1  |  .  1  1  |  .  .  1  |
 | S1  .  .  |  .  .  1  | S1  .  1  |   <- IL1
 |-----------+-----------+-----------|
 |  .  1  1  |  .  1  1  |  .  .  1  |
 | S1  .  1  | S1  .  .  | S1  .  1  |   <- IL2
 | S1  .  .  | S1  .  .  |  .  .  .  |   <- IL3
 |-----------+-----------+-----------|
 |  .  .  .  |  .  .  .  | R.  1  .  |
 | ~1 ~1  .  | Q1  .  .  |  .  .  .  |
 | ~1 =1 =1  | ~1  . ~1  |  .  .  .  |
 +-----------------------------------+

 1r9c23 - r9c46 = 1r8c4   Base/Target equivalence in chute

 secondary equivalence    r8c4==r7c8=1   (sufficient to crack puzzle by itself)

Code: Select all
   CL1         CL2         CL3
 +-----------------------------------+
 |  .  8  .  |  .  .  .  |  .  .  .  |
 |  .  .  .  | S8  .  .  |  .  .  .  |   <- IL1
 |  .  .  .  |  .  .  .  | S8  8  8  |   <- IL2
 |-----------+-----------+-----------|
 | S8  .  .  |  .  .  .  |  .  .  .  |   <- IL3
 |  .  .  .  |  .  8  .  |  .  .  .  |
 |  .  .  .  |  .  .  .  | S8  .  8  |   <- IL4
 |-----------+-----------+-----------|
 |  .  . ~8  |  .  .  .  | R8  .  .  |
 |  .  .  .  | Q.  .  8  |  .  .  .  |
 |  .  . =8  |  .  .  .  | ~8 ~8 ~8  |
 +-----------------------------------+

 8r9c3 - r7c3 = 8r7c7    Base/Target equivalence in chute

 secondary equivalence   r7c7==r8c6=8   (sufficient to crack puzzle by itself)

Values <2> and <4> pass the JExocet contraint for a SL between the target cells and having two ILs. However, there is a direct link in the chute that make the target cells equivalent for these values. Thus, they are actually eliminated from the base/target/secondary cells.
[Edit: combined information.]

Code: Select all
   CL1         CL2         CL3
 +-----------------------------------+
 |  .  .  2  |  .  2  2  |  .  .  2  |
 |  .  .  2  |  .  2  2  |  .  .  2  |
 | S2  .  .  |  .  .  2  | S2  .  2  |   <- IL1
 |-----------+-----------+-----------|
 |  .  2  2  |  .  2  2  |  .  .  .  |
 | S2  .  2  | S2  .  .  |  .  .  .  |   <- IL2
 |  .  .  .  |  .  .  .  |  .  2  .  |
 |-----------+-----------+-----------|
 | ~2  . ~2  |  .  2  2  | R2  .  .  |
 | ~2 ~2  .  | Q2  .  .  |  .  .  2  |
 | ~2 =2 =2  | ~2  . ~2  | ~2  . ~2  |
 +-----------------------------------+

 2r8c4 = r5c4 - r5c1 = r3c1 - r3c7 = 2r7c7                  SL using JExocet S-cells
                                   = 2r7c7 - r8c9 = 2r8c4   Discontinuous Loop

 2r7c7 <--> 2r8c4

Code: Select all
   CL1         CL2         CL3
 +-----------------------------------+
 |  .  .  4  |  .  .  .  |  .  4  4  |
 |  .  .  4  |  .  .  .  |  .  4  4  |
 |  .  .  .  |  .  4  .  |  .  .  .  |
 |-----------+-----------+-----------|
 |  . ~4  .  |  .  .  4  |  .  .  4  |
 | S4  .  .  | S4  .  .  | S4  4  4  |   <- IL1
 | S4  .  .  | S4  .  .  |  .  .  .  |   <- IL2
 |-----------+-----------+-----------|
 | ~4  .  .  |  .  .  4  | R4  .  .  |
 | ~4 ~4  .  | Q4  .  .  |  .  4  4  |
 | ~4 =4  .  | ~4  . ~4  | ~4 ~4 ~4  |
 +-----------------------------------+

 4r8c4 = X-Wing[r56c14] - r5c7 = 4r7c7                   SL using JExocet S-cells
                               = 4r7c7 - r8c89 = rr8c4   Discontinuous Loop

 4r7c7 <--> 4r8c4

Bottom Line: the values that fail for a JExocet work in the Exocet, and the values that work for a JExocet fail in the Exocet.

_
Last edited by daj95376 on Fri Aug 22, 2014 11:10 pm, edited 1 time in total.
daj95376
2014 Supporter
 
Posts: 2624
Joined: 15 May 2006

Re: <1248> Exocet in a Chute

Postby Leren » Mon Aug 11, 2014 9:38 pm

One point to note is that for non-JExocet digits you can't make S cell eliminations if they are proven true in the base.

This puzzle is a case in point. The base resolves to <18> but r5c9 = 1 and r6c9 = 8.

Leren
Leren
 
Posts: 5020
Joined: 03 June 2012

Re: <1248> Exocet in a Chute

Postby blue » Mon Aug 11, 2014 10:34 pm

You can make eliminations in the S columns themselves, though -- for this puzzle at least.
From r8c4=1 and r7c7=8, follows r56c4<>1, and r36c7<>8.

It's a silly comment, but what the hell ...
blue
 
Posts: 975
Joined: 11 March 2013

Re: <1248> Exocet in a Chute

Postby daj95376 » Fri Aug 22, 2014 11:12 pm

Addendum: JExocet meets Discontinuous Loop

In my head post, I mentioned that <24> presented acceptable JExocet patterns but contained equivalency links that made <24> unacceptable. I've now merged each value's information into one chain, and updated the head post. (nothing earth-shaking here.)

_
daj95376
2014 Supporter
 
Posts: 2624
Joined: 15 May 2006


Return to General