Binary 2-Deletion-Correcting Code Construction (n=6 to n=18)
3Code Size (n=6)Explicit construction
Evaluation Results
| Method | Links | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Explicit construction2025.04 | 3 | 4 | 5 | 6 | 8 | 9 | 11 | 15 | 18 | 22 | 30 | 35 | 43 | |
| LP upper boundSolver type=LP2025.04 | 4 | 5 | 8 | 12 | 20 | 33 | 55 | 93 | 160 | 277 | 487 | 862 | 1,539 | |
| ILP upper boundSolver type=ILP2025.04 | 4 | 5 | 8 | 11 | 16 | 24 | 53 | — | — | — | — | — | — | |
| ILP lower boundSolver type=ILP2025.04 | 4 | 5 | 8 | 11 | 16 | 24 | 34 | 46 | 72 | 114 | 189 | 316 | 525 | |
| OnlineMISSolver type=MIS solver2025.04 | 4 | 5 | 7 | 11 | 16 | 24 | 36 | 46 | 87 | 136 | 215 | 346 | 563 | |
| ReduMISSolver type=MIS solver2025.04 | 4 | 5 | 7 | 11 | 16 | 24 | 37 | 56 | 87 | 135 | 215 | 349 | 567 | |
| Random greedy2025.04 | 4 | 5 | 7 | 10 | 14 | 20 | 30 | 44 | 66 | 102 | 162 | 258 | 416 | |
| Search heuristics2025.04 | 4 | 5 | 7 | 11 | 16 | 21 | 31 | 49 | 75 | 109 | 176 | 286 | 485 | |
| FunSearchSearch space parameter (s)=22025.04 | 4 | 5 | 7 | 10 | 16 | 23 | 34 | 48 | 76 | 120 | 194 | 311 | 520 | |
| FunSearchSearch space parameter (s)=∈ {1, 2}2025.04 | 4 | 4 | 7 | 10 | 15 | 21 | 33 | 49 | 78 | 123 | 200 | 332 | 539 |