Single-deletion-correcting code construction on Binary single-deletion-correcting codes n=15
1,111Code SizeRandom greedy
Evaluation Results
| Method | Links | |
|---|---|---|
| Random greedy2025.04 | 1,111 | |
| ILP lower boundRelaxation type=ILP, Bound type=lower2025.04 | 1,345 | |
| MIS solver: ReduMISSolver variant=ReduMIS2025.04 | 1,453 | |
| MIS solver: OnlineMISSolver variant=OnlineMIS2025.04 | 1,469 | |
| Ours (search over s ∈ {1, 2})Search space (s)={1, 2}2025.04 | 2,042 | |
| VT0(n) code2025.04 | 2,048 | |
| Ours (search over s = 1)Search space (s)=12025.04 | 2,048 | |
| LP upper boundRelaxation type=LP, Bound type=upper2025.04 | 2,251 | |
| ILP upper boundRelaxation type=ILP, Bound type=upper2025.04 | 2,883 |