Abstract
This paper provides a fast algorithm for Gröbner bases of homogenous ideals of \( \mathbb{F} \)[x, y] over a finite field \( \mathbb{F} \). We show that only the S-polynomials of neighbor pairs of a strictly ordered finite homogenours generating set are needed in the computing of a Gröbner base of the homogenous ideal. It reduces dramatically the number of unnecessary S-polynomials that are processed. We also show that the computational complexity of our new algorithm is O(N 2), where N is the maximum degree of the input generating polynomials. The new algorithm can be used to solve a problem of blind recognition of convolutional codes. This problem is a new generalization of the important problem of synthesis of a linear recurring sequence.
Similar content being viewed by others
References
Buchberger B. Gröbner bases: An algorithmic method in polynomial ideal theory. In: Bose N K, Reidel D, eds. Multidimensional Systems Theory. Dordrecht: D. Peidel Publishing Co., 1984. 184–232
Golic J D. Vectorial boolean functions and induced algebraic equations. IEEE Trans Inf Theory, 2006, 52(2): 528–537
Buchberger B. Gröner bases and system Theory. Special Issue on Applications of Gröner Bases in Multidimensional Systems and Signal Processing. Dordrecht: Kluwer Academic Publishers, 2001
Lazard D. A note on upper bounds for ideal-theoretic problems. J Symb Comp, 1992, 13(3): 231–233
Faugére J. A new efficient algorithm for computing Gröbner bases (F4). J Pure Appl Algebra, 1999, 139: 61–83
Faugére J C, Gianni P, Lazard D, et al. Efficient computation of zero-dimensional Gröbner bases by change of ordering. J Symb Comp, 1993, 16: 329–344
Lu P Z, Shen L, Zou Y, et al. Blind recognition of punctured concolutional codes. Sci China Ser F-Inf Sci, 2005, 48(4): 484–498
Berlekamp E R. Algebraic Coding Theory. New York: McGrw-Hill, 1968
Fitzpatrick P. Solving a multivariable congruence by change of term order. J Symb Comp, 1997, 11: 1–15
Liu M L. Gröbner Basis Theory and the Applications (in Chinese). Beijing: Science Press, 2000
Zou Y, Lu P Z. A new generalization of key equation. Chinese J Comput, 2006, 29(5): 711–718
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported by the National Natural Science Foundation of China (Grant No. 60673082), Special Funds of Authors of Excellent Doctoral Dissertation in Chian (Grant No. 200084)
Rights and permissions
About this article
Cite this article
Lu, P., Zou, Y. Fast computation of Gröbner basis of homogenous ideals of \( \mathbb{F} \)[x, y]. Sci. China Ser. F-Inf. Sci. 51, 368–380 (2008). https://doi.org/10.1007/s11432-008-0032-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11432-008-0032-2