| lower bound: | 25 |
| upper bound: | 28 |
Construction of a linear code [72,17,25] over GF(2):
[1]: [6, 6, 1] Cyclic Linear Code over GF(2)
UniverseCode of length 6
[2]: [3,0] Code
ZeroCode of length 3
[3]: [63, 16, 23] "BCH code (d = 21, b = 42)" Linear Code over GF(2)
BCHCode with parameters 63 21 42
[4]: [66, 16, 23] Linear Code over GF(2)
DirectSum of [3] and [2]
[5]: [2, 2, 1] Cyclic Linear Code over GF(2)
CordaroWagnerCode of length 2
[6]: [65, 11, 27] Linear Code over GF(2)
Let C1 be the BCHCode over GF( 2) of parameters 63 42. Let C2 the SubcodeBetweenCode of dimension 11 between C1 and the BCHCode with
parameters 63 25. Return ConstructionX using C1, C2 and [5]
[7]: [66, 11, 28] Linear Code over GF(2)
ExtendCode [6] by 1
[8]: [66, 18] Linear Code over GF(2)
The Vector space sum: [7] + [4]
[9]: [66, 17] Linear Code over GF(2)
ExpurgateCode [8]
[10]: [72, 17, 25] Linear Code over GF(2)
ConstructionX using [9] [7] and [1]
last modified: 2001-02-03
Lb(72,17) = 25 XX Ub(72,17) = 28 follows by a one-step Griesmer bound from: Ub(43,16) = 14 follows by a one-step Griesmer bound from: Ub(28,15) = 6 otherwise adding a parity check bit would contradict: Ub(29,15) = 7 Ja
XX:
Notes
|