×

Use of extended Euclidean algorithm in solving a system of linear Diophantine equations with bounded variables. (English) Zbl 1143.11373

Hess, Florian (ed.) et al., Algorithmic number theory. 7th international symposium, ANTS-VII, Berlin, Germany, July 23–28, 2006. Proceedings. Berlin: Springer (ISBN 3-540-36075-1/pbk). Lecture Notes in Computer Science 4076, 182-192 (2006).
Summary: We develop an algorithm to generate the set of all solutions to a system of linear Diophantine equations with lower and upper bounds on the variables. The algorithm is based on the Euclid’s algorithm for computing the GCD of rational numbers. We make use of the ability to parametrise the set of all solutions to a linear Diophantine equation in two variables with a single parameter. The bounds on the variables are translated to bounds on the parameter. This is used progressively by reducing a \(n\) variable problem into a two variable problem. Computational experiments indicate that for a given number of variables the running times decreases with the increase in the number of equations in the system.
For the entire collection see [Zbl 1103.11002].

MSC:

11Y50 Computer solution of Diophantine equations
11D04 Linear Diophantine equations
PDFBibTeX XMLCite
Full Text: DOI