Abstract
We present a new class of integer extended ABS algorithms for solving linear Diophantine systems. The proposed class contains the integer ABS (the so-called EMAS and our proposed MEMAS) algorithms and the generalized Rosser’s algorithm as its members. After an application of each member of the class a particular solution of the system and an integer basis for the null space of the coefficient matrix are at hand. We show that effective algorithms exist within this class by appropriately setting the parameters of the members of the new class to control the growth of intermediate results. Finally, we propose two effective heuristic rules for selecting certain parameters in the new class of integer extended ABS algorithms.
Similar content being viewed by others
References
Abaffy J, Broyden CG, Spedicato E (1984) A class of direct methods for linear equations. Numer Math 45: 361–376
Abaffy J, Spedicato E (1989) ABS projection algorithms: mathematical techniques for linear and nonlinear equations. Ellis Horwood, Chichester
Barnette S, Pace IS (1974) Efficient algorithms for linear systems calculations: Part I-Smith form and common divisor of polynomial matrices. Int J Syst Sci 5: 403–411
Blankinship WA (1966) Algorithm 288, solution of simultaneous linear Diophantine equations. Comm ACM 9: 514
Bradley GH (1971) Algorithms for Hermite and Smith normal matrices and linear Diophantine equations. Math Comp 25: 897–907
Cassels JWS (1959) An introduction to the geometry of numbers. Springer, Berlin
Chou TJ, Collins EE (1982) Algorithms for the solutions of systems of linear Diophantine equations. SIAM J Comput 11: 686–708
Chen Z, Deng NY, Xue Y (1992) A general algorithm for underdetermined linear systems. The Proceedings of the first international conference on ABS algorithms, pp 1–13
Egervary E (1956) Aufloesung eines homogenen linearen Diophantischen gleichungsystems mit hilf von projecytomatrizen. Publ Math Debrecen 4: 481–483
Egervary E (1960) On rank–diminishing operations and their application to the solution of linear equations. ZAMP 9: 376–386
Esmaeili H, Mahdavi-Amiri N, Spedicato E (2001a) A class of ABS Algorithms for Diophantine linear systems. Numer Math 90: 101–115
Esmaeili H, Mahdavi-Amiri N, Spedicato E (2001b) Generating the integer null space and conditions for determination of an integer basis using the ABS algorithms. Bull Iran Math Soc 27: 1–18
Frumkin MA (1977) Polynomial time algorithms in the theory of linear Diophantine equations. In: Karpinski M (eds) Fundamentals of computation theory, lecture notes in computer science, 56. Springer, New York, pp 386–392
Kannan R, Bachem A (1979) An polynomial algorithms for computing the Smith and Hermite normal forms of an integer matrix. SIAM J Comput 8: 499–507
Khorramizadeh M, Mahdavi-Amiri N (2008) On solving linear Diophantine systems using generalized Rosser’s algorithm. Bull Iran Math Soc (in press)
Rosser JB (1941) A note on the linear Diophantine equation. Am Math Mon 48: 662–666
Spedicato E, Bodon E, Del Popolo A, Mahdavi-Amiri N (2003) ABS methods and ABSPACK for linear systems and optimization: a review. 4OR 1: 51–66
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Khorramizadeh, M., Mahdavi-Amiri, N. Integer extended ABS algorithms and possible control of intermediate results for linear Diophantine systems. 4OR-Q J Oper Res 7, 145–167 (2009). https://doi.org/10.1007/s10288-008-0082-8
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10288-008-0082-8
Keywords
- Linear Diophantine systems
- Integer ABS algorithms
- EMAS algorithms
- Generalized Rosser’s algorithm
- Expression swell