For , let be the binary matrix whose columns are all distinct nonzero vectors of . The binary Hamming code is . Its parity-check matrix has rank since its columns include the standard basis. Hence is linear of length and dimension .
No word of weight one or two lies in , since columns are nonzero and distinct; three columns sum to zero, so the minimum distance of a code is exactly three. The syndrome of a single-bit error is its column of , uniquely identifying the erroneous position. The possible syndromes correspond to no error or exactly one of single-bit errors. Alternatively, every radius-one Hamming ball has words andDisjoint balls therefore cover the whole word space. This proves linearity, one-error correction and perfection. For , the parameters are , giving the 16 messages needed below.
Independence of individual bit errors gives . Independent retransmissions have a geometric distribution with success probability , so the expected total number of transmissions, including the successful one, is . At the supplied values, and .
A Hamming code decoder succeeds on a seven-bit block exactly when there are zero or one errors. Its radius-one decoding regions are disjoint, so an error of weight at least two cannot decode back to the original codeword. ThusNumerically , so only about transmissions are expected. Even accounting for seven rather than four bits per letter, expected bits sent are , compared with . The Hamming method is substantially better under the stated error detection and independent retransmission assumptions.
Articles by others on the same topic
There are currently no matching articles.