On the complexity of the extended euclidean algorithm (Extended Abstract)
β Scribed by George Havas
- Publisher
- Elsevier Science
- Year
- 2003
- Tongue
- English
- Weight
- 92 KB
- Volume
- 78
- Category
- Article
- ISSN
- 1571-0661
No coin nor oath required. For personal study only.
β¦ Synopsis
Euclid's algorithm for computing the greatest common divisor of 2 numbers is considered to be the oldest proper algorithm known ([10]). This algorithm can be amplified naturally in various ways. The GCD problem for more than two numbers is interesting in its own right. Thus, we can use Euclid's algorithm recursively to compute the GCD of more than two numbers. Also, we can do a constructive computation, the so-called extended GCD, which expresses the GCD as a linear combination of the input numbers.
Extended GCD computation is of particular interest in number theory (see [1, chapters 2 and 3]) and in computational linear algebra ([3, 4, 9]), in both of which it takes a basic role in fundamental algorithms. An overview of some of the earlier history of the extended GCD is given in [1], showing that it dates back to at least Euler.
Motivated by many efforts to find good algorithms for extended GCD computation, Majewski and Havas ([12]) showed that this is genuinely difficult. There are a number of problems for which efficient solutions are not readily available.
π SIMILAR VOLUMES
Proof search in linear logic is known to be di cult: the provability of propositional linear logic formulas is undecidable. Even without the modalities, multiplicativeadditive fragment of propositional linear logic, mall, i s k n o wn to be pspace-complete, and the pure multiplicative fragment, mll,
Microscopes offer a limited depth of focus which precludes the observation of a complete image of a three-dimensional (3D) object in a single view. Investigations, by a variety of researchers, have led to the development of extended depth of focus algorithms for serial optical slices of microscopic
In the present paper we consider the shift operator S on the Wiener algebra W (D) of analytic functions on the unit disc D of the complex plane C. A complex number Ξ» is called an extended eigenvalue of S if there exists a nonzero operator A satisfying the equation AS = Ξ»SA. We prove that the set of