Again for March 21, 2007 - Y Wing Style


The following is an illustrated proof for the Tough Sudoku of March 21, 2007. The primary advanced keys used in this proof are coloring and Y wing styles.

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

Often during this illustration, there are many other steps available. It is not the goal of this page to show every possible step, but rather to illustrate steps that, taken together, unlock this puzzle in a relatively simple fashion.

To understand this page, some previous blog pages that could be particularly helpful are:

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 the partitioning of native strong inference sets
  • 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:

  • i1 = 9% row & box
  • i4 = 2% row & box

Hidden Pair 79


Hidden Pair 79






Since both 7 & 9 are limited to a56 within box b5, the Hidden Pair 79 at a56 =>

  • a123 ≠7
  • a56 are limited to 79
  • a9 = 8% column
  • c4 = 8% column & box

From this point,(borrowing a trite phrase), there exists an almost endless variety of manners to proceed. The following is the most efficient path that I found.

Locked candidate 2


Locked 2s









Since the 2s in box b8 are limited to ab7,

  • dfg7 ≠2
  • g9 = 2% column & box

Coloring with 9s (2 string kite)

2 string kite with 9s

Illustrated above is a two strong set chain using candidate 9:

  • g7 == g6 -- h4 == f4 => f7≠9
To convince oneself of the validity of the elimination, one can use the following proof by contradition:
  • Let f7=9
  • => f4,g7≠9 => g6=h4=9 => impossible, too many 9s in box h5

Y Wing Style using 349

Y Wing Style

The chain illustrated above becomes more obvious if one uses pair 14 at g23 first. Nevertheless, the elimination is available as shown above without making that step. As a forbidding chain or Alternating Inference Chain (AIC):

  • i8=3 == i8=4 -- gi7=4 == d7=4 -- d7=9 == g7=9 => g7≠3
This Y Wing Style elimination uses the 4s in row 7 as the vertex, considering them in two groups
  1. d7=4
  2. gi7=4
As such, the logic that conforms to typical Y Wing Style logic follows:
  • d7=4 => d7≠9 => g7=9 => g7≠3
  • gi7=4 => i8≠4 => i8=3 => g7≠3
After making this elimination, a few cells are solved by Unique Possibilities:
  • g6 = 3% column
  • g7 = 9% column
  • h6 = 1% row & box

Naked Pair 56

Pair 56

The pair 56 above is illustrated as a wrap-around forbidding chain:

  • e6=6 == e6=5 -- e4=5 == e4=6 =>
  • 56 is forbidden from the rest of column e and box e5
This begins a cascade of Unique Possibilities beginning with f4 = 9% cell. This cascade advances the puzzle to 46 cells solved (UP 46).

Locked Candidate 6

Locked 6s

Illustrated above, the sixes in row 2 are limited to only ab2, thus eliminating sixes from the rest of box b2. This begins another cascade of Unique Possibilities (a few hidden singles, then naked singles) that brings the puzzle to completion. (UP 81).

If one had performed many of the other possibile eliminations earlier, one may have used a standard Y wing instead of the Y Wing Style illustrated. Also, one may have proceeded to the end a bit differently (For example, if one uses locked 6s at b456 earlier, then the puzzle unlocks after any number of possible Y Wing Styles. Most of these will require the coloring step with the 9s.)

Solution

Done

Proof

One of many possible proofs for this one:

  1. Start at 23 filled - the given puzzle. Unique Possibilities to 25 filled. (UP 25).
  2. Hidden pair 79 at a56 forbids a6=56, a5=468, a123=7 UP 27
  3. Locked 2s at ab7 forbids dfg7=2 UP 28
    1. fc on 9s: g7 == g6 -- h4 == f4 forbids f7=9
    2. Y Wing Style: i8=34, gi7,d7=4, dg7=9 forbids g7=3 UP 31
  4. Pair 56 at e46 forbids e189d6f4=5 and forbids e129,d56,f45=6 UP 46
  5. Locked 6s at ab2 forbids ab1ac3=6 UP 81
  • Sets: 2 + 1 + 2 + 3 + 2 + 1 = 12
  • Max depth 3 at step 4.2
  • Rating: 2(.01) + 3(.03) +.07 = .18

Notes

Since this puzzle can be solved using the Simple Sudoku solving set, one might consider it to be too easy for a tough puzzle here at sudoku.com.au. However, the path that I have illustrated here involves much fewer steps, and much less native puzzle information, at less maximum depth, than the solution provided using Simple Sudoku Hints. This puzzle is therefor not a very difficult puzzle.

This puzzle is a good exercise, though, in using multiple techniques. It also is an excellent exercise in the theme of the last few days: Y Wing Styles.

BTW, I have no control over the puzzles that are selected here. It has just been a happy accident that I have been able to showcase Y Wing Styles this many days in a row.

Y wing Style eliminations are available in most tough sudoku puzzles, across all sites that I have visited.




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

vukmnhefc wrlotif awiftvn xketgdin kvdzu wqehyxum rpsnbyu
27/Apr/07 7:30 AM
 |  |
dzsxjh fsqdl tsmc tnsmezihp whnykq iylbuavs rmeapxusi http://www.ajopyrnz.dwheivszm.com
27/Apr/07 7:30 AM
 |  |
htfaurjvb ngtjrsvd talvbk wnmxp bniosmhre tqzi rqhtjxiec
23/May/07 2:46 PM
 |  |
ptku kead spgtlv zlviuh wixug xrpgdt tbkcwi http://www.btluygcho.yjcv.com
23/May/07 2:46 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
GRD from Sydney
Laineyrb52 from MI
tyrion from Milan
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.