Solver App for Android and iPhone
Strategies for Number Puzzles of all kinds


Page Index
Solvers
Puzzles
Basic Strategies
Tough Strategies
Diabolical Strategies
Extreme Strategies
Deprecated Strategies
Str8ts
Other
Order Str8ts Book 1
Order Now! Order Str8ts Book 2
Order Now!

AICs with Exotic Links

We have seen with ALSs and Unique Rectangles that it is possible to use some tricks to increase the availability of links to make chains. Going beyond simple alternating single digits is very useful for all chaining strategies. This particular one was inspired by an example puzzle sent in by Lane Walker in the USA. It actually had 45 solutions but an interesting Cell Forcing Chain nevertheless.

The Pattern
The Pattern

In this pattern the chain has reached (or started at) G6 on number 6 and the 6 is ON. Up column 6 are two more 6s which are turned OFF by G6. Under normal circumstances we could chain +6[G6] -6[B6] +6[B4] -6[D4] and that would be the end of it. The chain misses D6 even though we know that D6 must be OFF as well. Because we know that D1 is forced ON and the chain can continue.

My correspondent was quite correct to follow this logic but there is a branching here impossible to capture in the very linear way Alternating Inference Chains are built. AIC's can't do two OFFs to make a link.
The pattern considers four candidates N in a specific relationship to the input and output. The four candidates must be spread across two boxes and be in a different box from the input. If they were less separated they would be toggled en mass an you wouldn't need to employ this pattern. Also, two candidates N need to 'see' a third for an exit (output) and the other two need be a strong link, that is, B4 and B6 are the only two 6s in row B.

When and if I can fully implement Forcing Nets I think this sort of mini-loop or temporary branch will naturally come out in the wash, this sort of link probably being the simplest possible way a 'net' like pattern works, as opposed to the linear AIC. So it is easy to imagine extending this further to include more candidates and bigger patterns. For now the pattern is in the solver and some examples are now provided. In Ruud's top 50k stock I found 169 examples, so decent enough.

Example 1
Example 1 : Load Example or : From the Start

In example 1 an AIC is discovered on J3 using 8. Assuming it to be 8 we show by the chain that it cannot be so - therefore 8 can be removed.

+8[J3] -8(XW[-E3/-B3+B2-E2]) +8[E1]-7[E1]+7[E5]-7[G5] +7[G4]-8[G4]+8[G1|G2]-8[J3]

The example is orientated the same way as the pattern above. The input J3 picks up the four cells in BE23 and because of the number of 8s elsewhere in rows B and E, forces E1 to be ON for number 8. The chain continues back to J3.

I wondered what to call this pattern but I am a bit stumped. However I need a code in the results to draw the pattern correctly on the solver so I chose XW for X-Wing since this is a four cell formation, but it isn't quite the same. Any suggestions, happy to hear them.
Example 2
Example 2 : Load Example or : From the Start

Example 2 is more spread out. It starts on F6 with 5 being ON. This goes straight into the pattern with the four cells BH56 and spitting out an +5 on B9

+5[F6]
-5(XW[-B6/-H6+H5-B5]) +5[B9]
-9[B9]+9[E9]-9[F8]+9[F6]-5[F6]
- Contradiction: When F6 is set to 5 the chain implies it cannot be 5 - it can be removed

You can see there are only three 5s in row B and two (the strong link) in row H.
Go back to URs in AICsContinue to Digit Forcing Chains


Comments

Your Name/Handle

Email Address - required for confirmation (it will not be displayed here)

Your comment or question

Please enter the
letters you see:
arrow
Enter these letters Remember me


Please keep your comments relevant to this article.
Email addresses are never displayed, but they are required to confirm your comments. When you enter your name and email address, you'll be sent a link to confirm your comment. Line breaks and paragraphs are automatically converted - no need to use <p> or <br> tags.
Comments Talk
Article created on 29-April-2020. Views: 1382
This page was last modified on 29-April-2020.
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, 2020