Binary Deletion-Correcting Code Construction on Binary 3-deletion-correcting codes
2Code Length n=6 ResultLP upper bound
Evaluation results
| Method | Links | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| LP upper boundSolver type=LP2025.04 | 2 | 2 | 4 | 5 | 7 | 10 | 16 | 24 | 38 | 61 | 99 | 163 | 273 | |
| ILP upper boundSolver type=ILP2025.04 | 2 | 2 | 4 | 5 | 6 | 8 | 16 | — | — | — | — | — | — | |
| ILP lower boundSolver type=ILP2025.04 | 2 | 2 | 4 | 5 | 6 | 8 | 11 | 13 | 17 | 24 | 36 | — | — | |
| OnlineMISSolver type=MIS solver2025.04 | 2 | 2 | 4 | 5 | 6 | 8 | 12 | 16 | 22 | 30 | 42 | 60 | — | |
| ReduMISSolver type=MIS solver2025.04 | 2 | 2 | 4 | 5 | 6 | 8 | 12 | 16 | — | — | — | — | — | |
| Random greedy2025.04 | 2 | 2 | 4 | 5 | 6 | 8 | 10 | 13 | 17 | 24 | 32 | 45 | 65 | |
| Search heuristics2025.04 | 2 | 2 | 4 | 5 | 6 | 7 | 10 | 12 | 15 | 24 | 31 | 48 | 71 | |
| Explicit construction2025.04 | 2 | 2 | 3 | 4 | 4 | 5 | 6 | 8 | 8 | 9 | 11 | 15 | 16 | |
| FunSearchSearch space parameter (s)=32025.04 | 2 | 2 | 4 | 5 | 6 | 8 | 12 | 16 | 20 | 25 | 37 | 53 | 78 | |
| FunSearchSearch space parameter (s)=∈ {1, 2}2025.04 | 2 | 2 | 4 | 4 | 5 | 7 | 10 | 14 | 19 | 28 | 39 | 57 | 81 |