Almost Locked Sets Proof for March 17, 2007


The following is an illustrated proof for the Tough Sudoku of March 17, 2007. This proof illustrates the power of using Almost Locked Sets within a Forbidding Chain, also called an Alternating Inference Chain or AIC.

You may need to refer to previous blog pages to understand this proof. Links to these pages are found to the right, under Previous Entries.

At many times during this illustration, there are other steps available. It is not the goal of this page to show every possible step, but rather to illustrate steps that, taken together, unlock this puzzle.

The information on the following blog pages is required to understand this page:

The illustrations of forbidding chains used in this proof will share the same key:

  • black line = strong inference performed upon a set (strong link)
  • red line = weak inference performed upon a set (weak link)
  • black containers define a partioning of a strong set
  • candidates crossed out in red = candidates proven false
Strong and weak need not be mutually exclusive properties.

Puzzle at start


Puzzle start

A few Unique Possibilities are available here:

  • b6 = 3% cell (naked single)
  • b2 = 8% column (hidden single unique in column)

Locked candidate with 5s

Locked 5s

Illustrated above, candidate 5 is locked within column e at e46. Since e46 is entirely within box e5, 5 outside of column e but within box e5 would yield no 5s in column e. Thus, the 5s indicated are eliminated. Clearly, these eliminations lead to a few more solved cells, starting with d6 = 8% cell.

Almost Naked Triple

Almost triple

The short chain above uses the Almost triple 169 at efg2 within a chain:

  • h4=3 == e4=3 -- e2=3 ==1 {triple 169 at e21f2g2} -- i2=9 == i5=9 => i5≠3
The idea here is that both e24 cannot be 3.
  • If e4≠3 then h4=3 => i5≠3
  • If e2≠3 then efg2 contains triple 169 => i2≠9 => i5=9 => i5≠3
This is typical fare for using a naked Almost Locked Set within a forbidding chain, or AIC.

Alternate step: Almost Hidden Pair

Almost Hidden Pair

As noted previously in this blog, Hidden sets and Naked sets coexist. This is also usually the case with Almost Hidden Sets and Almost Naked Sets. Illustrated above:

  • h4=3 == e4=3 -- e2=3 ==1 {Hidden pair 231 at ai2} -- i2=9 == i5=9 => i5≠3
Again, the idea here is that both e24 cannot be 3:
  • If e4≠3 then h4=3 => i5≠3
  • If e2≠3 then ai2 contains Hidden Pair 23 => i2≠9 => i5=9 => i5≠3
This clearly illustrates the co-existence of conditional Naked and Hidden sets.

Most solvers at other sites prefer the first ALS chain, using the naked triple. I happen to prefer the latter ALS chain, using the hidden pair.

Another View of the same elimination

Another way to view the same elimination can be found. I will not illustrate this one graphically, but instead will just present the chain:

  • {fc on 3s: h4 == e4 -- e2 ==1 i2} ==1 a2=3 -- a2=2 == i2=2 -- i2=9 == i5=9 => i5≠3
This representation uses an Almost Coloring technique. It relies upon the fact that a2=3 or a2≠3.
  • If a2=3 => i2=2 => i5=9 =>i5≠3
  • If a2≠3 => coloring on 3s(side ways skyscraper at eh4,ei2) => i5≠3

There is some value in understanding all three ways to look at this elimination. If nothing else, one has many potential ways to find the elimination.

Locked Candidate with 3s

Locked 3s

Above, the newly Locked 3s at h45 (or, if you prefer, i23) prove h1≠3. This elimination starts a cascade of Unique Possibilities to the end.

Solution

Done

Proof

  1. Start at 23 filled - the given puzzle. Unique Possibilities to 25 filled. (UP 25).
  2. Locked 5's at e46 forbids d56f45=5 UP 33
    1. h4=3 == e4=3 -- e2=3 =={hidden pair 23 at ai2} -- i2=9 == i5=9 forbids i5=3
    2. Locked 3s at i23 forbids h1=3 UP 81
  • Sets:1 + 4 + 1 = 6
  • Max depth 4 at step 3.1
  • Rating: .01 + .15 + .01 = .17
Using Almost Locked Sets makes this puzzle Almost trivial!




4 Comments
Indicate which comments you would like to be able to see

Please feel free to visit previous blog pages, especially yesterdays - to put this one into perspective.
The goal, generally, has been to provide relevant proof pages to techniques already briefly introduced.
As such, yesteday was a good study on many ideas, whilst today is only a good study on a very limited number of ideas.
17/Mar/07 12:14 AM
 |  |
Well done Steve!

After studying your blog for 17Apl, I think I have finally understood 'Almost locked sets'. It has taken me 12 months!
17/Mar/07 3:10 AM
 |  |
Steve!

Thanks again for these pages! After 3 years of non-study and sticking with if..then I'm taking another serious look at the techniques. Still need more practice even with relatively simple stuff such as Ywing styles, but looks like I'm making at least a little bit of progress. May be More...
07/Aug/10 6:39 AM
 |  |
There must be useful ALSs everywhere. I made progress with {ALS bch9=2469} -- b1=4 == g1=4 --- g1=9 == f1=9 -- f1=5 == f9=5 => f9 <> 2,6,9, which forces e8 = 9; before being able to remove a 3 from i3 using an X-chain and the LC on 1 (at h45). I continued with a chain involving the ALS { More...
22/May/11 4:03 PM
 |  |
Please Log in to post a comment.

Not a member? Joining is quick and free.
As a member you get heaps of benefits.
Click Here to join.
You can also try the Chatroom (No one chatting right now - why not start something? )
Check out the Sudoku Blog     Subscribe
Members Get Goodies!
Become a member and get heaps of stuff, including: stand-alone sudoku game, online solving tools, save your times, smilies and more!
Previous Entries

07/Jan/07 Ywing Styles
06/Jan/07 Definitions
31/Dec/06 Y wings
27/Dec/06 Coloring
11/Dec/06 Beginner Tips
Check out all the Daily Horoscopes
Welcome our latest Members
ColinMcLaren from Brunswick Melbourne
chach31 from israel
greig300 from Adelaide
Member's Birthdays Today
Deb from Calamvale, Jonjo from Brisbane
Friends currently online
Want to see when your friends are online? Become a member for free.

Network Sites

Melbourne Bars Find the Hidden Bars of Melbourne
Free Crossword Puzzles Play online or print them out. 2 new crosswords daily.
Jigsaw Puzzles Play online jigsaw puzzles for free, with new pictures everyday
Sliding Puzzle Play online with your own photos
Flickr Sudoku Play sudoku with pictures from Flickr
Kakuro Play Kakuro online!
Wordoku Free Wordoku puzzles everyday.
Purely Facts Test your General Knowledge.
Pumpkin Carving Pattern Free halloween pumpkin carving patterns.