Modular Algorithm for Sparse Multivariate Polynomial Interpolationand its Parallel Implementation

Murao, Hirokazu; Fujise, Tetsuro

doi:10.1006/jsco.1996.0020

Cited by 13 publications

(4 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Hu and Monagan interpolate the coefficients 𝐾𝑟 (𝑐 𝑖 ) (𝑦) modulo a prime 𝑝 using the following modified Ben-Or/Tiwari interpolation. The ideas behind it are due to Murao and Fujise [20] and Kaltofen [12].…”

Section: Modified Ben-or/tiwari Interpolationmentioning

confidence: 99%

Speeding up polynomial GCD, a crucial operation in Maple

Monagan

2022

Maple Trans.

View full text Add to dashboard Cite

Given two multivariate polynomials A and B with integer coefficientswe present a new GCD algorithm which computes G = gcd(A,B).Our algorithm is based on the Hu/Monagan GCD algorithm.If A = G A̅ and B = G B̅ we have modified the Hu/Monaganso that it can interpolate the smaller of G and A̅. We have implemented the new GCD algorithm in Maple withseveral subroutines coded in C for efficiency.Maple currently uses Zippel's sparse modular GCD algorithm.We present timing results comparing Maple's implementation of Zippel's algorithm

show abstract

Section: Modified Ben-or/tiwari Interpolationmentioning

confidence: 99%

Speeding up polynomial GCD, a crucial operation in Maple

Monagan

2022

Maple Trans.

View full text Add to dashboard Cite

show abstract

“…Numerous extensions have been proposed [51,38,30], in particular in order to: deal with finite fields [21,26,32,16,29], avoid the bound on by early termination techniques [34] or extend the problem to the case of sparse rational function [39,37,12,25]. Some algorithms require the black box model to be slightly relaxed and allow evaluations in extension rings or quotient rings [21,41,2,45,37,16,10,23].…”

Section: Introductionmentioning

confidence: 99%

Sparse Polynomial Interpolation and Division in Soft-linear Time

Giorgi,

Grenet,

Cray

et al. 2022

Preprint

View full text Add to dashboard Cite

Given a way to evaluate an unknown polynomial with integer coefficients, we present new algorithms to recover its nonzero coefficients and corresponding exponents. As an application, we adapt this interpolation algorithm to the problem of computing the exact quotient of two given polynomials. ese methods are efficient in terms of the bit-length of the sparse representation, that is, the number of nonzero terms, the size of coefficients, the number of variables, and the logarithm of the degree. At the core of our results is a new Monte Carlo randomized algorithm to recover an integer polynomial ( ) given a way to evaluate ( ) mod for any chosen integers and . is algorithm has nearly-optimal bit complexity, meaning that the total bit-length of the probes, as well as the computational running time, is so ly linear (ignoring logarithmic factors) in the bit-length of the resulting sparse polynomial. To our knowledge, this is the first sparse interpolation algorithm with so -linear bit complexity in the total output size. For integer polynomials, the best previously known results have at least a cubic dependency on the bit-length of the exponents. * In this work, we do not consider the case of unbalanced bit lengths, where the differing sizes of each coefficient and exponent are considered in the complexity.

show abstract

“…Numerous extensions have been proposed [30,38,52], in particular in order to: deal with finite fields [16,21,26,29,32], avoid the bound on 𝑡 by early termination techniques [34] or extend the problem to the case of sparse rational functions [12,25,37,39]. Some algorithms require the black box model to be slightly relaxed and allow evaluations in extension rings or quotient rings [2,10,16,21,23,37,41,45].…”

Section: Introductionmentioning

confidence: 99%

Sparse Polynomial Interpolation and Division in Soft-linear Time

Giorgi

Grenet

Cray

et al. 2022

Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation

View full text Add to dashboard Cite

Given a way to evaluate an unknown polynomial with integer coefficients, we present new algorithms to recover its nonzero coefficients and corresponding exponents. As an application, we adapt this interpolation algorithm to the problem of computing the exact quotient of two given polynomials. These methods are efficient in terms of the bit-length of the sparse representation, that is, the number of nonzero terms, the size of coefficients, the number of variables, and the logarithm of the degree. At the core of our results is a new Monte Carlo randomized algorithm to recover a polynomial 𝑓 (𝑥) with integer coefficients given a way to evaluate 𝑓 (𝜃 ) mod 𝑚 for any chosen integers 𝜃 and 𝑚. This algorithm has nearly-optimal bit complexity, meaning that the total bit-length of the probes, as well as the computational running time, is softly linear (ignoring logarithmic factors) in the bit-length of the resulting sparse polynomial. To our knowledge, this is the first sparse interpolation algorithm with soft-linear bit complexity in the total output size. For polynomials with integer coefficients, the best previously known results have at least a cubic dependency on the bit-length of the exponents. CCS CONCEPTS• Computing methodologies → Algebraic algorithms; • Theory of computation → Design and analysis of algorithms; • Mathematics of computing → Probabilistic algorithms.

show abstract

Modular Algorithm for Sparse Multivariate Polynomial Interpolationand its Parallel Implementation

Cited by 13 publications

References 12 publications

Speeding up polynomial GCD, a crucial operation in Maple

Speeding up polynomial GCD, a crucial operation in Maple

Sparse Polynomial Interpolation and Division in Soft-linear Time

Sparse Polynomial Interpolation and Division in Soft-linear Time

Contact Info

Product

Resources

About