Faugère F5 algorithm (Gröbner Bases Gröbner Bases): Difference between revisions
Jump to navigation
Jump to search
(Created page with "== Time Complexity == $O(C(n+D_reg, D_reg)$^{\omega}) where omega is the exponent on matrix multiplication == Space Complexity == $O(C(n+D_{reg}, D_{reg})$^{2})? words (Seems to keep track of a square matrix (for monomials) of size $O(C(n+D_{reg}, D_{reg})^2$)) == Description == == Approximate? == Exact == Randomized? == No, deterministic == Model of Computation == Word RAM == Year == 2002 == Reference == https://dl-acm-org.ezproxy.canberra.edu.au/doi/10.1145/780506.780516") |
No edit summary |
||
| Line 1: | Line 1: | ||
== Time Complexity == | == Time Complexity == | ||
$O(C(n+ | $O(C(n+D_{reg}, D_{reg})$^{\omega}) where omega is the exponent on matrix multiplication | ||
== Space Complexity == | == Space Complexity == | ||
Latest revision as of 08:40, 10 April 2023
Time Complexity
$O(C(n+D_{reg}, D_{reg})$^{\omega}) where omega is the exponent on matrix multiplication
Space Complexity
$O(C(n+D_{reg}, D_{reg})$^{2})? words
(Seems to keep track of a square matrix (for monomials) of size $O(C(n+D_{reg}, D_{reg})^2$))
Description
Approximate?
Exact
Randomized?
No, deterministic
Model of Computation
Word RAM
Year
2002
Reference
https://dl-acm-org.ezproxy.canberra.edu.au/doi/10.1145/780506.780516