Solution to Tough Sudoku of 12/21/07 Final Page


The following is the final page of an illustrated solution for the sudoku.com.au tough puzzle of 12/21/07. The first page primarily attacked candidates 78 and their grid interactions. The second page included a mixed bag of steps. Perhaps the most significant being the use of a strong inference set (sis) generated from the recognition of an Almost Unique Rectangle (AUR). This page contains only very short steps. The only ones of any significant interest again use the concept of an AUR.

If this is your first visit to this blog, WELCOME!!

Previous blog pages may be helpful. Links to these pages are found to the right, under Previous Entries.

The illustrations of steps shown on this page will share this 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
Please be aware that, for me, strong and weak need not be mutually exclusive properties.

Since the puzzle is now significantly unlocked, the possible solution path selection herein is completely arbitrary. The steps below have been selected primarily for their potential as instuctive examples.


Step 3a - Hidden Pair 35


This deduction is primarily an excuse for publishing the current possibility matrix.

Hidden Pair 35


  • (Hidden Pair 35)r79c8 => r5c8≠5, r7c8≠9, r9c8≠2


Step 3b Prelude- Almost Unique Rectangle 18 r23c17


This is one of those instructive examples. Although there are many solution paths to take, this one leads to a quick and eventually powerful deduction.

AUR 18 r23c17


Above, I build a sis using AUR18 r23c17:

  • (1)r1c3=(Hidden Pair 18)r23c1-AUR(Hidden Pair 18)r23c7=[(1)r5c7=(8)r9c7]
  • => sis [(1)r1c3,(1)r5c7,(8)r9c7]
Note now that each member of the AUR sis can easily link to candidate 6. This leads to a quick elimination.


Step 3b - a very short Advanced Forbidding Chain - net


Adding the following native sis to the AUR sis makes quick work of (6)r9c3:

  1. (1=6)r8c3
  2. (8=6)r9c5
  3. (6)r5c7=(6)r9c7
In many ways the latter of these sis is the most important. It serves to truncate the AUR sis, as it is weakly linked to two of the AUR sis members. However, one really need not realize that. Nevertheless, it is this realizaton that immediately let me know that the tri-location AUR sis would act like a bi-location sis.

AUR 18 r23c17 chained


One can start the chain shown above at any one of the three native sis listed above. Here is one way:

  • (6=1)r8c3-(1)r1c3=*AUR[(6=8)r9c5-(8)r9c7=*AUR(1-6)r5c7=(6)r9c7]
  • => sis[(6)r8c3,(6)r9c5,(6)r9c7] => r9c3≠6
Although this particular 6 seems innocent enough, it quickly leads to another elimination and some solved cells.


Step 3c - Hidden Pair 68


HP 68


  • (Hidden Pair 68)r9c57 => r9c7≠2
  • => (2)r8c8 %Box
  • => (9)r8c2 %Cell
  • => (9)r7c9 %Box, thus UP 28


Step 4 - sideways skyscraper on candidate 9


Skyscraper 9s


  • (9): r4c7=r4c5-r1c5=r1c8 => r56c8,r3c7≠9
  • => (9)r1c8 %Box
  • => (4)r1c9 %Box, thus UP 30
The puzzle continues to move along quickly.


Step 5 - Very Common Y Wing Style - also Semi-remote Pair


The newly stronger 9's in Box 6, Column 7 provide the easy link to (4=9) at both r4c5, r6c1.

Y Wing Style 49


  • (4=9)r4c5-(9)r4c7=(9)r6c7-(9=4)r6c1 => r4c23,r6c4≠4
  • => (4)r4c5 %row, followed by a few more naked and hidden singles to UP 45


Step 6 - AUR 16 r78c36 - Again


In order to use this AUR, all that is required is that none of r78c36 be given.

AUR 16


  • Previously noted AUR sis(step 2j: (258)r7c3=(8)r8c6 => (8)r8c6 %AUR.
  • => Naked singles to end. UP 81
Above, one can treat the AUR sis just like any other sis. Thus, we have a different type of Hidden Single. Thus r8c6 is solved as 8 since it is the only value left in the Almost Unique Rectangle (16)r78c36 Strong Inference Set. This seems to be an efficient manner to complete this puzzle.


Solution


Solution


Notes


I had been reluctant to use Uniqueness in my solutions. I have since changed my mind. If one accepts that published puzzles have no more than one solution, then Uniqueness creates many implied weak links. One can thus derive Uniqueness Strong Inference Sets and use them just like any other derived sis. They fit nicely into all existing theories/techniques that examine sis interactions. One may need to note that no derived sis carry the guarantee of conjugacy. In other words, members of a derived sis generally do not form a weak inference set.

Since Uniqueness, as it is usually applied, means that a puzzle can have no more than one solution, it is a kind of mega weak link that is prevasive accross the puzzle. As such, it seems perhaps more consistent to build Uniqueness sis starting from individual Uniqueness weak inferences. For that reason, the illustrations of AUR's in this solution generally show a weak link between two Almost Hidden Pairs.

Because Uniqueness considerations lack the symmetric homogeniety of the other Sudoku rules, it seems problematic to assign depth and difficulty to them. This is further complicated by the fact that, for example, one need not even have the possibility of multiple solutions in order to execute Uniqueness sis steps, as demonstrated above. In other words, the necessary and sufficient conditions for a Uniqueness deduction seem completely assymmetic with the other sudoku rules. This is easily understood by example. Above, if any of r78c36 were given as 16, then one could not use AUR 16 on those cells. However, since they are not given, one is free to use that AUR 16 at any time one chooses. Thus, there is some sort of deductive difference in value between solved cells and given cells.

This difference is hardly unexpected. The statement

  • The Given puzzle has exactly one solution
is clearly relevant to the given puzzle, which is completely defined by only the given cells. This difference indicates that all the power of applying uniqueness exists at the puzzle start. It is pervasive throughout the puzzle solution, but always completely present from the very beginning. Harnessing this power at the very start is not well understood.

In my opinion, the complete power of Uniqueness considerations is much greater than generally recognized. Unfortunately, the ability to investigate this power theoretically is probably beyond me. Nevertheless, it is one of those items about Sudoku that I find truly interesting.




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

Merry Christmas to all!
25/Dec/07 10:25 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
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.