thank you for your answer,
for this puzzle i couldn't find a one-step solution with the techniques i usually use but with the D+DFC method i found one
this method is actually exploring some of the possible resolution states immediately after the current one by adding a value, the OR relationship guaranteeing the logic of the process
it is a single-step lookahead mechanism
n6r5c4 OR n6r5c6 => r6c1 <> 2
ste.
r5c4=6 context:
- Code: Select all
((6 0) (5 4 5) (1 2 4 6 7)) n6r5c4
((8 1 9) (3 4 2) (6 8)) n8r3c4
((4 1 2 11) ((4 4 5) (1 2 4 7)) ((6 4 5) (1 2 4 7))) n4r46c4
((8 1 9) (3 4 2) (6 8)) n8r3c4
((8 2 1 2) ((1 1 1) (2 6 8)) ((1 2 1) (2 8 9))) n8r1c12
((8 2 2 2) ((7 6 8) (6 8)) ((9 6 8) (5 6 7 8))) n8r79c6
((8 2 1 2) ((2 8 3) (7 8 9)) ((2 9 3) (4 6 7 8))) n8r2c89
((8 2 1 2) ((1 1 1) (2 6 8)) ((1 2 1) (2 8 9))) n8r1c12
((8 3 1 15) ((2 8 3) (7 8 9)) ((2 9 3) (4 6 7 8))) n8r2c89
- Code: Select all
268 289 269 27 3 4 5 179 167
1 3 2469 5 2679 679 467 789 4678
7 49 5 8 69 1 2 39 346
3 12479 8 1247 12579 579 147 6 147
5 1247 124 6 8 37 1347 1237 9
24 6 1249 1247 1279 379 8 1237 5
468 148 7 3 16 68 9 5 2
9 158 16 17 1567 2 1367 4 13678
268 1258 3 9 4 5678 167 178 1678
2r6c1 => r3c59 <> 6
r6c1=2 - r9n2{c1 c2} - r9n5{c2 c6} - c6n8{r9 r7} - c6n6{r7 r2}
r6c1=2 - r9n2{c1 c2} - c2n5{r9 r8} - r8n8{c2 c9} - c9n3{r8 r3}
=> r6c1 <> 2
r5c6=6 context:
- Code: Select all
((6 0) (5 6 5) (3 6 7)) n6r5c6
((3 1 10) (6 6 5) (3 7 9)) n3r6c6
((8 1 9) (7 6 8) (6 8)) n8r7c6
((3 1 1 11) ((5 7 6) (1 3 4 7)) ((5 8 6) (1 2 3 7))) n3r5c78
((3 1 10) (6 6 5) (3 7 9)) n3r6c6
((3 2 1 2) ((5 7 6) (1 3 4 7)) ((5 8 6) (1 2 3 7))) n3r5c78
((8 1 9) (7 6 8) (6 8)) n8r7c6
((8 2 2 2) ((1 4 2) (2 6 7 8)) ((3 4 2) (6 8))) n8r13c4
((8 2 1 2) ((2 8 3) (7 8 9)) ((2 9 3) (4 6 7 8))) n8r2c89
- Code: Select all
268 289 269 2678 3 4 5 179 167
1 3 2469 5 2679 79 467 789 4678
7 489 5 68 69 1 2 39 346
3 12479 8 1247 12579 579 147 6 147
5 1247 124 1247 8 6 1347 1237 9
24 6 1249 1247 1279 3 8 127 5
46 14 7 3 16 8 9 5 2
9 158 16 167 1567 2 1367 4 13678
268 1258 3 9 4 57 167 178 1678
2r6c1 => r38c9 <> 3
r6c1=2 - c8n2{r6 r5} - c8n3{r5 r3}
r6c1=2 - r9n2{c1 c2} - c2n5{r9 r8} - r8n8{c2 c9}
=> r6c1 <> 2