Solution for Tough of November 28, 2007 Page One


The following illustrated solution for the Tough Sudoku of November 28, 2007 employs a modestly fiendish group of Sudoku techniques, tips and tricks. The key, for me, was basically three-fold:

  1. The early use of an Almost Unique Rectangle
  2. The recognition of some useful Almost Y Wing Styles
  3. Counting. - Counting will be used primarily on the latter pages to utilyze some Almost Y Wing Styles

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:

In order to save both time and space, some easy steps may not be illustrated. Also, this solution has not been fully pared for efficiency. However, many steps that I found were superfluous and thus will not be published.

The illustrations of steps shown in this solution path will share the following 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.


The Puzzle


Puzzle at Start

Three Unique Possibilities are available here:

  • (1)r8c8 % box & column
  • (4)r6c9 % box & row
  • (8)r9c5 % row
  • Thus UP 25 (25 cells filled)


Steps 2abc - Some Locked Candidates


Locked Candidates


Three easy steps are immediately available

  • 2a Locked candidate 2 r6c12 => r4c1≠2
  • 2b Locked 6's r4c79 => r4c456≠6
  • 2c Locked 9's r5c78 => r5c5≠9
  • The puzzle quickly reveals itself as very difficult. Here I made my standard puzzle mark-up, and found very little.


    Step 2d - A short chain using Almost Unique Rectangle 26 (AUR 26)


    AUR 26

    On the left side of the graphic above, the AUR driven strong inference set (sis) is proven by

    • (2)r4c8=(hidden pair 26)r4c79 - AUR (hidden pair 26) r2c79 = sis[(2)r23c8,(2)r1c7,(2)r3c9,(6)r1c7,(6)r3c9]
    • => sis [(2)r234c8,(26)r1c7,(26)r3c9]
    • this means that at least one of 2 exists in one of those cells, or 6 exists in one of those cells
    The sis seems a bit too complicated for any deductions, however.... one can use the strong 78's in box 3 to reduce the effective size of the set. As noted in a previous blog page, any bivalue strong inference can be treated as a Super Cell. When two such bivalues are linked, then one can create an even larger super cell. Above,
  • (7)r1c7=(7-8)r3c8=(8)r3c9 forms the Super Cell:(78X)r1c7,r3c89.
  • This means that there is room for just one candidate other than 78 in those 3 cells.
  • Thus we know we have the Hidden Triple (78X) in those cells. We just do not know the identity of X.
  • Once one condsiders the possible locations for (26) from the AUR sis proven above, then one clearly has the following chain snippet:
    • (2678)r1c7r3c89 [the super cell] = (2)r24c8
    One can now use this information in a chain. Above I called this super cell - AUR sis combination a Hybrid Hidden Triple.

    The only problem with the AIC chain shown above is that it gives the illustion that one must consider the strong 7's in box 3 twice. This is just an illusion. It is a function of the vehicle, AIC. However, one can merely count the way to the deduction. The trick here is to remember that all matrix configurations rely upon achieving a nxn matrix. Thus, one need only count matrix columns versus rows. I do not construct the matrix mentally, but rather only keep track of the count. One can always construct the matrix later to convince oneself of a valid deduction.

    • (7)r1c7=(7)r3c8 => 1 row, 2 columns. Thus we have one extra column. Call this +1.
    • (8)r3c8=(8)r3c9 => noting weak link (7-8)r3c8, we have added one column and one row. Thus +0.
    • (7=2)r9c8 => noting weak link, (7)r3c8-(7)r9c8, we have again added one column, one row. Thus +0.
    • AUR sis [(2)r24c8, (2)r3c8,(26)r1c7,(26)r3c9. note the following weak links:
      • (7-2)r3c8
      • (2)r9c8-(2)r24c8 (note we could have just written -(2)r234c8. Either way is fine)
      • (8-26)r3c9
      Thus, we have added one column and one row.+0 again.
    • Note additionally that (7)r1c7 and (26)r1c7 have potential targets. Move (26)r1c8 into column 1. We have now lost a column. (-1). Total: (0).
    Once the count reaches zero, we have in column 1 a proven sis. Thus:
    • (7=26)r1c7 => r1c7≠59
    The counting on such a short chain can be done mentally. With practice, this mental exercise becomes fairly easy.

    After making the indicated eliminations,

    • (5)r1c5 % row, thus UP 26 (we solved a cell)
    This deduction serves to make this puzzle much easier. However, it still is not easy. Nevertheless, the extreme shortness of the AUR step makes it very attractive, in my opinion.

    Please note that once one recognizes any sis, one is free to partition it in any logical fashion. This is basically the Useful group concept discussed in Forbidding Chains, the Practice. With AUR sis's, identifying the useful groups is often the key. It takes some practice to realize that since the proven sis are often unusual, the groupings will also often be atypical. However, this is true of any derived sis.

    If one prefers, one can also make the eliminations above using only naked set AUR sis deducitons, or even a combination of naked sets and hidden sets. For example, one could have found:

    • (7)r1c7=(7)r3c8-(7=2)r9c8-(2)r4c7=(hidden pair26)r79c4-(naked pair26)r2c79
    • =[(hybrid naked pair 59)r2c789=(2)r2c8-(2=7)r9c8-(7)r3c8=(7)r1c7]
    • => sis{(7)r1c7, (hybrid naked pair 59)r2c789} => r1c7≠59
    This writing is nothing but the recognition of conjugacy between naked and hidden sets. Thus, in my opinion, they must be equally acceptable, even though the latter presentation appears more net like.

    Notes

    Oftentimes, when a truly difficult puzzle hits a very difficult point, the consideration of Almost Unique Rectangle strong inference sets, (AUR sis), can be a useful tool. Nevertheless, the proven sis can be unwieldy. Recognition of the fact that any logically valid partition of these sets can be used in any logical vehicle is often key to using such unwieldy sets. Oftentimes, just a very little bit of outside the box thinking can provide much utility. One of the reasons that I decided to struggle with the ridiculous puzzle called The Easter Monster was to teach myself some new tricks. The AUR step shown above is a reflection of one such lesson. Fortunately, the deduction was not too complex.

    This concludes the first page of this solution. Eventually, this link to the next page will become valid.




    Be the first to post a Comment
    Indicate which comments you would like to be able to see

    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.