Uniqueness Deduction for Tough Sudoku of 08/07/08


The following illustrated proof for the Tough Sudoku of August 7, 2008 employs a very small group of Sudoku techniques, tips and tricks: Hidden Pairs, Locked Candidates, and a Uniqueness deduction.

Previous blog pages may be helpful. Links to these pages are found to the right, under Previous Entries. This list is getting long, so specifically, one may want to refer to the following previous blog pages:

Many steps not illustrated are possible. Only one combination step, besides hidden singles, is shown. This one step is sufficient to solve this puzzle, if one assumes that there exists only one solution to the puzzle.

Style Change

Previously, I had abandoned using the chessboard algebraic notation in favor of the more common rc notation. However, since many people have begun again to post proofs on the tough pages, I have returned to algebraic notation. For those unfamiliar with this notational style, grid coordinates are posted with the pictures.


The Puzzle


Puzzle at Start

Four Unique Possibilities are available here.

  1. (5)b3 % box & column
  2. (5) h7 % box & column
  3. (8)i2 %box
  4. (2)i3 % box 7 column


The Puzzle at UP 27 (27 cells filled either as givens, or solved)


UP 27

usually, I search for both hidden pairs and easy single candidate eliminations at this time. This process is easier for me to accomplish without using the possibility matrix. During this search, I found an interesting situation involving candidates 2 & 5.


Candidate 5


candidate 5

The given, solved, and potential locations of candidate 5 are highlit. This, by itself, is not very remarkable. Usually, I would merely mentally note the potential for a hidden pair at df5 and e19.


Candidate 2


Candidate 2

The given, solved, and potential locations of candidate 2 are highlit. Of note:

  1. (2)def9 => de7<>2
  2. (25)df5 => hidden pair 25 at df5
  3. (25)e19 => hidden pair 25 at e19
  4. (25)def9, (25)df5, (5)def1 => def1 ≠ 2


Of the steps above, step 3 is not required. I view the other 3 steps as one, as the recognition of both (25) limited to def9, and the recognition of both (25) limited to df5, and the recognition of (5) limited to def1 is required for step 4, but also sufficient for steps 1 & 2.


Explanation of the Uniqueness Deducition

Suppose that candidates 2&5 are limited to only def1, def5, def9. Exactly three of those cells would be filled in, eventually, by some other candidate(s). There are some illegal ways to do this, let us presume that one considers only the legal manners of doing this. The remaining six cells in columns def and rows 159 can receive only candidate 2 or candidate 5. This group will form an independent sub-puzzle that cannot be resolved uniquely. One can arbitrarily insert 2 or 5 at any of the remaining cells and legally fill in all six remaining cells. More importantly, nothing that occurs in the rest of the puzzle can possibly determine which of (25) goes in any of those cells. To wit:

  • (hidden pair 25) at 2 choose 3 of def9 => 25 is independent in row 9, box e8, and those 2 cells.
  • (hp25) at 2 choose 3 of def5 (in this case exactly df5) => 25 is independent in row 5, box e5, and those 2 cells.
  • (hp25) at 2 choose 3 of def1 =>25 is independent in row 1, box e2, and those 2 cells.
  • Given those three occurrences, there must exist (hp25) in each of columns def using ony rows 159 => 25 is independent in columns def
  • Since there are only four conditions in the rules of sudoku: rows, columns, boxes, cells => 25 is independent in those 6 cells


One step that unlocks this puzzle


Uniqueness step

Illustrated are the restrictions one can note given

  1. (5)def9
  2. (5)def1
  3. (5)df5
  4. (2)def9
  5. (2) df5

After making the indicated eliminations, one can solve the puzzle using only hidden singles.


Solution


Done




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

I do not understand the uniqueness deduction, as described above, which I assume is based on "Unique Loops", because I don't see the pairs. Consider the following argument. Because cells def9 must contain 25, there must be some other digit d, d<>25, in cells def9 that is restricted More...
29/Jun/11 3:40 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.