ALL BINARY LINEAR CODES OF LENGTHS UP TO 18 OR REDUNDANCY UP TO 10 ARE NORMAL

摘要

We show that all binary codes of lengths 16, 17 and 18, or redundancy 10, are normal. These results have applications in the construction of codes that attain t[n, k], the smallest covering radius of any binary linear code