r123564897: re-arrange the original rows in this order (e.g. the old r5 becomes the 4th row)
c456789123: re-arrange the original columns in this order (e.g. the old c4 becomes new 1st column)
d123456789 -> d312645978: map the digits in this manner (e.g. 1 becomes 3, 2 becomes 1)
That's because I think re-arranging rows/columns and mapping digits are two different operations for the human brain, I'm trying to use the most intuitive specification for these two operations respectively.
Also, for you new elimination technique, I haven't described the whole of it:
Eleven's elimination for minirow shifting cyclic triple
If there is minirow shifting within the band (e.g. r7c123 -> r8c456), and there is a cyclic triple of digits {xyz} (x -> y -> z ->x) then x can't appear on a minirow cyclically above or cyclically on the left of a minirow containing y. Ditto for y,z and z,x.
Example of minirow relationships:
r7c123 is cyclically above r8c123, and is cyclically on the left of r7c456.
r9c789 is cyclically above r7c789, and is cyclically on the left of r9c123.
With this technique Mauricio's puzzle #1 can be solved without any Gludo or chains:
- Code: Select all
+-------------------+-------------------+-------------------+
| 1 5689 5789 | 2 4679 6789 | 3 4578 4789 |
| 679 2 5789 | 478 3 6789 | 589 1 4789 |
| 379 389 4 | 178 179 5 | 289 278 6 |
+-------------------+-------------------+-------------------+
| 5 389 2389 | 6 179 1379 | 4 278 1278 |
| 2346 7 23 | 1345 8 13 | 1256 9 12 |
| 469 4689 1 | 457 4579 2 | 568 5678 3 |
+-------------------+-------------------+-------------------+
| 2347 1345 6 | 9 1257 1378 | 128 2348 1248 |
| 239 1359 2359 | 1358 1256 4 | 7 2368 1289 |
| 8 1349 2379 | 137 1267 1367 | 1269 2346 5 |
+-------------------+-------------------+-------------------+
Hidden triple @ r5: r5c147={456}
2 @ c1,b7 locked @ r78c1 => r8c1 can't be 3
3 @ c4,b8 locked @ r89c4 => r9c4 can't be 1
1 @ c7,b9 locked @ r79c7 => r7c7 can't be 2
7 @ b7 locked @ r7c1+r9c3 => r9c3 can't be 9
Symmetry: r7c6 can't be 7, r8c9 can't be 8
5 @ r7 locked @ r7c25 => r7c2 can't be 4
Symmetry: r8c5 can't be 5, r9c8 can't be 6
Naked pair @ r7: r7c67={18}
Naked pair @ r8: r8c19={29}
Naked pair @ b7: r7c2+r8c3={35}
All naked singles from here.