Advanced Forbidding Chains

Many places with tips, tricks, techniques or help on how to solve sudoku puzzles that tackle forbidding chains fail to contemplate the next logical step. By example, we are going to do just that.

Tangled Chains

A few chains are here in front of me,

Rusty, old, mangled and tangled,

How to use them I cannot quite see,

Let us try something newfangled.

The following is a complete proof of the Tough puzzle of January 19, 2007. There are other ways to approach this very tough puzzle, but the following is the least deep that I could find. If this is your first visit to this blog, you may need to study previous blog pages first. Links to these pages are to the right under Previous Entries It is assumed that you understand the terms used here (see Definitions> and that you understand the general idea of forbidding chains (see Forbidding Chains 101 The Theory).

Starting Point

Tough puzzle of Jan. 19, 2007 at start

Eliminations available at start

Eliminations at start Note the following:

  • 5's in box e5 locked at ef4
    • forbids ab4=5
  • 38 in box e5 locked at de6
    • forbids (not 38) at de6
    • forbids hi6=8
  • 38 in column d limited to d68
    • forbids (not38) at d68
Hopefully the highlit cells help

Given the above eliminations, one should find the following Unique Possibilities:

  • a2 = 8% column & box
  • f7 = 4% row
  • c3 = 3% row
  • b5 = 3% row
  • e8 = 1% box & row

Possibility Matrix at 28 filled after noted eliminations

Tough puzzle of Jan. 19, 2007 at UP 28

If you are using a program such as Simple Sudoku, at this point the program is stuck. Recall that before puzzle mark-up, I check for easy coloring eliminations. Focus on the possible locations for candidate 9:

  • 9's in row 7 are limited to ai7
  • 9's in row 5 are limited to ahi5, thus
  • fc on 9's: i7 == a7 -- a5 == hi5
    • forbids i6 = 5
Note that cells hi5 and cell i7 both see cells i46. Of these, only i6 contains a potential 9 for elimination.

This elimination reveals:

  • i2 = 246
  • i3 = 24
  • i6 = 46, thus
  • Triple 246 at i236 forbids
    • i5 = 6
    • i7 = 2
    • i8 = 26
    • gh12 = 2 because within the triple, 2's are locked at i23
Now we also have:
  • a7 = 59
  • i7 = 59, thus
  • Pair 59 at ai7 forbids
    • e7 = 5

New Possibility Matrix at 28 filled

Possibility Matrix after pair 59 eliminations

At this point, I can find no more easy eliminations, so I print out the puzzle and mark it as noted in the previous blog, Forbidding Chains 102 The Practice.

Puzzle Mark up at 28 filled

Puzzle Mark up before chains

Typically, while marking up the puzzle I will make some notes as to points of interest in the puzzle. With the marks above, I noted that the 2 at e1 sees two very strong cells and is the endpoint of multiple strong links, so it probably will be part of a chain. I also noted that the 1 at b1 looks like an easy target for elimination, as it is seen by two strong cells and the endpoint of a strong link. The 7 at d3 is similar, but as it turns out is more problematic. The cell e3 seems very likely as part of some chains to me. This conclusion is deduced from a short study of the mark-up.

Here I find some short Y wing style chains that make some eliminations:

  • b1=2 == e1=2 -- e3=2 == e3=7 -- a3=7 == a3=1 forbids b1=1
  • d2=4 == d3=4 -- i3=4 == i3=2 -- e3=2 == e3=7 forbids d2=7
These two eliminations are easy, but they do not seem to significantly advance the puzzle. There are some other easy chains - a bit deeper - for example: (They need d2≠7)
  • i6=6 == i6=4 -- i3=4 == d3=4 -- d3=7 == d4=7 -- g4=7 == g5=7 forbids g5=6
  • g5=7 == g4=7 -- d4=7 == d3=7 -- d3=4 == i3=4 -- i6=4 == i6=6 -- h5=6 == {hi5=pair 89} forbids g5=68
This last one does solve the cell g5, but still the puzzle is resistant. Moreover, it requires a chain type not fully covered yet in the blog. Since this puzzle seems to need this type of chain....

More Forbidding Chain Theory

Recall a standard form of the forbidding chain is:

  • A == B -- C == D (A,B,C,D are Boolean variables)
Suppose for a moment that B is actually a forbidding chain. For the larger chain to be valid, B would have to be a Boolean variable that was either true or false and the following two statements would have to be valid:
  • A == B
  • B -- C
What this means in a puzzle is that an almost strong set within B is either a strong set by itself, or A is true. Also, that the forbidding chain B forbids C. In the last chain listed above:
  • g5=7 == g4=7 -- d4=7 == d3=7 -- d3=4 == i3=4 -- i6=4 == i6=6 -- h5=6 == {hi5=pair 89} forbids g5=8
the argument {hi5=pair 89} is:
  • Actually a forbidding chain: h5=8 == h5=9 -- i5=9 == i5=8
  • is true OR h5=6 since h5 is limited to 689
  • Forbids g5=8 if it is true
Thus this argument works perfectly well as a Boolean variable within the chain.

Back to the puzzle

Given this new theoretical tool, there are dozens of forbidding chains available. I cannot possibly list all of the ones that I find here becuase it would just take too long. You may very well find a better, quicker way to solve this puzzle than the one that I will illustrate. This new theoretical tool is one of many reasons that I like to use forbidding chains instead of other solving technqiues. With this new tool, one can use all techniques inside of forbidding chains. This makes for one powerful tool!

Depth 7 chain that significantly unlocks the puzzle

Depth 7 complex forbidding chain key:

  • Black lines = strong links
  • Red lines = weak links
  • Black circles = link endpoints
  • Green circle = elimination target
Strong sets:
  1. a34=1
  2. bh6=1
  3. hi6,h4=4
  4. eg7=2
  5. ei3=2
  6. gh4=2
  7. di3=4

Forbidding chain representation of this step:

  • a3=1 == a4=1 -- b6=1 == h6=1 -- h6=4 == {i6=4 == h4=4 -- h4=2 == g4=2 -- g7=2 == e7=2 -- e3=3 == i3=2} -- i3=4 == d3=4
    • forbids d3=1
The key to this chain is noticing the strong 4's in box h5 conspire with the two's to constrict the one's.

After making this elimination, we have the following:

  • a3 = 1% row thus UP 29
  • Hidden triple 124: bgh4=1, bh4=4, gh4=2 forbids
    • b4=79, g4=67, h4=69
  • g5 = 7% column and box thus UP 30 (presuming one has not yet done this)
  • Triple 257: b1=25, b2=257, b9=257 forbids
    • b6=7, b8=257

New possibility Matrix at 30 filled

At 30 filled forbidding chain on 7's Note these strong sets:

  • a48 = 7
  • cf6 = 7
Thus fc on 7's:
  • a8 == a4 -- c6 == f6
    • forbids f8=7
After this:
  • Locked 7's at ef9
    • forbids bc9=7
Thus b2 = 7% row. (UP 31.)

After solving this cell:

  • Hidden pair 47 at c68 forbids c6=6 and forbids c8=256
  • Locked 2's at bc9 forbids efh9=2

New puzzle at 31 cells filled

At 31 filled depth 4 wrap around chain Key as before. Note these strong sets:

  • be1 = 2
  • b9 = 25
  • ef9,f8 = 5
  • f82 = 2
This yields the forbidding chain shown. Note it is a wrap around chain, thus all the candidates circled green that lie on a weak link are forbidden, as all the weak links are now proven strong.

Forbidding chain representation:

  • e1=2 == b1=2 -- b9=2 == b9=5 -- ef9=5 == f8=5 -- f8=2 == f2=2
    • forbids e23=2 and forbids c9=5
The puzzle now falls apart nicely as follows:
  • e3=7%cell, d3=4%cell, i3=2%cell, f9=7%row, d4=7%row, c6=7%row, c8=4%cell, b8=9%cell
  • a7=5, b9=2, c9=6, a8=7, b1=5, c2=2, c5=5, d1=1, d2=5, h9=8, e9=5, f8=2, e7=3 all %cell
  • d8=8, d6=3, e6=8, g7=2, i7=9, i8=5, h1=6, g1=8, e1=2, i2=4, i5=8, i6=6, h5=9 all % cell
  • g4=1, h6=4, h4=2, h8=3, h2=1, g2=3, g8=6, b6=1, f6=9, a5=6, a4=9, b4=4, e4=6 all % cell
  • f4=5, f2=6, e2=9 all % cell

Completed puzzle

UP 81

Proof presented in my usual style

A proof for tough sudoku of 01 19 2007:

  1. Start at 23 filled - the given puzzle. Unique Possibilities to 27 filled. (UP 27).
    1. Hidden pair 38 at de6 forbids hi6=8, d6=7, e6=679
    2. Hidden pair 38 at d68 forbids d8=157 UP 28
    1. Locked 5's at ac5 forbids ab4=5
    2. fc on 9's: i7 = a7 -- a5 == hi5 forbids i6=9
    3. triple 246,24,46 at i236 forbids i56=6 and forbids i78,gh12=2
    4. Pair 59 at ai7 forbids e7=5
    5. a3=1 == a4=1 -- b6=1 == h6=1 -- h6=4 =={i6=4 == h4=4 -- h4=2 == g4=2 -- g7=2 == e7=2 -- e3=2 == i3=2} -- i3=4 == d3=4 forbids d3=1 depth 7 UP29
  2. Hidden triple 124 at bgh4 forbids b4=79,g4=67, h4=69 UP 30
    1. Triple 257 at b129 forbids b6=7, b8=257
    2. fc on 7's: a8 == a4 -- c6 == f6 forbids f8=7
    3. Locked 7's at ef9 forbids bc9=7 UP 31
    1. Hidden pair 47 at c68 forbids c6=6, c8=256
    2. Locked 2's at bc9 forbids efh9=2
    3. e1=2 == b1=2 -- b9=2 == b9=5 -- ef9=5 == f8=5 -- f8=2 == f2=2 forbids e23=2, c9=5 UP 81
  • Sets: 2+2+1+2+3+2+7+3+3+2+1+2+1+4 = 35
  • max depth 7
  • Rating: 3(.01)+6(.03)+3(.07)+.15+1.27 = 1.84 Truly tough!

Indicate which comments you would like to be able to see

Steve, that's amazing. My method is to fill in the obvious and the doubles within blocks. Then I fill in the rest of the numbers which gave me another unique possibility - then look for AURs and x- and y-wings. None of those that I could see. Then coloring gave me the limited possible sets of More...
 |  |
Cool strategy. I dont use it though, i just prefer to do it the long and hard way. Start off with a box, and do them 1 by 1. It make take 100 times longer, but i couldn't care less. Want free movies? Email me at
 |  |
Thanks for this work, Steve !
Your depth 7 chain is hard to understand, particularly for people who don't speak (and read) english perfectly (As you can see it, I'm french...) but I hope I'll succeed in applying this method on hard puzzles. I've tried to do it on a grid which resisted me for a More...
21/Dec/07 3:36 AM
 |  |
Your most certainly welcome, fellow Sudoku Addict!
21/Dec/07 9:50 PM
 |  |
I guess I don't understand everything yet, but in the above solution, part of it states that i6=4 == h4=4, which I thought meant that one of those had to hold true. But the final solution shows neither i6 nor h4 = 4?

Struggling to understand.
21/Jul/10 12:32 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
dasteph from Melbourne
Pipieye from Canada
Minevilleguy from canada
Member's Birthdays Today
meijse from Melbourne
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.