Final Page of Diabolic Proof for 03/11/07


The first page of this proof is here.

Puzzle at UP 36

UP 36

At this point, assuming one does not use the AUR 69 at ab38, the puzzle is resistant to simple forbidding chains. There are some possible, but I could not advance the puzzle very much with any of those that I found. For this reason, I have pulled out the elephant gun on the next step.

An Advanced Forbidding Chain

Tricky step

The Alternating Inference Chain (AIC), or forbidding chain illustrated above is:

  • Complex, as it uses a chain as a Boolean variable
  • A partial wrap around or partial continuous nice loop, as f3=3 -- f7=3
The chain can be written many ways. Here is my favorite way to write this one:

f2=3 == e3=3 -- g3=3 ==1 {h7=6 == h7=9 -- h1=9 == h1=5 -- g3=5 ==1 g3=6 -- g79=6 == h7=6} -- f7=6 == f7=3

Although the macro chain is a continuous nice loop since f2=3 and f7=3 are in conflict with each other, the bracketed chain used as a Boolean is not, as h7=6 is not in conflict with h7=6. Therefor, the deductions one can make from the chain are best found by making the following substitutions in the chain and considering only the remaining weak links to be strong:

  • f2=3 == e3=3 -- g3=3 ==non-native link h7=6 -- f7=6 == f7=3
Therefor, we have the following proven non-native strong sets:
  1. f2=3 == f7=3 => f8≠3
  2. e3=3 == g3=3 => no possible eliminations here
  3. h7=6 == f7=6 => eg7≠6

The puzzle is advanced a bit further:

  • f8 = 2% cell
  • c8 = 3% cell
  • c9 = 2% row, column & box
  • c3 = 4% column
  • Thus UP 40

How to find this one? Much experience! This one is not easy to find, but the column f, with the 3s, told me that there existed a wrap around chain somewhere on the puzzle grid. Much experience in finding Y wing styles led me find a conditional Y wing style that led me to find this chain. It would not be a truly diabolical puzzle if all the chains were easy to find!

A much simpler Advanced Forbidding Chain

Almost Locked Set used in chain

Illustrated above the Almost Locked Set (ALS) 589 at ef5 is used in a chain as follows:

  • i6=9 == i6=6 -- f6=6 == f6=5 -- f5=5 == {pair 89 at ef5} => i5≠9
  • => i5 = 3% cell, i2 = 6% cell, i6 = 9% cell, a4 = 3% row, column & box
  • Thus we arive at UP 44

One more depth 4 chain

Getting easier

Illustrated above is one more forbidding chain using 4 native strong sets:

  • a5=5 == a3=5 -- g3=5 == g3=3 -- e3=3 == e3=9 -- e5=9 == f5=9 => f5≠5
  • => f6 = 5% box & column
  • thus UP 45
  • => Pair 89 at ef5 => h5 ≠8
  • => h4 = 8% box & column
  • thus UP 46

Final step: Simple coloring

sideways skyscraper on 5s

Above, as a forbidding chain on 5s:

  • a3 == g3 -- g4 == b4 => a5≠5
  • => a3 = 5% column
  • => %cells, or naked singles, to the end

Proved solution

solution

Proof

  1. Start at 22 filled - the given puzzle. Unique Possibilities to 27 filled. (UP 27).
    1. Locked 2's at b46 forbids b789=2
    2. Locked 3's at a45 forbids a8=3
    3. Pair 69 at ab8 forbids ab9b7fg8=6, b7g9=9 UP 28
    1. Locked 8's at d13 forbids e13=8
    2. Locked 2's at d23 forbids d3f2=2
    3. Hidden pair 28 at dh3 forbids d3=6, h3=4569
    4. Locked 1's at c12 forbids c79=1
    5. Locked 2's at hi7 forbids cef7=2
    6. Locked 7's at g79 forbids h7=7
    7. Locked 6's at d12 forbids e13f2=6
    8. Hidden pair 69 at d38 forbids d3=45
    9. Y style: i2=3 == i5=3 -- i5=8 == i1=8 -- h3=8 == h3=2 forbids i2=2 UP 29
  2. e3=3 == e7=3 -- e7=1 == b7=1 -- b7=5 == c7=5 -- c3=5 == c3=4 forbids e3=4 UP 35
    1. Locked 9's at ghi1 forbids g23i2=9
    2. i5=3 == i2=3 -- i2=6 == i6=6 -- gh4=6 == e4=6 -- e4=8 == h4=8 UP 36
  3. f2=3 == e3=3 -- g3=3 ==1{h1=9 == h1=5 -- g3=5 ==1 g3=6 -- g79=6 == h7=6} -- h7=9 == h7=6 -- f7=6 == f7=3 forbids f8=3, eg7=6 UP 40
  4. i6=9 == i6=6 -- f6=6 == f6=5 -- f5=5 == {f45=pair 89} forbids i5=9 UP 44
  5. a5=5 == a3=5 -- g3=5 == g3=3 -- e3=3 == e3=9 -- e5=9 == f5=9 forbids f5=5 UP 45
  6. pair 89 at ef5 forbids h5=8 UP 46
  7. fc on 5's: a3 == g3 -- g4 == b4 forbids a5=5 UP 81
  • Sets: 9(1) + 5(2) + 3 + 4(4) + 6 = 44
  • Max depth 6 at step 6
  • Rating: 9(.01) + 5(.03) + .07 + 4(.15) + .63 = 1.54




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

1) Start at 22 filled. Unique Possibilites to (UP) 27.
2a) locked 2's at c789, forbid b789=2.
2b) locked 3's at a45, forbids a8=3.
2c) naked pair 69 at ab8, forbids a9,b9,f8=6, b7,g8=69 UP 28
3a) hidden pair 39 at e3f2, forbids e3=268, f2=26.
3b) hidden pair 28 at dh3, forbids d3=6, More...
18/Mar/07 4:17 AM
 |  |
Hi Dave!
Your step 6c is very interesting! Thank-you!

Are there perhaps a step or two missing in the step 3 series in your proof?
18/Mar/07 3:57 PM
 |  |
Thanks Steve,

Revised steps 3&4:

3a) triple 268 at d123 forbids d1=68, d3=268, e2=26.
3b) locked 1's at c12, forbid c79=1.
3c) c3=4 == c3=5 -- c7=5 == b7=5 -- b7=1 == e7=1 -- e7=3 == e3=3, forbids e3=4. UP 29.
4) hidden pair 28 at ch3, forbids d3=6, h3=4569. UP 30

19/Mar/07 3:08 AM
 |  |
gsculapk bjmric ijucm aquht aijgvfc msyptcoe nadimhs
30/Oct/07 1:13 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
Karen from Talkeetna,AK
Mosquito50 from Blue Mountains
teacla from clarkecarter7
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.