Bounds on the minimum distance of linear codes
Bounds on linear codes [172,4] over GF(2)
lower bound:  91 
upper bound:  91 
Construction
Construction of a linear code [172,4,91] over GF(2):
[1]: [16, 1, 16] Cyclic Linear Code over GF(2)
RepetitionCode of length 16
[2]: [32, 6, 16] Linear Code over GF(2)
PlotkinSum of [21] and [1]
[3]: [30, 4, 16] Linear Code over GF(2)
Shortening of [2] at { 31 .. 32 }
[4]: [44, 4, 23] Linear Code over GF(2)
Juxtaposition of [23] and [3]
[5]: [45, 4, 24] Linear Code over GF(2)
ExtendCode [4] by 1
[6]: [59, 4, 31] Linear Code over GF(2)
Juxtaposition of [23] and [5]
[7]: [60, 4, 32] Linear Code over GF(2)
ExtendCode [6] by 1
[8]: [74, 4, 39] Linear Code over GF(2)
Juxtaposition of [23] and [7]
[9]: [75, 4, 40] Linear Code over GF(2)
ExtendCode [8] by 1
[10]: [89, 4, 47] Linear Code over GF(2)
Juxtaposition of [23] and [9]
[11]: [90, 4, 48] Linear Code over GF(2)
ExtendCode [10] by 1
[12]: [104, 4, 55] Linear Code over GF(2)
Juxtaposition of [23] and [11]
[13]: [105, 4, 56] Linear Code over GF(2)
ExtendCode [12] by 1
[14]: [119, 4, 63] Linear Code over GF(2)
Juxtaposition of [23] and [13]
[15]: [120, 4, 64] Linear Code over GF(2)
ExtendCode [14] by 1
[16]: [134, 4, 71] Linear Code over GF(2)
Juxtaposition of [23] and [15]
[17]: [135, 4, 72] Linear Code over GF(2)
ExtendCode [16] by 1
[18]: [149, 4, 79] Linear Code over GF(2)
Juxtaposition of [23] and [17]
[19]: [150, 4, 80] Linear Code over GF(2)
ExtendCode [18] by 1
[20]: [8, 1, 8] Cyclic Linear Code over GF(2)
RepetitionCode of length 8
[21]: [16, 5, 8] Linear Code over GF(2)
PlotkinSum of [28] and [20]
[22]: [15, 5, 7] Linear Code over GF(2)
Puncturing of [21] at { 16 }
[23]: [14, 4, 7] Linear Code over GF(2)
Shortening of [22] at { 15 }
[24]: [164, 4, 87] Linear Code over GF(2)
Juxtaposition of [23] and [19]
[25]: [165, 4, 88] Linear Code over GF(2)
ExtendCode [24] by 1
[26]: [4, 1, 4] Cyclic Linear Code over GF(2)
RepetitionCode of length 4
[27]: [4, 3, 2] Cyclic Linear Code over GF(2)
Dual of the RepetitionCode of length 4
[28]: [8, 4, 4] Quasicyclic of degree 2 Linear Code over GF(2)
PlotkinSum of [27] and [26]
[29]: [7, 4, 3] Linear Code over GF(2)
Puncturing of [28] at 1
[30]: [172, 4, 91] Linear Code over GF(2)
Juxtaposition of [29] and [25]
last modified: 20010130
From Brouwer's table (as of 20070213)
Lb(172,4) = 91 is found by concatenation of
[7,4,3] and [165,4,88]codes
Ub(172,4) = 91 follows by the Griesmer bound.
Notes
 All codes establishing the lower bounds were constructed using
MAGMA.
 Upper bounds are taken from the tables of Andries E. Brouwer, with the exception of codes over GF(7) with n>50.
For most of these codes, the upper bounds are rather weak.
Upper bounds for codes over GF(7) with small dimension have been provided by Rumen Daskalov.
 Special thanks to John Cannon for his support in this project.
 A prototype version of MAGMA's code database over GF(2) was
written by Tat Chan in 1999 and extended later that year by
Damien Fisher. The current release version was
developed by Greg White over the period 20012006.
 Thanks also to Allan Steel for his MAGMA support.
 My apologies to all authors that have contributed codes to this table for not giving specific credits.
 If you have found any code improving the bounds or some errors, please send me an email:
codes [at] codetables.de

Homepage 
New Query 
Contact
This page is maintained by
Markus Grassl
(grassl@ira.uka.de).
Last change: 30.12.2011