Recall our conventions from the last lecture:
is any field
and a(x) and
which are nonzero.
Assume that
.
Also assume that
.
Let
r-1 = a(x) and
r0 = b(x). The
Extended Euclidean Algorithm computes
Proof. We have proved that
| (10) |
Proof.
(Existence) We may assume that
.
Apply the Extended Euclidean Algorithm to
r-1 = a(x) and
r0 = b(x). Stop the algorithm
as soon as
(thus
).
Then
and
.
We claim that
as
Hence we can take
r(x) = ri and
v(x) = vi.
(Uniqueness) Suppose we have another such pair
with
.
Then
and
imply that
Remark.
For a given pair j,k with j+k=m-1,
it is possible that the solution
v(x) = vicomputed by EEA may not be relatively prime to a(x), thus
may not make sense (as
does
not exist). In this case, there may not exist any
such that
and
The above theorem holds also for any power series
where
and for
a(x) = xj+k+1.
One can use EEA to compute all the solution pairs
r(x), v(x) for
.
These solutions together are called the
Padé approximation table for b(x).
The above corollary solves a major step in decoding BCH codes
where d = 2t+1 is the distance of the code,
S(x) corresponds to the syndrome polynomial (known),
the error evaluator polynomial (unknown)
and
the error locator polynomial (unknown).
We mention another application of EEA.
Finally, we show how to solve Problems 4.1-4.3
efficiently.
For Problem 4.1, EEA computes
.
Then a(x) and b(x) have a nontrivial common divisor
iff
.
So this problem can be solved in quadratic time.
For Problem 4.2, for a solution to exist
must divide r(x). To solve this problem,
apply EEA to compute
and to find
such that
d(x)= u1(x) a(x) + v1(x) b(x).
Then test if d(x) divide r(x). If not, no solutions exist. If
yes, say
r(x) = r1(x) d(x) where
,
then
r(x) = u(x) a(x) + v(x) b(x) for
u(x)=r1(x) u1(x) and
v(x)= r1(x) v1(x).
Hence Problem 4.2 can be solved in quadratic time.
For Problem 4.3, we make it more precise, namely:
Given
and integers j,k with
,
find
(if exist) such that
and