Page 4 of Proof of Diabolic Puzzle of 02/20/07


The following is page four of an illustrated proof for the Tough Sudoku of February 20, 2007.

The final page of this puzzle proof will be the next one.

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.

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 lines = strong links
  • red lines = weak links
  • black circles connected with black lines = multi-part strong sets
  • candidates crossed out in red = candidates proven false

If you have made it this far, you are over the hump!

Another Puzzle Mark-up


Puzzle Marks again

The puzzle mark-up above is not significantly more encouraging than the previous one. Here is what I see above:

  • All the 5s are circled. There is certainly an AUR elimination of at least a 3. This elimination does not look promising.
  • All the 6s are circled
  • All the 7s are circled
  • All the 8s but one are circled
  • All the 9s but one are circled
  • Of the cells that are bivalue, 1s are dominant
  • None of the underlined candidates look promising yet
  • The Almost remote pair-like quality of f4 = i1 = 19 seems a likely suspect
At this point, for me, most of the puzzle is completely committed to memory. This generally allows me to see many things all at once. Nevertheless, fatigue generally becomes a mind dulling factor here.

Once again, if one wants to go deep with the analysis (by deep I mean consider 10 or more strong sets at once), the puzzle is almost certain to unlock. I prefer more steps of less depth, as a very deep analysis tends to look exactly like a guess. The next elimination has been available for some time, but it required 8 or more strong sets before i5=7 occurred.

The final Complex Forbidding Chain


Final Complex Chain

I probably should have graphed this chain a bit more cleanly. For me, b1≠9 upon inspection. Here is what I see (but not exactly what I graphed):

  • h3=1 => i1≠1 => i1=9
  • f3=1 => h4≠1 => f4=9 ==>a4≠9 => b6=9
  • b3=1 => b9≠1 => b9=7 => b6≠7 => b6=9
Since I have considered all possible 1s in row 3, clearly b1≠9.

The graphic above as a forbidding chain:

  • i1=9 == i1=1 -- h3=1 ==1 {a4=7 == b6=7 -- b9=7 == b9=1 -- b3=1 ==1 f3=1 -- f4=1 == f4=9} -- a4=9 == b2=9 => b1,g2≠9.
Naturally, there are many ways to get to the same point considering the same or similar sets. The six strong sets considered in the illustration above are
  1. i1 = 19
  2. bfh3 = 1
  3. f4 = 19
  4. b9 = 17
  5. b6a4 = 7
  6. a24 = 9
Of these, only the 1s in row 3 are not indicated by the puzzle mark-up. Nevertheless, 1s have been key thus far in slowly taming this beast.

The puzzle is advanced to 39 cells solved using the following Unique Possibilities (UP 39):

  • g2=2, g8=9, i7=1, i1=9 - all % cell (naked singles)
  • e7 = 9% row, column & box

Finally, a standard straightforward Forbidding Chain


Solve the sixes!

Above, the newly strong 9s at ab2 make solving the sixes relatively easy:

  • f2=6 == b2=6 -- b2=9 == a2=9 -- a4=9 == a4=7 -- a9=7 == a9=4 -- h9=4 == h9=6 => f9≠6
After making this elimination, all the sixes are solved as each becomes unique in a large house. Unfortunately, after h9, d8, f2, b1 = 6 .... the puzzle is still resistant to easy techniques.

New Possibility Matrix

Current Possibility Matrix

The puzzle still is resistant to easy techniques. At this point, almost everywhere one may look will yield a fruitful chain.

Please visit the next blog page on this puzzle to see the puzzle finally solved!




1 Comment
Indicate which comments you would like to be able to see

hvzcatl skldjwvi ioxbfuqjp dcjmbkr tplsbh bhytlsuk pvmnukcow
23/May/07 9:26 AM
 |  |
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
GRD from Sydney
Laineyrb52 from MI
tyrion from Milan
Member's Birthdays Today
None Today.
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.