English

Faster Interpolation Algorithms for Sparse Multivariate Polynomials Given by Straight-Line Programs\

Symbolic Computation 2018-07-18 v4

Abstract

In this paper, we propose new deterministic and Monte Carlo interpolation algorithms for sparse multivariate polynomials represented by straight-line programs. Let ff be an nn-variate polynomial given by a straight-line program, which has a degree bound DD and a term bound TT. Our deterministic algorithm is quadratic in n,Tn,T and cubic in logD\log D in the Soft-Oh sense, which has better complexities than existing deterministic interpolation algorithms in most cases. Our Monte Carlo interpolation algorithms have better complexities than existing Monte Carlo interpolation algorithms and are the first algorithms whose complexities are linear in nTnT in the Soft-Oh sense. Since nTnT is a factor of the size of ff, our Monte Carlo algorithms are optimal in nn and TT in the Soft-Oh sense.

Keywords

Cite

@article{arxiv.1709.08979,
  title  = {Faster Interpolation Algorithms for Sparse Multivariate Polynomials Given by Straight-Line Programs\},
  author = {Qiao-Long Huang and Xiao-Shan Gao},
  journal= {arXiv preprint arXiv:1709.08979},
  year   = {2018}
}