Efficient Evaluation of Large Polynomials

  • Charles E. Leiserson
  • Liyun Li
  • Marc Moreno Maza
  • Yuzhen Xie
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6327)


Minimizing the evaluation cost of a polynomial expression is a fundamental problem in computer science. We propose tools that, for a polynomial P given as the sum of its terms, compute a representation that permits a more efficient evaluation. Our algorithm runs in d(nt) O(1) bit operations plus dt O(1) operations in the base field where d, n and t are the total degree, number of variables and number of terms of P. Our experimental results show that our approach can handle much larger polynomials than other available software solutions. Moreover, our computed representation reduce the evaluation cost of P substantially.


Multivariate polynomial evaluation code optimization Cilk++ 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Breuer, M.A.: Generation of optimal code for expressions via factorization. ACM Commun. 12(6), 333–340 (1969)zbMATHCrossRefGoogle Scholar
  2. 2.
    Leiserson, C.E., Li, L., Moreno Maza, M., Xie, Y.: Parallel computation of the minimal elements of a poset. In: Proc. PASCO 2010. ACM Press, New York (2010)Google Scholar
  3. 3.
    Carnicer, J., Gasca, M.: Evaluation of multivariate polynomials and their derivatives. Mathematics of Computation 54(189), 231–243 (1990)zbMATHMathSciNetGoogle Scholar
  4. 4.
    Ceberio, M., Kreinovich, V.: Greedy algorithms for optimizing multivariate horner schemes. SIGSAM Bull 38(1), 8–15 (2004)CrossRefGoogle Scholar
  5. 5.
    Intel Corporation. Cilk++.,
  6. 6.
    von zur Gathen, J., Gerhard, J.: Modern Computer Algebra. Cambridge Univ. Press, Cambridge (1999)zbMATHGoogle Scholar
  7. 7.
    Hosangadi, A., Fallah, F., Kastner, R.: Factoring and eliminating common subexpressions in polynomial expressions. In: ICCAD 2004, pp. 169–174. IEEE Computer Society, Los Alamitos (2004)Google Scholar
  8. 8.
    Peña, J.M.: On the multivariate Horner scheme. SIAM J. Numer. Anal. 37(4), 1186–1197 (2000)zbMATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Peña, J.M., Sauer, T.: On the multivariate Horner scheme ii: running error analysis. Computing 65(4), 313–322 (2000)zbMATHCrossRefMathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Charles E. Leiserson
    • 1
  • Liyun Li
    • 2
  • Marc Moreno Maza
    • 2
  • Yuzhen Xie
    • 2
  1. 1.CSAILMassachussets Institute of TechnologyCambridgeUSA
  2. 2.Department of Computer ScienceUniversity of Western OntarioLondonCanada

Personalised recommendations