SudokuWiki
SudokuWiki.org
Strategies for Popular Number Puzzles

Weak and Strong Links

This article continues from Introducing Chains and Links. Recommended reading if you have not done so first.

Here I clarify certain terms scattered about the strategies and put them in one place for easy reference and well as grow the theory on how chains are formed. These terms include Weak and Strong Links, or more accurately, links with weak or strong "inference". They were introduced in the X Cycles strategy but have wide application.

Figure 1
Figure 1

In this diagram I am showing two short chains. In fact, only the top one using 3's is a chain since all the component candidates are conjugate pairs. The problem with the bottom chain is that there are three 4s in row F. The red line indicates the potential link that fails because the 4s on the row are not bi-location 4s.
Figure 2: Two Chains on 4
Figure 2: Two Chains on 4
But, there is another way of thinking about chains and it directly relates to the ON/OFF states that all the candidates must have.

In the diagram I show the same two chains. The start cell is essentially the same. In the upper 3s chain the start cell D2 is ON which causes the 3 in B2 to go off. Now, since there are two remaining 3s in row B the consequence of the OFF state in B2 ends. We don't know which of B4 or B7 to turn on.

But if we change the start state to OFF, as in J3 this causes F3 to be ON. When a candidate is turned on it turns OFF ALL the other candidates in all units it can see - including the 4 in F8. So there is a consequence and the chain can continue to H8.
Figure 3: Nice Loop on 9
Figure 3: Nice Loop on 9
A fuller example: Figure 3 marks out a classic X-Wing. X-Wings always contain four numbers arranged in a rectangle such that two opposite sides contain just two remaining candidates of a certain number, in this case 9. Such pairs are minimal 1-link chains, or simply bi-location pairs. If our X-Wing was a 4-link loop containing just conjugate pairs then it wouldn't be interesting - there would be no eliminations.

In Figure 3 the two pairs are at [B3,B8] and [H3,H8]. From a pair it is possible to draw two separate inferences, called weak and strong:
  1. If one cell is the solution then the other cannot be - link of weak inference
  2. If one cell is NOT the solution the other must be - link of strong inference
In other words, a strong link is where:

!A => B (if not A, then B) OFF implies ON

Weak links are the opposite:

A => !B (if A, then not B) ON implies OFF

Back to the diagram. Consider the columns 3 and 8 which are part of the X-Wing and are marked with thin double lines. Because there are more than two 9s in the columns we can't draw a strong inference. We can only draw a weak inference, that is, if one of those 9s is the solution all the other 9s are eliminated.

Strong can be Weak


So far the rough and ready distinction between Strong and Weak links is to do with how many candidates are in a unit — namely, Strong links are formed when only two are present, while three or more imply a Weak link. However, this is not the case.

From a strong link we can infer that
if not A, then B

From a weak link, we can infer only that
if A then not B, C, D according to how many candidates there are in a unit

However, the following is also true that for a strong link:
if A, then not B

So, some Strong links can be reversed to give us a "link with weak inference" - if the occasion calls for it. It is perfectly logical to assert on a unit with two candidates of X both:

  • If Not A then B (!A =>B)
  • If A then Not B (A => !B)

In Figure 4 we have an array of 6 candidates on a board. A number of strategies can show that the 6 on H9 can be eliminated. I have coloured some cells using Singles Chains Rule 4 which link up some pairs on the board - either all of the yellow cells will be 6 or all of the cyan cells will be 6. Since H9 can see C9 (yellow) and H5 (cyan) it cannot be a 6 since it can see cells with both colours.

Figure 4: Strong Link with Weak Inference
Figure 4: Strong Link with Weak Inference

To take the Nice Loop example from X-Cycles, we can draw links I have done with blue lines. Our aim is to show that the circled 6 on H9 is eliminated because there are two weak links forming a discontinuity. That is all correct and invokes Nice Rule 3. But take a look at the red link [C4,A5]. It is a Strong Link with Weak Inference. It is a Strong Link because there are only two 6s in the box but we are using it to imply that if A5 is a 6 then C4 is not and if C4 is a 6 then A5 is not.

Constructing Exotic Links

This, amazingly, is not the end of links in chains. Apart from bi-value and bi-location links there are other more exotic ways to form a link in a chain.

You should read the article on Grouped X-Cycles to see how a group of candidates in several cells can be used to form a link.

Also the following can be made into links:



Comments

Talk Subject Comments
Comments here pertain to corrections to the text, not the subject itself

... by: HuXTUS

Tuesday 7-Mar-2023
>> Also, Almost Locked Sets can be made into links. This method needs to be documented but it is present in the solver.

Is this note obsolete?
The article about ALS is perfect.
Andrew Stuart writes:
Correct. Now updated the last paragraph. Thanks - [Del]
Add to this Thread

... by: ElrATiff

Saturday 12-Sep-2015
Some typo: There is link to "Singles Chains Rule 5", but Rule 5 is combined with Rule 4 so was rejected.
Andrew Stuart writes:
Updated, thank-you! Knew that rule change would repercuss for months - [Del]
Add to this Thread

... by: tbssic

Monday 31-Mar-2014
In Figure #2,,, paragraph 3,,,, you say,,,, "But if we change the start state to OFF, as in J3 this causes F4 to be ON." There is no candidate in F4. Possibly you mean F3???
Andrew Stuart writes:
Correct, changed now. thanks! - [Del]
Add to this Thread

... by: JackG

Sunday 1-Sep-2013
This page appears to be have been around a while but on figure 3 are there not some "9"s missing from columns 3 & 8 to follow the explanation?

Also on Figure 4 could one make a strong link between C4/G4 and a weak link between G4 and G9 thus eliminating G9 also at the discontinuity of the weak links there by getting a second elimination?

I enjoy the challenge of your web site
Andrew Stuart writes:
Hi Jack
Quite correct. Looks like the text and diagrams got amended at different times, but I've added 9s to the columns to match the ideas in the text. Thanks for the prod.
Andrew - [Del]
Add to this Thread

... by: Roman

Monday 19-Mar-2012
Should not the 3 -chain in Fig. 2 be a 4-chain to match the
the text describing the outcomes in Fig. 2.
Andrew Stuart writes:
Fixed the text, appreciated! - [Del]
Add to this Thread
Article created on 6-December-2008. Views: 137184
This page was last modified on 30-December-2011.
All text is copyright and for personal use only but may be reproduced with the permission of the author.
Copyright Andrew Stuart @ Syndicated Puzzles, Privacy, 2007-2024
Playwire