Apply part (b) repeatedly. After the first puncturing, the code has rank , length , and minimum distance at least . Repeating with a minimum-weight codeword at each stage gives
because nested ceilings obey
Thus
which is the binary Griesmer bound.

Articles by others on the same topic (0)

There are currently no matching articles.