Conclusion
The paper proposes a declarative description of the Buchberger algorithm. This is an executable specification and it may serve as a source for the construction and justification of a whole family of various sequential and parallel implementations of the algorithm. We consider one of such parallel implementations in the algebraic programming environment APS.
Experiments with the program have been conducted using a simulation model. The operation of four processors was simulated. The results of the first experiments showed that with sufficiently large examples the program achieves efficiency of the order of 0.8(acceleration by a factor of 3.2). A broader experimental study requires a more powerful simulation system and access to multiprocessor systems.
New experiments are being designed using larger models and local networks. The entire “hidden” part of the Buchberger algorithm, i.e., the functions reduce, Spl, and all that is necessary for their efficient implementation in an algebraic programming system, has been developed by the author's student V. A. Volkov using vector-monomial representation of polynomials. This is the subject of a separate publication.
Similar content being viewed by others
References
B. Buchberger, “Grobner bases: an algorthmic method in polynomial ideal theory,” in: Computer Algebra, Springer (1983).
B. Buchberger, “History and basic features of the critical-pair completion procedure,” J. Symbol. Comput.,3, Nos. 1 and 2, 3–38 (1987).
G. Attardi and C. Traverso, “A strategy-accurate parallel Buchberger algorithm,” PASCO '94: Proc Int. Conf. on Parallll Symbolic Computation, Linz, Austria, Sept. 27–30, 1994, World Scientific Publ. Co. (1994), pp. 12–21.
J. C. Faugere, “Parallelization of Grobner basis,” PASCO '94: Proc Int. Conf. on Parallel Symbolic Computation, Linz, Austria, Sept. 27–30, 1994, World Scientific Publ. Co. (1994), pp. 124–132.
J.-P. Vidal, “The computation of Grobner bases on a shared memory multiprocessor,” Lect. Notes Comput. Sci.,429, 81–90 (1990).
S. Chakrabarti and K. A. Yelick, “Implementing an irregular application on a distributed memory multiprocessor,” 4th ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming, San Diego, CA, May 19–22, 1993, ACM Press (1993), pp. 169–178.
K. A. Yelick, “Programming models for irregular applications,” SIGPLAN Notices,28, No. 1, 28–31 (1993)
Yu. V. Kapitonova and A. A. Letichevskii, “Methods and tools of algebraic programming,” Kibernetika, No. 3, 7–12 (1993).
A. A. Letichevsky, J. V. Kapitonova, and S. V. Konozenko, “Computations in APS,” Theor. Comput. Sci.,119, 145–171 (1993).
G. Huet and D. Oppen, “Equations and rewrite rules. A survey,” in: Formal Languages: Perspectives and Open Problems, Pergamon, New York (1980), pp. 349–405.
Yu. V. Kapitonova and A. A. Letichevskii, Mathematical Theory of Computer System Design [in Russian], Nauka, Moscow (1988).
N. Dershovitz and J.-P. Jouannaud, “Rewrite systems,” in: Handbook of Theoretical Computer Science (1990).
Yu. V. Kapitonova and A. A. Letichevskii, “Constructive mathematical descriptions of application domains,” Kibernetika, No. 4, 17–26 (1988).
Additional information
Translated from Kibernetika i Sistemnyi Analiz, No. 2, pp. 52–62, March–April, 1995.
Rights and permissions
About this article
Cite this article
Letichevskii, A.A. Paralielization of the Buchberger algorithm. Cybern Syst Anal 31, 199–206 (1995). https://doi.org/10.1007/BF02366919
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02366919