JeJ,
Without the given 9r3c6, the puzzle quickly forms the following PM grid using SSTS, which reveals a type 3 UR r3c46/r5c46 <49> with the locked set <36> in column 4. This results in r7c4 <> 3 and the hidden single 4r7c4 is a backdoor which "cracks" the puzzle, allowing a singles only solution from there on.
- Code: Select all
*-----------------------------------------------------------------------------*
| 8 4679 679 | 2 46 5 | 347 369 1 |
| 2457 245679 679 | 1 8 3 | 4567 2569 2467 |
| 1 2456 3 | 49+6 7 49 | 8 256 246 |
|-------------------------+-------------------------+-------------------------|
| 6 3 4 | 8 2 1 | 9 7 5 |
| 57 57 8 | 49+36 346 49 | 2 1 36 |
| 9 1 2 | 36 5 7 | 36 4 8 |
|-------------------------+-------------------------+-------------------------|
| 247 2467 5 | 34 9 8 | 1 236 23467 |
| 24 2489 19 | 7 134 6 | 45 258 234 |
| 3 4678 167 | 5 14 2 | 467 68 9 |
*-----------------------------------------------------------------------------*
Adding the 9r3c6 prevents the discovery of the UR and the subsequent backdoor, which forces a much more difficult solution path. Using Sudoku Explainer (lksudoku's serate f11), the former puzzle scores 4.5 while the latter (with the additional clue) scores 7.2, which is significantly harder. Perhaps there is some way of reconstructing the 4/9 DP and making the same deduction? I seem to recall some posting on just such a technique, but my formerly good memory has since gone to fallow ground, so I need to do some searching to ascertain whether or not I'm misrecollecting.
Cheers,
Paul