Chains and Link are fundamental to many solving strategies and in this article I hope to draw together the ideas from all chaining strategies to show how chains and links can be identified and used. From chains we can deduce eliminations - but to build chains we need some logical building blocks to get us from one point on the board to another so we can say 'ah ha!' that IS connected to that, therefore....
We have a number of ways to build chains from different types of links. These vary in sophistication and define the difference between strategies. The goal is to discover a pattern on the board which leads to a contradiction or a positive or negative confirmation of a candidate.
So lets dive in
In the first diagram I show a distribution of the candidates for number 3.
Drawn in blue and green are the possible links between certain candidates. The commonality is that some of these rows, columns and boxes there are only two candidates left. This means that one or other of these candidates will be the solution. We don't know which but each link described an EITHER / OR relationship. I've shown in green the links within a box, but often the link could be in a row or column AND a box, but it's not relevant which type of unit if the link is in both.
Links of this type are called Bi-location links, because the link is across two cells.
In the next diagram I have picked a random Sudoku from my solver examples and highlighted all the cells with two remaining candidates. These cells are extremely useful and will play a huge part in most chaining strategies. Because each yellow cell has only two candidates left, we know one or other will be the solution and exactly the same EITHER / OR relationship is present.
Such cells are known as Bi-value links. (Both bi-value and bi-location candidate pairs are also known as conjugate pairs (or complimentary pairs) but these are term I am moving away from).
I don't need to draw a link between each pair value in each cell, it is implied by the nature of the two candidates in each cell.
Either / Or
The beauty of a chain is that it will resolve into one of two states. In this diagram I have a simple 5 cell chain. The links could be across rows, columns, boxes (bi-location) or within a cell (bi-value), it doesn't matter. The point, that when we get to the solution either the bottom left part of the diagram will come true or the bottom right: that is, one set of cells will be ON (the solution) and set will be OFF (not the solution). Note that the ON/OFF alternates. Pretending to set the state of any of the chain candidates to ON or OFF automatically sets the state of the rest of the chain.
Chains, Loops and Nets
Chaining strategies can be divided into two types: whether they use a linear chain or a spreading network-like pattern. Linear chains have a start and end and do not branch out. A 'net'-like strategy such as 3D Medusa takes advantage of all the chains possible on the board. Obviously a net of chains contains lots of small linear chains in many combinations.
At any stage of the puzzle there should be several if not many possible chains. Only a few of them will be useful. Chains may not be connected, that is there is no bi-value or bi-location connection between two chains. Multi-Colouring takes advantage of two isolated chain nets. Forcing Chains take advantage of two or more linear chains to make an elimination.
Loops are linear chains with no start or end, or at least the start and end are arbitrary. The top left most candidate is used to express a definition of a Loop, which you will see as part of the solver output.
The Chaining Strategy Family
The table below groups the strategy according to the use of bi-value and bi-location links and whether linear or net-like chains are used. I also introduce Strong and Weak links in the next section.
The strategies listed to the right use only bi-location links. Effectively that means they stick to one number and ignore all other numbers. You can think of them as working within one plane or dimension.
Bi-value and Bi-Location links are not the end of the story. Chains that stick to only conjugate pairs are rather limited - but they are much easier to spot. You will be making good use of X-Wings, Y-Wings, XY-Chains and simple colouring to defeat moderately difficult puzzles. But to get the most out of chains we need to understand Alternating Inference Chains. These are well documented but first you should read the continuing article on Strong and Weak links.
Article created on 10-August-2011. Views: 34727 This page was last modified on 10-August-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 Inc, 2011