Gröbner bases

From Algorithm Wiki
Jump to navigation Jump to search

Problem Description

In mathematics, and more specifically in computer algebra, computational algebraic geometry, and computational commutative algebra, a Gröbner basis is a particular kind of generating set of an ideal in a polynomial ring K[x1, ..,xn] over a field K.

Bounds Chart

Gröbner basesBoundsChart.png

Step Chart

Gröbner basesStepChart.png

Improvement Table

Complexity Classes Algorithm Paper Links Lower Bounds Paper Links
Exp/Factorial Buchberger's algorithm (1976)
Polynomial > 3 Faugère F4 algorithm (1999)

Faugère F5 algorithm (2002)

Cubic
Quadratic
nlogn
Linear
logn