Solver App for Android and iPhone
Strategies for Number Puzzles of all kinds
Page Index
Basic Strategies
Tough Strategies
Diabolical Strategies
Extreme Strategies
Deprecated Strategies
The Logic of Sudoku Order Str8ts Book 1
Order Now! Order Str8ts Book 2
Order Now!

AIC with ALSs

A Locked Set is a group of cells (that can all see each other) of size N where the number of candidates in those cells is equal to the size of the group. That is N cells contain N candidates. A solved cell or a clue is a Locked Set where N=1, but such a cell is not useful. The smallest useful Locked Set is a Naked Pair (where N=2) followed by a Naked Triple (N=3).

An Almost Locked Set (ALS) is N cells containing N+1 candidates. In the context of Alternating Inference Chains in this solver, an ALS is of size N=2 and the number of different candidates in those cells is 3, although bigger ALS groups are possible. So an ALS of size 2 will be a two Conjugate Pairs plus one other candidate.

ALS in an AIC fragment
ALS in an AIC fragment
This might be easier to explain with a diagram. The highlighted yellow cells D7 and D8 contain [2,7] and [2,7,9] respectively. If D8 didn't contain a 9 the two cells would be a Naked Pair. The extra 9 makes these two cells an ALS.

While solving a puzzle I am hunting around for Inference Chains and perhaps I start with the bi-value cell J2 containing [2,9]. I pretend to turn ON the 2 which turns OFF the 9 in that cell. The only other 9 is in J8 which I turn ON. Looking up the column the 9 in D8 must be turned OFF. This creates an on-the-fly Naked Pair.

Now, a Naked Pair eliminates candidates in the row or column (or box) it is aligned on so we can use this elimination property as part of our chain. This is the trick! By removing the 9 in D8 we fix 2 and 7 into those two cells so we can look along the row at other 2s and 7 and turn them OFF. This I do in cell D3. From there I can continue the inference chain.

AIC with ALS
AIC with ALS : Load Example or : From the Start
A real life example now. This chain contains an ALS on the cells {G6,H6} (I used squiggly brackets to denote ALS as opposed to square brackets for Grouped Cells). 9s in row H are the entry point. We turn 9 ON in H2 which turns OFF the 9 in H6 - the extra candidate that makes the ALS an ALS. This gives us a Naked Pair of [5,7] that points up column 6 turning OFF the 7 in F6 and the chain continues.

Ultimately we use Nice Loop Rule 2 to place 4 in A4
AIC on 4 (Discontinuous Alternating Nice Loop, length 12):
- Contradiction: When 4 is removed from A4 the chain implies it must be 4 - other candidates 2/5 can be removed

Off Chain eliminations
Off Chain eliminations : Load Example or : From the Start

This second example uses a chain to kill off-chain candidates, which is Nice Loop Rule 1. The ALS is in {F1,F4} and consists of [1/3/8] and [1/3] respectively. We turn off the extra candidate, 8 in F1 to enable the Naked Pair to be formed.
Alternating Inference Chain
AIC Rule 1: -3[B5]+6[B5]-6[B8]+6[D8]-8[D8]+8[D1]-8[F1]+3{F1|F4}-3[F3]+3[B3]-3[B5]
- Off-chain 6 taken off B9 - weak link: B5 to B8
- Off-chain candidates 1 taken off cell D8, link is between 6 and 8 in D8
- Off-chain 8 taken off F2 - weak link: D1 to F1
- Off-chain 8 taken off F3 - weak link: D1 to F1
- Off-chain 8 taken off J1 - weak link: D1 to F1
- Off-chain 3 taken off B4 - weak link: B3 to B5


Your Name/Handle

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

Your comment or question

Please enter the
letters you see:
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.
Talk Subject Comments
Comments here pertain to corrections to the text, not the subject itself
Article created on 12-April-2008. Views: 32910
This page was last modified on 1-February-2012.
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, 2012