Standard Proof for April 3, 2007


The following is an illustrated proof for the Tough Sudoku of April 3, 2007.

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

This page illustrates only the deduced elimination steps that I choose to solve the puzzle. Although many other steps are possible, they are not shown, as to show every possible step is prohibitive in both time and space!

The information on the following blog pages may be helpful:

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(s)
  • 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.

They are included in the next illustration.


Naked Pair 14


Naked Pair 14

Above, the naked pair 14 is illustrated as a continuous nice loop, or wrap-around, forbidding chain. One more cell is thus solved.



Hidden Triple 356


Hidden Triple 356

the hidden triple illustrated above is not easy to find. One can also use the naked quad formed by candidates 1479 at cells g9, h789 to make the same eliminations. After making the eliminations, i2=9% column. (Hidden single, as only one location remains for 9 in column i).


Locked Candidate 7


Locked 7s

Illustrated above as a forbidding chain, or AIC, a few 7s are removed from box h5. There are many additional such steps possible here, including some coloring eliminations with candidate 8. I struggled a bit here, finding many possible chains. Most of them were fairly deep. I am not sure why the following two chains did not immediately jump out at me, but they are very similar, and as such, not hard to find.


Depth 4 forbidding chain using candidates 1378


First depth 4 chain

Illustrated above is a standard short forbidding chain, heavily indicated by the standard puzzle marks. One could write this chain as

  • i1=1 == i1=8 -- i5=8 == i5=3 -- a5=3 == a4=3 -- a4=7 == i4=7 => i4≠1
The next chain uses three of the same strong inferences.


Depth 4 chain using canidates 138


Second depth 4 chain

Illustrated above a very similar forbidding chain:

  • i1=1 == i1=8 -- i5=8 == i5=3 -- a5=3 == a4=3 -- a4=1 == gh4=1 => i6≠1
After making this elimination, i1=1% column, followed by a cascade of Unique Possibilities until 41 cells are solved (UP 41).


Naked Triple 256 followed by coloring with candidate 6


Two steps

Highlit above, the naked triple 256 at d247 justifies the eliminations shown in column d. After making these eliminations, a short forbidding chain with candidate 6 is available:

  • b7 == i7 -- i6 == f6 -- f3 == d2 => b2≠6
The puzzle is now reduced to a cascade of naked singles to the end.


Proof

  1. Start at 22 filled - the given puzzle. Unique Possibilities to 27 filled. (UP 27)
  2. Pair 14 at de5 forbids afi5,de4,ef6=1 and forbids f5=4 UP 28
  3. Hidden triple 356 at g8,i89 forbids g8=1, i89=19 UP 29
    1. Locked 7s at i46 forbidsg4 h46=7
    2. i4=7 == a4=7 -- a4=3 == a5=3 -- i5=3 == i5=8 -- i1=8 == i1=1 forbids i4=1
    3. i1=1 == i1=8 -- i5=8 == i5=3 -- a5=3 == a4=3 -- a4=1 == gh4=1 forbids i6=1 UP 41
    1. triple 256 at d247 forbids d1=5,d3=26,d9=5
    2. fc on 6's b7 == i7 -- i6 == f6 -- f3 == d2 forbids b2=6 UP 81
  • Sets: 2+3+1+4+4+3+3 = 20
  • Max depth 4 at steps 4.2 & 4.3
  • Rating: .01 + .03 + 3(.07) + 2(.15) = .55 suitably tough


Notes

Time constraints will likely make blog pages more rare for the near future. Please feel free to let me know if a particular puzzle is very interesting, as I may not have time to look at each day's puzzle for the next few days - but I would hate to miss a very interersting one!!




Be the first to post a Comment
Indicate which comments you would like to be able to see

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
Ms Thang from Al
Blackjay from Tas
dino from Inverloch
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.