basics:
- Code: Select all
( n7r5c3 n4r5c7 n1r7c9 n7r4c8 n9r4c9 n4r6c1 n5r9c7
n7r8c9 n7r9c4 n1r9c6 n1r2c1 n9r9c1 n1r1c4 n4r2c4
n5r2c9 n4r1c9 )
intersections:
((((8 0) (8 1 7) (3 8)) ((8 0) (8 3 7) (2 3 6 8))))
PAIR ROW: ((3 1 1) (3 8)) ((3 4 2) (3 8))
(((3 3 1) (3 5 6 8)) ((3 5 2) (3 5 6 8)))
- Code: Select all
23r7c7 => r8c1 <> 3
r7c7=2 - r8n2{c7 c3} - r8n8{c3 c1}
r7c7=3 - c8n3{r89 r1} - c6n3{r1 r8}
ste.
Leren wrote:For Template fans five 3's get eliminated as shown - because the computer says so !
in this case it is easy to check by hand the eliminations given by the computer:
two 3 are already found so to form the possible templates they must be completed by seven cells, as there are 24 candidate cells for 3 simply form the 346104 combinations of 7 cells, then remove the combinations where the cells are not pairwise disconnected, only 10 will be left and observe that 5 of the 24 cells are not in any of them and you are done.
suppose it takes on average 5 seconds to form and check one combination so 346104*5 = 1730520 seconds ≈ 20 days.
- Code: Select all
#VT: (2 3 10 2 4 9 1 8 4)
7 2569 235689 1 3568 358 369 36 4
1 69 369 4 7 2 369 8 5
38 4 3568 38 3568 9 7 1 2
6 3 15 2 458 458 18 7 9
2 8 7 9 1 6 4 5 3
4 59 159 38 358 7 18 2 6
5 7 4 6 238 38 23 9 1
38 1 2368 5 9 348 236 346 7
9 26 236 7 234 1 5 346 8
Value: 3
Value Cells: (29 45)
Candidate Cells: (3 5 6 7 8 12 16 19 21 22 23 49 50 59 60 61 64 66 69 70 71 75 77 80)
Union csets: (3 5 6 7 . 12 16 19 21 22 23 49 50 59 60 . 64 66 . . 71 75 . 80)
Complementary Sets: 10
(3 16 22 50 60 64 80)
(3 16 23 49 60 64 80)
(7 12 22 50 60 64 80)
(7 12 23 49 60 64 80)
(5 16 19 49 60 66 80)
(5 16 19 49 60 71 75)
(6 16 19 49 59 66 80)
(6 16 19 49 59 71 75)
(5 16 21 49 60 64 80)
(6 16 21 49 59 64 80)
Candidate 3 to be eliminated in cells: (8 61 69 70 77)
Value: 5
Value Cells: (18 44 55 67 79)
Candidate Cells: (2 3 5 6 21 23 30 32 33 47 48 50)
Union csets: (2 3 5 6 21 23 . 32 33 47 48 .)
Complementary Sets: 4
(2 23 33 48)
(3 23 33 47)
(5 21 33 47)
(6 21 32 47)
Candidate 5 to be eliminated in cells: (30 50)
Value: 8
Value Cells: (17 38 81)
Candidate Cells: (3 5 6 19 21 22 23 32 33 34 49 50 52 59 60 64 66 69)
Union csets: (3 5 6 19 21 22 23 32 33 34 49 50 52 59 60 64 66 .)
Complementary Sets: 8
(3 22 32 52 60 64)
(3 22 33 52 59 64)
(3 22 34 50 60 64)
(3 23 34 49 60 64)
(5 19 34 49 60 66)
(6 19 34 49 59 66)
(5 21 34 49 60 64)
(6 21 34 49 59 64)
Candidate 8 to be eliminated in cell: (69)