by P.O. » Tue Jan 21, 2025 6:11 pm
basics:
- Code: Select all
( n6r6c6 n2r6c1 n5r1c6 n6r4c8 n9r6c3 n2r3c6 n5r6c7 )
intersection:
((((1 0) (4 4 5) (1 4 7 8)) ((1 0) (4 6 5) (1 7))))
PAIR ROW: ((5 2 4) (4 7)) ((5 5 5) (4 7))
(((5 9 6) (1 2 4)))
- Code: Select all
378 9 367 67 1 5 4 278 238
1 678 2 3 679 4 78 5 89
347 5 347 79 8 2 137 179 6
457 3 457 1478 2 17 9 6 48
6 47 8 5 47 9 12 3 12
2 1 9 48 3 6 5 48 7
3457 467 1 4679 4679 8 2367 2479 23459
3478 2 3467 14679 5 137 13678 14789 13489
9 4678 34567 2 467 137 13678 1478 13458
48r6c4 => r29c7 <> 8
ste.
n4r6c4 context:
- Code: Select all
((4 0) (6 4 5) (4 8)) n4r6c4
((8 1 9) (6 8 6) (4 8)) n8r6c8
((7 1 9) (5 5 5) (4 7)) n7r5c5
((4 1 1) (4 9 6) (4 8)) n4r4c9
((4 1 1) (5 2 4) (4 7)) n4r5c2
((8 1 9) (6 8 6) (4 8)) n8r6c8
((8 2 1) (4 4 5) (1 4 7 8)) n8r4c4
((7 1 9) (5 5 5) (4 7)) n7r5c5
((1 2 9) (4 6 5) (1 7)) n1r4c6
((7 2 2 2) ((8 6 8) (1 3 7)) ((9 6 8) (1 3 7))) n7r89c6
((1 2 9) (4 6 5) (1 7)) n1r4c6
((1 3 1) (8 4 8) (1 4 6 7 9)) n1r8c4
((8 2 1) (4 4 5) (1 4 7 8)) n8r4c4
((4 3 9) (6 4 5) (4 8)) n4r6c4
((1 3 1) (8 4 8) (1 4 6 7 9)) n1r8c4
((9 4 1 11) ((7 4 8) (4 6 7 9)) ((7 5 8) (4 6 7 9))) n9r7c45
- Code: Select all
378 9 367 67 1 5 4 27 238
1 678 2 3 69 4 78 5 89
347 5 347 79 8 2 137 179 6
57 3 57 8 2 1 9 6 4
6 4 8 5 7 9 12 3 12
2 1 9 4 3 6 5 8 7
3457 67 1 69 469 8 2367 247 235
3478 2 3467 1 5 37 3678 479 389
9 678 34567 2 46 37 13678 147 1358
8r2c7 => r2c27 <> 7
r2c7=8 - r2c9{n8 n9} - r2c5{n9 n6} - c4n6{r1 r7} - r7c2{n6 n7}
=> r2c7 <> 8
8r9c7 => two 3s in c1
r9c7=8 - c2n8{r9 r2} - r2n6{c2 c5} - r1c4{n6 n7} - r1c1{n78 n3}
r9c7=8 - c2n8{r9 r2} - r2c9{n8 n9} - r8c9{n89 n3} - r7n3{c79 c1}
=> r9c7 <> 8
n8r6c4 context:
- Code: Select all
((8 0) (6 4 5) (4 8)) n8r6c4
((4 1 9) (6 8 6) (4 8)) n4r6c8
((8 1 1) (4 9 6) (4 8)) n8r4c9
((8 1 1) (4 9 6) (4 8)) n8r4c9
((9 2 9) (2 9 3) (8 9)) n9r2c9
((9 2 9) (2 9 3) (8 9)) n9r2c9
((9 3 1) (7 5 8) (4 6 7 9)) n9r7c5
((9 3 1) (3 4 2) (7 9)) n9r3c4
((9 3 1) (7 5 8) (4 6 7 9)) n9r7c5
((9 4 1) (8 8 9) (1 4 7 8 9)) n9r8c8
- Code: Select all
378 9 367 67 1 5 4 278 23
1 678 2 3 67 4 78 5 9
347 5 347 9 8 2 137 17 6
457 3 457 147 2 17 9 6 8
6 47 8 5 47 9 12 3 12
2 1 9 8 3 6 5 4 7
3457 467 1 467 9 8 2367 27 2345
3478 2 3467 1467 5 137 13678 9 134
9 4678 34567 2 467 137 13678 178 1345
8r2c7 => r19c8 <> 8
r2c7=8 - c2n8{r2 r9}
=> r2c7 <> 8
8r9c7 => r9c6789 <> 1
r9c7=8 - c8n8{r9 r1} - r1n2{c8 c9} - r5c9{n2 n1}
r9c7=8 - r2c7{n8 n7} - r3c8{n7 n1} - r9c8{n18 n7} - c5n7{r9 r5} - r4c6{n7 n1}
| | |
r9c7<>1 r9c8<>1 r9c6<>1
=> r9c7 <> 8