by P.O. » Tue May 16, 2023 5:33 pm
basics:
- Code: Select all
( n2r7c9 n5r8c4 n5r3c9 )
PAIR COL: ((4 5 5) (3 9)) ((6 5 5) (3 9))
(((2 5 2) (1 6 7 8 9)) ((3 5 2) (1 6 7 8 9)) ((6 6 5) (2 3 4 9)) ((7 5 8) (1 3 6 8)) ((8 5 8) (1 3 6 8)))
TRIPLET BOX: ((7 7 9) (1 4 7)) ((8 7 9) (1 4 7)) ((9 9 9) (1 4))
(((7 8 9) (1 3 4 6)) ((8 9 9) (1 3 4 6 7)))
intersection:
((((7 0) (7 7 9) (1 4 7)) ((7 0) (8 7 9) (1 4 7))))
SIXTE BOX: ((4 2 4) (4 6 7 9)) ((4 3 4) (1 3 4 7 9)) ((5 1 4) (1 3 4 9)) ((5 2 4) (4 9)) ((6 2 4) (4 6 7 9)) ((6 3 4) (3 4 7 9))
(((4 1 4) (1 2 3 4 5 6 7 9)) ((6 1 4) (2 3 4 5 6 7 9)))
intersection:
((((6 0) (4 2 4) (4 6 7 9)) ((6 0) (6 2 4) (4 6 7 9))))
SWORDFISH ROW: n9 (1 5 7) (1 2 9)
(((2 1 1) (3 4 6 7 8 9)) ((2 9 3) (1 4 8 9)) ((3 1 1) (4 6 7 8 9)) ((3 2 1) (4 7 8 9))
((4 2 4) (4 6 7 9)) ((4 9 6) (1 3 4 6 7 9)) ((6 2 4) (4 6 7 9)) ((6 9 6) (3 4 6 7 8 9)))
- Code: Select all
89 1 2 3 4 5 6 7 89
34678 5 3479 68 1678 19 149 2 148
4678 478 479 268 1678 129 3 148 5
25 467 13479 24 39 8 1459 1346 13467
1349 49 8 7 5 6 2 134 1349
25 467 3479 1 39 24 459 3468 34678
14789 4789 5 468 168 134 147 36 2
1478 2 147 5 168 134 147 9 36
14 3 6 9 2 7 8 5 14
n9r2c6 OR n9r3c6 => r3c8 <> 1,4
ste.
n9r2c6 context:
- Code: Select all
((9 0) (2 6 2) (1 9)) n9r2c6
((9 1 1) (1 9 3) (8 9)) n9r1c9
((9 1 2 2) ((4 7 6) (1 4 5 9)) ((6 7 6) (4 5 9))) n9r46c7
((9 1 1) (1 9 3) (8 9)) n9r1c9
((8 2 9) (1 1 1) (8 9)) n8r1c1
((9 2 1) (3 3 1) (4 7 9)) n9r3c3
((9 2 1 2) ((5 1 4) (1 3 4 9)) ((5 2 4) (4 9))) n9r5c12
((8 2 9) (1 1 1) (8 9)) n8r1c1
((8 3 1) (7 2 7) (4 7 8 9)) n8r7c2
((8 3 1) (8 5 8) (1 6 8)) n8r8c5
((8 3 1) (7 2 7) (4 7 8 9)) n8r7c2
((9 4 10) (7 1 7) (1 4 7 8 9)) n9r7c1
((9 4 10) (5 2 4) (4 9)) n9r5c2
((8 4 2 2) ((2 4 2) (6 8)) ((3 4 2) (2 6 8))) n8r23c4
((8 3 1) (8 5 8) (1 6 8)) n8r8c5
((6 4 10) (8 9 9) (3 6)) n6r8c9
((6 4 1 11) ((7 4 8) (4 6 8)) ((7 5 8) (1 6 8))) n6r7c45
((6 4 10) (8 9 9) (3 6)) n6r8c9
((3 5 10) (8 6 8) (1 3 4)) n3r8c6
((3 5 9) (7 8 9) (3 6)) n3r7c8
((3 5 2 11) ((4 9 6) (1 3 4 6 7)) ((5 9 6) (1 3 4 9)) ((6 9 6) (3 4 6 7 8))) n3r456c9
((6 5 1 2) ((7 4 8) (4 6 8)) ((7 5 8) (1 6 8))) n6r7c45
((6 5 2 2) ((4 8 6) (1 3 4 6)) ((6 8 6) (3 4 6 8))) n6r46c8
((9 4 10) (7 1 7) (1 4 7 8 9)) n9r7c1
((7 5 10) (7 7 9) (1 4 7)) n7r7c7
((7 5 1 11) ((8 1 7) (1 4 7 8)) ((8 3 7) (1 4 7))) n7r8c13
((7 5 10) (7 7 9) (1 4 7)) n7r7c7
((4 6 1 11) ((7 4 8) (4 6 8)) ((7 6 8) (1 3 4))) n4r7c46
((1 6 1 11) ((7 5 8) (1 6 8)) ((7 6 8) (1 3 4))) n1r7c56
((7 6 1 2) ((8 1 7) (1 4 7 8)) ((8 3 7) (1 4 7))) n7r8c13
- Code: Select all
8 1 2 3 4 5 6 7 9
3467 5 347 68 167 9 14 2 148
467 47 9 268 167 12 3 148 5
25 467 1347 24 39 8 1459 146 1347
134 9 8 7 5 6 2 14 134
25 467 347 1 39 24 459 468 3478
9 8 5 46 16 14 7 3 2
147 2 147 5 8 3 14 9 6
14 3 6 9 2 7 8 5 14
1r3c8 => r4c234789 <> 4
r3c8=1 - r5c8{n1 n4}
r3c8=1 - r3c6{n1 n2} - c4n2{r3 r4}
r3c8=1 - r2c7{n1 n4} - r8c7{n4 n1} - c3n1{r8 r4}
r3c8=1 - r2n1{c79 c5} - c5n7{r2 r3} - r3c2{n7 n4}
=> r3c8 <> 1
4r3c8 => r8c137 <> 1
r3c8=4 - r2c7{n4 n1}
r3c8=4 - r5c8{n4 n1} - b4n1{r5c1 r4c3}
r3c8=4 - r3c2{n4 n7} - c1n7{r23 r8}
=> r3c8 <> 4
n9r3c6 context:
- Code: Select all
((9 0) (3 6 2) (1 2 9)) n9r3c6
((2 1 10) (6 6 5) (2 4)) n2r6c6
((2 1 10) (3 4 2) (2 6 8)) n2r3c4
((2 1 10) (6 6 5) (2 4)) n2r6c6
((5 2 9) (6 1 4) (2 5)) n5r6c1
((4 2 9) (4 4 5) (2 4)) n4r4c4
((2 2 1) (4 1 4) (2 5)) n2r4c1
((4 2 2 11) ((7 6 8) (1 3 4)) ((8 6 8) (1 3 4))) n4r78c6
((5 2 9) (6 1 4) (2 5)) n5r6c1
((5 3 1) (4 7 6) (1 4 5 9)) n5r4c7
- Code: Select all
89 1 2 3 4 5 6 7 89
34678 5 3479 68 678 1 49 2 48
4678 478 47 2 678 9 3 148 5
2 67 1379 4 39 8 5 136 1367
1349 49 8 7 5 6 2 134 1349
5 467 3479 1 39 2 49 3468 34678
14789 4789 5 68 168 34 147 36 2
1478 2 147 5 168 34 147 9 36
14 3 6 9 2 7 8 5 14
1r3c8 => r8c15 <> 8
r3c8=1 - b6n1{r45c8 r45c9} - r9c9{n1 n4} - r2c9{n4 n8} - r1n8{c9 c1}
r3c8=1 - b6n1{r45c8 r45c9} - r9c9{n1 n4} - r2c9{n4 n8} - c4n8{r2 r7}
=> r3c8 <> 1
4r3c8 => r8c15 <> 8
r3c8=4 - r2c9{n4 n8} - r1n8{c9 c1}
r3c8=4 - r2c9{n4 n8} - c4n8{r2 r7}
=> r3c8 <> 4