Easter Sudoku Proof


The following is an illustrated proof for the Tough Sudoku of April 8, 2007. The main techniques that I used to solve this puzzle are forbidding chains, which are called at most sudoku sites Alternating Inference Chains (AIC).

Happy Easter to everyone! I would feel guilty publishing a blog page on Easter Sunday, but it is only Saturday at my location on this orb.

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 grouping of strong inference 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.

One can solve all the fives.

Although there are many steps available after the Unique Possibilities, this proof will only illustrate the steps this proof needs.

Although I only show a few steps here, the search for more complex techniques usually begins for me only after exhausting the easy stuff. After solving the puzzle, to make the proof as short as possible, I can easily see which of the steps that I found were not required.


Locked candidate 8


Locked 8s

Above, the 8s in box h5 are limited to only gi5. Since gi5 exists in row 5, the possible 8s in row 5 and outside of box h5 cannot exist. You may note that there is a hidden pair 68 at gi5. I did not need the hidden pair in this proof, but there are other proofs possible that would likely use this hidden pair. The beginning of such an alternate path will be placed at the end of this proof.

There are quite a few very pretty wrap around, or continuous nice loop chains available here. Since my time was short, I choose not to detail those and instead picked the chain above for this proof. Probably, a better proof is possible considering some of the chains more strongly indicated by my standard puzzle marks


Almost Hidden Pair used in a chain


Almost Hidden Pair 68

Above, I use the Almost Hidden Pair 68 at f13 in a chain. The chain could be written as:

  • f2=81 == {Hidden Pair 681 at f13} -- f3=7 == d3=7 -- d7=7 == i7=7 -- i6=7 == i6=1 -- i2=1 == c2=1
  • => c2≠8
  • Also, since the chain uses the Locked 8s at f123, => e12,d23≠8
The latter eliminations are just a reflection of being efficient, and generally I would have made those eliminations first.

The logic behind this step is as follows:

  • f2=8 or f13 is restrained to only candidates 6,8 as there would be only 2 locations left for both 6,8 in column f.
  • The rest of the chain is standard fare
To convince yourself of the validity of the elimination, see what happens to the sets indicated on the illustration if c2=8. Feel free to ask me if you cannot follow the logic, as I may detail it better when I have more time.

After making the eliminations noted above, 3 cells can be solved:

  • c3 = 8% column and box (hidden single)
  • g3 = 9% cell
  • i3 = 4% cell


Standard depth 5 chain using candidates 679


Final step

Illustrated above is a standard forbidding chain:

  • i9=9 == i7=9 -- i7=7 == d7=7 -- d3=7 == f3=7 - f3=6 == a3=6 -- a8=6 == g8=6
  • => i9≠6
This chain is not hard to find, as it considers some of the same strong inferences used in the previous chain. It is probably not the shortest chain possible to unlock this puzzle, but it does the trick nonetheless. After eliminating the 6 from i9, the puzzle is reduced to a cascade of Hidden and Naked singles (Unique Possibilities) to the end.


Proof

  1. Start at 22 filled - the given puzzle. Unique Possibilities to 27 filled. (UP 27)
    1. Locked 8s at gi5 forbids def5=8
    2. f2=8 == hp 68 at f13 -- f3=7 == d3=7 -- d7=7 == i7=7 -- i6=7 == i6=1 -- i2=1 == c2=1
      • forbids c2=8 and forbids d23,e12=8
  2. i9=9 == i7=9 -- i7=7 == d7=7 -- d3=7 == f3=7 -- f3=6 == a3=6 -- a8=6 == g8=6
    • forbids i9=6 UP 81
  • sets: 1 + 6 + 5 = 12
  • Max depth 6 at step 2.2
  • Rating: .01 + .63 + .31 = .95, high rating due to one long step!


Notes

An alternative path partially detailed below. After making all the standard easy eliminations, the following chains are possible as a starting point for probably a more efficient, meaning lowered rating, proof:

  • a8=6 == g8=6 -- g5=6 == g5=8 -- g1=8 == f1=8 -- f1=6 == f3=6
    • forbids a3=6
  • c3=8 == c2=8 -- c2=1 == i2=1 -- i6=1 == i6=7 -- i7=7 == d7=7 -- d3=7 == f3=7 -- f3=6 == c3=6
    • forbids: c3=34, c2=34, i79=1, d458=7, f3=489 (wrap around chain) UP 28
Now, perhaps a depth 3 or depth 4 chain(s) and some locked candidates, maybe a pair depending on path, can unlock the puzzle. I would love to see alternative proofs for this one, as I am certain that better ones are possible than the one illustrated above.




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

Not better, but different:

1) Start at 22 filled. Unique possibilities to(UP) 27.
2a) hidden pair 68 at gi5, forbids bc5=6, def5=8, g5=1239, i5=179
2b) locked 8'a at f123, forbid d23e12=8
2c) locked 2's at de2, forbid e1=2.
2d) i2 = 1 == {hidden pair 12 at gh1} -- g1=8 == f1=8 More...
10/Apr/07 4:02 AM
 |  |
Thanks Dave!

I always enjoy alternate paths!

10/Apr/07 9:50 AM
 |  |
xgjndempr vgkzleso zxinjh uhlwo jltzpbo guwzbx znsltdm
27/Apr/07 6:07 PM
 |  |
xfywd cjedy mqey irhegdwta gdtasmiv jsfhcp fmoti http://www.adpuh.lvary.com
27/Apr/07 6:08 PM
 |  |
ulwthojq rxgc mtoce ihtka zihbmut lonpuxm sanydm
11/Nov/07 8:11 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
Ippy from Australia
drnancy from Mill Creek, WA
Deena Priyam from India
Member's Birthdays Today
linda from melbourne aust
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.