The "Berlekamp algorithm" best known to coding theorists is a fast way to invert matrices with constant diagonals. It works over any field, with the finite fields that occur in coding theory being the most popular. Massey's variation on the algorithm, used to synthesize linear feedback shift registers having a specified output sequence, became known as the "Berlekamp-Massey algorithm". The algorithm is also helpful for decoding various classes of algebraic codes. Since the goal is an algorithm whose work and storage requirements will be comparable to or better than n2, the crucial step is to reformulate the problem in a way that avoids thinking about n by n matrices explicitly. This is done via this congruence:
(1 + S(z)) (z) (z) mod z2n+1.
For most applications with high code rates, the algebraic decoding algorithms patented by Berlekamp and Welch in the early 1980s are still the fastest known. Refinements are presented in Berlekamp's 1996 paper, "Soft Decision+1 Reed-Solomon Decoding".
These algorithms were subsequently applied to probabilistic checking of proofs by Madhu Sudan and his colleagues, who also devised ingenious algorithms to implement list decoding in a way which discovers all codewords that lie within some multiple of half the minimum distance. Although significantly slower than Welch-Berlekamp, Sudan's enhanced methods also attain significantly improved performance when the code rate is low.