的最小距离为 formula_4。
Singleton 界的描述.长度为 formula_2 的分组码 formula_1 的最小距离定义为：其中 formula_8 是 formula_9 和 formula_10 之间的汉明距离。表达式formula_11 表示长度为 formula_2，极小距离为 formula_4 的 formula_14 元分组码所能容纳的码字个数的的最大值。Singleton 界断言
证明.首先，长度为 formula