05/11/06 tough puzzle from sudoku.com.au
Want to see the whole thing? A complete proof
1) First eliminations : [c8=8%row, a5=8%block, b8=5%row, c9=9%block, i8=9%block, g6=9%block, b3=9%block, c3=7%block, a9=4%row, e9=1%row, d7=7%block, f7=4%block, i1=1%row, c7=6%cell, e2=3%cell, e8=6%cell, f2=9%cell, d5=9%block, h5=5%row, g7=5%block, h7=8%block, i7=3%block, f5=3%row, d8=3%block, f8=2%block, b5=1%row, a7=1%block, b7=2%block, i5=7%row, d2=4%cell, b1=4%cell, c6=4%row] lead to 51 filled cells.
2) Look at only possibles g2=2,g2=7 in their cell. Whether g2=7 (in which case g9=2%cell) or g2=2, in both cases, we have no more {g4=2, g1=2}. Now easy fillings up to 53 filled cells. (If needed, a1=2%row, a2=6%cell)
3) Look at only possibles a6=5,a3=5 in their col. Whether a3=5 (in which case e1=5%row) or a6=5, in both cases, we have no more {e6=5}.
Now easy fillings up to 81 filled cells. (If needed, e6=7%cell, b4=7%block, b6=6%block, f4=6%block, e4=8%block, f3=8%block, g1=8%block, d3=1%block, e1=5%block, a3=5%block, c4=5%block, d6=5%block, a6=3%block, c1=3%block, d4=2%block, h6=2%block, g2=2%block, h2=7%block, g9=7%block, i9=2%block, h9=6%block, i3=6%block, g3=4%block, i4=4%block, h3=3%block, g4=3%block, h4=1%block, f6=1%block)
4-FC needed here: |
|
4-FC needed here : |
|
Now applying the same "dictionary" (renaming numbers, replacing cells) to proof of 05/09/30 you will mechanically get a proof of today's. E.g. first filled cell in 05/09/30 was b3=6%row; in today's it becomes c8=8%row. Try it ! Or see the method explained step by step on 10/08 example.
In case that you be lazy enough not to find it by yourself, see hints for today's proof (automatically derived from 05/09/30's proof).