You are here
Home ›Berlekamp-Massey algorithm
Primary tabs
Berlekamp-Massey algorithm
The Berlekamp-Massey algorithm is used for finding the minimal polynomial of a linearly recurrent sequence. The algorithm itself is presented at the end of this article.
Definition 1.
Suppose the infinite sequence with elements from a field has the property that there exist constants in such that, for all ,
Then is called a linearly recurrent sequence.
Definition 2.
Given a linearly recurrent sequence , suppose with satisfy, for all
Then the polynomial
is called an annihilator for .
Proposition 1.
The annihilators of form an ideal of .
Definition 3.
Since is a principal ideal domain, the ideal of ’s annihilators have a unique monic generator of minimal degree. This annihilator is called the minimal polynomial of .
To find the minimal polynomial, we need to be given an upper bound on its degree; having done so, the minimal polynomial is uniquely determined by the first elements of (since we need to get equations to solve for the unknowns ).
There is another way to determine the minimal polynomial, originally presented by Dornstetter, which uses the Euclidean Algorithm. It can be shown that the characteristic polynomial of a sequence is the unique monic polynomial of least degree for which the infinite product
has finitely many nonzero terms. (In fact, the nonzero terms will have coefficients up to where is the degree of ).
We can rewrite this as
where is a remainder polynomial of degree ¡ , and is a quotient polynomial. Denote by the sum .
This is where the Euclidean Algorithm comes in; if we take the GCD of and , keeping track of remainders, we get two sequences such that
forms a series of polynomials whose degree is decreasing; as soon as this degree is less than , we have the needed polynomials with .
There is more info about the Extended Euclidean Algorithm in “Modern Computer Algebra” by von zur Gathen and Gerhard.
(Berlekamp’s algorithm proper to come)
Mathematics Subject Classification
15A03 Vector spaces, linear dependence, rank11B37 Recurrences
- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)
- Other useful stuff
Recent Activity
new question: Sorry to steal a few minutes of your time for this question, but i honestly don't know what else to do. by Whrazithar
new question: equality of the determinants of submatrices of an orthogonal matrix by ismayli
Jun 11
new correction: Typo by suitangi
Jun 2
new question: Creating another set with same cardinality. by hkkass
Jun 1
new image: ProblemOneRevised by unlord
new Education: Chapter II by rspuzio
May 31
new collection: The Calculus by Davis and Brenke by rspuzio
new question: Proofs by weixifan
new question: Summation Integration Question by trevor.nickle
May 27
new correction: typo+finite measure hypothesis by Filipe


