# Page 1 of Proof of Diabolic Puzzle of 02/20/07

The following is an illustrated proof for the Tough Sudoku of February 20, 2007. This is a very difficult puzzle to solve, unless one resorts to guessing.

This is page one of a multi-page proof for this puzzle. The pages will come out gradually over the next few hours, as they are created. The general theme of each page will be slightly different, as the puzzle progresses through various degrees of technique difficulty.

There are many ways to tackle this one. The primary focus of this proof is to illustrate using Forbidding Chains, also called Alternating Inference Chains or AIC. Some of the Chains that are presented are complex forbidding chains - or advanced forbidding chains. Such chains merely use arguments that are Boolean variables (something that is either TRUE, or False). Some of these Booleans represent native puzzle conditions that are neither bivalue in a cell, nor candidates that are bilocation.

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.

At many times during this illustration, there are 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. Some steps that are not required will be illustrated. The purpose of illustrating such steps is primarily to clue the potential solver on how to decide upon a plan of attack for truly diabolical puzzles.

The information on the following blog pages is required to understand this page:

The illustrations of forbidding chains used in this proof will share the same key:

• black lines = strong links
• red lines = weak links
• black circles connected with black lines = multi-part strong sets
• candidates crossed out in red = candidates proven false

### Puzzle at start

A few Unique Possibilities are available here.

• i8 = 8% column & box
• d4 = 8% column
• i6 = 6% column
• c4 = 6% box & row
The puzzle, now advanced to UP 27, starts without any real indication of its extreme difficulty.

### Some Locked 5s

Possible locations for 5 are highlit in green. One can proceed as follows:

• Locked 5s at e23 => e46≠5 or
• Locked 5s at f56 => e46≠5 then
• Locked 5s at gh4 => g56,i5≠5
This reveals the following Unique possibilities:
• i2 = 5% column
• e3 = 5% row, column, & box

### Hidden Pair 29

Typically, before entering the possibilities, Hidden Pairs are easier to find. The symmetrical placement of 29 relative to column g reveals:

• Hidden Pair 29 at g28
• => g28 is limited to only 29

### Locked 3s

Because of the hidden pair 29, one can perform either one of two equivalent locked candidate eliminations with the 3s:

• locked 3s at h23 OR
• locked 3s at g456
In either case, h4≠3

### Locked 4s

Once again, there are two equivalent ways to make the same elimination: g9≠4

• Locked 4s at g56
• Locked 4s at g789

### Locked 9s

e46≠9 by either or both of:

• Locked 9's at f46
• Locked 9's at e78

### Coloring on 2s

Possible 2s are highlit. The following coloring elimination can be presented as a forbidding chain on 2s:

• b7 == h7 -- g8 == g2
• =>b2≠2

One could call this elimination a two string kite. One can also call the configuration in box h8 and box h2 hinges. None of this is required to understand the elimination. Instead, it is far more productive to think in terms of strong and weak links, as drawn above. In any event, one can also view the chain as a proof by contradiction (All chains have an equivalent proof by contradiction within the strong and weak sets considered):

• b2=2 => b7,g2≠2
• => g8 = h7 = 2
• but, g8,h7 share box h8, thus b2≠2
Rather than search for proofs by contradiction, I prefer to focus on the stuff that All Sudoku Techniques are made from: Strong sets.

### Puzzle after the easy stuff

The possibility matrix above represents this puzzle after making all the indicated eliminations. The typical easy eliminations are exhausted at this point. I recommend using a puzzle mark-up of some sort to continue.

The idea behind a puzzle mark-up is rather simple: A puzzle is presented as a set of very strong sets = cells defined as equal to exactly one candidate. There are 81 cells one has to solve. There are 243 restrictions by location that one has to also comply with. The puzzle mark-up merely makes these restrictions by location more obvious. It also serves as a potential strategy indicator. The puzzle mark-up merely brings to fore the hidden strong sets = sets strong by location.

The next blog page will consider in some detail how to attack a puzzle based upon such markings. Links to the next blog pages regarding this puzzle proof will become available as the pages are produced. It is not certain at this time how long it will take for the production team to create each page. It is believed that the illustrated stategy for proof will consume four blog pages.

 Indicate which comments you would like to be able to see GeneralJokesOtherSudoku Technique/QuestionRecipes
 stgiymavn ntkdapz cyrox diqsmokc lfdvk wptbeygjf rtna 24/May/07 3:39 AM |  |
 qzgtm fqjb icnjh ptughf qgbhcdoe ykndfrvi sckulp http://www.jufi.wginds.com 24/May/07 3:39 AM |  |

Not a member? Joining is quick and free.
As a member you get heaps of benefits.
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
Do you like traveling? Check out this page on Adelaide to Burnie flights. It is something new from us and we hope you like it.
We are also trying our hand at 'obscure' knowledge. Do you know the answer to Which is taller, the Rialto Towers or the Al Kazim Tower 2?
Check out all the Daily Horoscopes
 Welcome our latest Membersmagicmal from burrum headskjgood1 from YYCsamarata1 from uk
 Member's Birthdays TodayRayray from an Egg