A General Logic for Sudoku Golden Nugget |
Elimination 45 An example of a simple set logic proof. The logic has 11 sets, 13 linksets, and thus a rank of 2 that would require 3 overlapping sets to eliminate a candidate. The candidate at 4r7c7 (orange) is at the intersection of 2 linksets but the triplet near the top at 1r1c7 lowers the rank along the ALS (124) in r12c7 to a rank of 1, thus eliminating the candidate. Set Logic and Grid E45a
29 Nodes, Rank 2: 11 Sets = {1r347 4r4 7r7 247c3 2c8 12n7} 13
Links = {2r6 1c2 1c4 124c7 12n3 7n7 4n8 1b3 4b4 7b7} --> (4c7*7n7) => r7c7<>4
+--------------------------------------------------------------------+ | 257
145 15(27) | 68 247
68 | (124) 3
9 | | 89
89 (247) | 3
47 1 | (24)
6 5 | | 26
46(1) 3 | 29
5 49 | 8
47(1) 47(1) |
+--------------------------------------------------------------------+ | 235
35(4) 8 | 5(1)
9 7 | 35(14) (124) 6
| | 359
7 6(4) | 158
136 2 | 3459
1489 1348 | | 1
3569 56(2) | 4
36 3568 | 3579
789(2) 378 |
+--------------------------------------------------------------------+ | 36(7)
36(1) 9 |
26(1) 8 346
| 34(17) 5 24 | | 3578
2 15(7) | 159
134 3459 | 6
14789 13478 | | 4
368 156 | 7
126 3569 | 139
189 1238 |
+--------------------------------------------------------------------+ Logic Diagram |