05/10/18 tough puzzle from sudoku.com.au

This one is equivalent to 05/09/24. Proof :

Here is the dictionary which takes you from former puzzle to today's.

Now applying the same "dictionary" (changing rows, columns, values) to proof of 05/09/24 you will mechanically get a proof of today's. E.g : first step of 05/09/24 was i7=1%col ; it becomes h8=9%col. Try it ! Or see the method explained step by step on 10/08 example.

See more illustrated examples of equivalence between puzzles : 09/26,09/29, 10/02, 10/03, 10/04.

In case that you be lazy enough not to find it by yourself, here are hints for today's proof (automatically derived from 09/24's proof).

1) First eliminations : [b2=9%block, g5=9%block, h8=9%block] lead to 23 filled cells.
2) Look at only possibles b9=3,b7=3 in their col. They forbid{c9=3, a8=3, a9=3, c8=3}. Look at only possibles h1=8,h3=8 in their col. They forbid{g1=8, g2=8, i1=8, i2=8}. Now simple eliminations take place again, leading to 46 filled cells.
3) Look at only possibles b7=7,b7=2 in their cell. Whether b7=7 (in which case i7=2%cell) or b7=2, in both cases, we have no more {d7=2, e7=2, f7=2}. Look at only possibles b7=2,b7=7 in their cell. Whether b7=2 (in which case i7=7%cell) or b7=7, in both cases, we have no more {f7=7, e7=7, g7=7, d7=7}. Then simple eliminations take place again, up to 51 filled cells.
4) Look at only possibles d3=7,d9=7 in their col. Whether d3=7 (in which case e3=2%cell) or d9=7 (in which case f8=2%cell), in both cases, we have no more {f3=2, f1=2}. Look at only possibles d3=7,d9=7 in their col. Whether d3=7 (in which case e3=2%cell) or d9=7 (in which case d1=9%col), in both cases, we have no more {d1=2}. Look at only possibles e3=2,d3=2 in their block. They forbid{c3=2, a3=2, b3=2}. From here, simple eliminations lead to unique solution.