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 Sudoku Techniques. 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.

Join Now Login