If this is your first visit to these strategies, do read the article on Digit Forcing Chains which begins the explanation of this type of strategy and continues to with Cell Forcing Chains. Digit and Cell Forcing Chains are simpler to identify.
If we are forcing a result from a single cell we are obliged to look at all the numbers in that cell. But the logic can be flipped on its head by considering all of X on a unit. If you have three 8s on a row, you know one of those will be the solution. It may be possible to force an elimination by finding a target which can't be true no matter which of those 8s will it turns out to be.
I do know of some Dual Unit Forcing Chains but they are part of such nightmarish puzzles I don't want to use them for examples. They are pretty rare considering that Alternating Inference Chains are sought after first. So we are going to plunge straight into a Triple.
The example to the right is not too entangled. We have three 2s in row 1 on A2, A3 and A5. If any of these is the solution (and one has to be) we can show that F2 cannot be a 2. The 2 in A2 does this fine for the first chain.
The second chain, purple, from A3 means no 2 in H3 which forces a 2 in H2. Therefore 2 in F2 is knocked off. It's a short chain: +2[A3]-2[H3]+2[H2]-2[F2].
The final chain, in red, obliges B6 to be a 3 removing 3 as an option in F6. The only other 3 in row F is on F2. This chain can be expressed as +2[A5]-2[B6]+3[B6] -3[F6]+3[F2]-2[F2]
I don't pretend for a minute this is a human friendly solution to a puzzle but it is fascinating to find an example. This is a rare Quad Unit Forcing Chain, based on all the 8s in column 3. It removes the 8 in C5.
Exemplars
Here are two puzzles found by Klaus Brenner with two Unit Forcing Chains and no other strategies apart from Hidden Singles.
Andrew, are you going to ever have a offline/ online version that can be bought??
My concern , like others, is that 5 years or so down the road, u will lose interest in maintaining your databases and we will be unable to access this wonderful solver I'm sure that there are many people like me that are more than willing to pay for your solver and doc- I plan to be doing this the 20+ years
regards, bob
Andrew Stuart writes:
Yes I do plan to make one. It's on the back burner at the moment because of all the improvements I am making to the online version, but also because Windoze programming is my weakest skill - so it takes a lot longer. I also have to consider how best to roll out upgrades to an off-line version. Quite a complex project. But many have asked so hopefully as soon as I can.
Comments
... by: robert
are you going to ever have a offline/ online version that can be bought??
My concern , like others, is that 5 years or so down the road, u will
lose interest in maintaining your databases and we will be unable to access this wonderful solver
I'm sure that there are many people like me that are more than willing
to pay for your solver and doc- I plan to be doing this the 20+ years
regards,
bob