dailysudoku.com Forum Index dailysudoku.com
Discussion of Daily Sudoku puzzles
 
 FAQFAQ   SearchSearch   MemberlistMemberlist   UsergroupsUsergroups   RegisterRegister 
 ProfileProfile   Log in to check your private messagesLog in to check your private messages   Log inLog in 

XY-chain interruption?

 
Post new topic   Reply to topic    dailysudoku.com Forum Index -> Solving techniques, and terminology
View previous topic :: View next topic  
Author Message
Johan



Joined: 25 Jun 2007
Posts: 206
Location: Bornem Belgium

PostPosted: Thu Aug 16, 2007 10:37 pm    Post subject: XY-chain interruption? Reply with quote

After staring quite some time at the grid, i used this step to do some eliminations on <6>. It's a kind of an xy-chain with an interruption in it.
Starting with <2> in R6C4 I must end with <6> in the upper right corner of Box 6 for having two <6>-pincer cells, that results in elimination of both <6>'s in R6C7 and R4C5.

R6C4=2 => R6C1=8 and now the chain is interrupted, but the <8> in R6C1 forces <2> in R4C1, because of the naked [15] pair, so i can proceed the xy-chain ending with <6> in R4C9.
Looking at the sudopedia site, i didn't find any feedback on this, perhaps it's just a forcing chain?


Code:

+-----------------+---------------+-------------------+
| 7   6     49    | 3    159  159 | 1458   2    18    |
| 3   49    2     | 8    159  7   | 1456   456  16    |
|15-8 158   58    | 26   26   4   | 9      7    3     |
+-----------------+---------------+-------------------+
|C25  3457  34567 | 59  25-69 8   | 2367   1   D26    |
| 9   35    356   | 7    1256 15  | 236    8    4     |
|B28  78    1     |A26   4    3   |2-67    9    5     |
+-----------------+---------------+-------------------+
|15-8 13578 35789 | 1459 37   26  | 124568 3456 12689 |
| 6   2     35789 | 1459 37   59  | 1458   345  189   |
| 4   1359  359   | 159  8    26  | 1256   356  7     |
+-----------------+---------------+-------------------+
Back to top
View user's profile Send private message Send e-mail
TKiel



Joined: 22 Feb 2006
Posts: 292
Location: Kalamazoo, MI

PostPosted: Fri Aug 17, 2007 12:03 am    Post subject: Reply with quote

Johan,

I'm no expert but I don't believe that is an XY-chain, so it must be some other type of chain.

Do you know what a W-wing is? Because there is one that performs the exact same eliminations that your mystery chains does. Bi-value cells <26> that are not peers connected by a strong link on one of the values <2>. Eliminates all 6's in cells that see both of the bi-value cells.
Back to top
View user's profile Send private message
Steve R



Joined: 24 Oct 2005
Posts: 289
Location: Birmingham, England

PostPosted: Fri Aug 17, 2007 12:37 am    Post subject: Reply with quote

Yes it’s a forcing chain. This particular type is called an als chain (or sometimes just an xy chain). In an xy chain proper the nodes are cells with two candidates but, when you think about it, the logic is the same if, instead, a node consists of an almost locked set: a set of n cells in a subhouse with n + 1 candidates.

The chain itself can be written in several ways. Here you could take the als as r367c1 with candidates (1258). Written as a nice chain it becomes:

-6- r6c4 -2- r367c1 -5- r4c1 -2- r4c9 -6-

The chain turns into a nice loop if you add {r4c5, r6c7} at both ends.

Alternatively you could take the als as r37c1 with candidates (158), giving

-6- r6c4 -2- r6c1 -8- r37c1 -5- r4c1 -2- r4c9 -6-

Sudopedia, verbose as ever, calls it an als xy chain

Steve
Back to top
View user's profile Send private message
Johan



Joined: 25 Jun 2007
Posts: 206
Location: Bornem Belgium

PostPosted: Fri Aug 17, 2007 11:34 pm    Post subject: Reply with quote

Tracy,

Because my knowledge of W-wing is limited I must thank you for the useful info you gave me, it took me quite some time to grasp this matter.


Steve,

Thanks for defining this chain
Like Tracy mentioned the W-wing had exactly the same eliminations as the ALS xy-chain, so they must share a common factor, maybe the strong links on <6>?


Johan
Back to top
View user's profile Send private message Send e-mail
Steve R



Joined: 24 Oct 2005
Posts: 289
Location: Birmingham, England

PostPosted: Sat Aug 18, 2007 2:19 pm    Post subject: Reply with quote

Well, the w- wing and the als chain serve the same purpose here but they are very different in chain terms.

An als chain consists entirely of weak links – more precisely weakly inferential links. These are indicated by a minus sign. So, if a and b are cells or alss

a -2- b

stands for “2 is a candidate for a and b but can be entered in at most one of them.” This arises when a and b share a house.

The w-wing is also a nice chain but it contains just one strong – more precisely strongly inferential – link. Strongly inferential links are written with an equals sign. Thus

a =2= b

stands for “2 is a candidate for a and b and it must be entered into one of them.” A link of this sort typically arises when a and b are of conjugates with respect to 2. Note, however, that conjugacy gives rise to two quite distinct links: a -2- b (weakly inferential) and a =2= b (strongly inferential).

The w-wing involved here, written as a nice chain, would be

-6- r4c9 -2- r5c7 =2= r5c5 -2- r6c4 – 6-

The meaning of the chain is exactly what the w-wing says: one of r5c5 and r5c7 must contain 2 so one of r4c9 and r6c4 must contain 6.

If this seems like gibberish, I suggest you work a little with als chains to begin with. By the way, the crucial characteristic of nice chains is that they are double implication: they are to be read from right to left as well as left to right.

Steve
Back to top
View user's profile Send private message
Display posts from previous:   
Post new topic   Reply to topic    dailysudoku.com Forum Index -> Solving techniques, and terminology All times are GMT
Page 1 of 1

 
Jump to:  
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum


Powered by phpBB © 2001, 2005 phpBB Group