关于最小距离下限的一般定理

在纠错编码理论中,求给定线性分组码的最小距离是非常重要和非常困难的,这个问题至今没有解决。因此,许多研究者提出求最小距离下限的方法。本文给出求最小距离下限的一般定理。这定理包括并改进关于最小距离下限的许多定理。设任意域F上的矩阵A和B为: