computational complexity

, Volume 23, Issue 2, pp 207–303 | Cite as

Random arithmetic formulas can be reconstructed efficiently



Informally stated, we present here a randomized algorithm that given black-box access to the polynomial f computed by an unknown/hidden arithmetic formula ϕ reconstructs, on the average, an equivalent or smaller formula \({\hat{\phi}}\) in time polynomial in the size of its output \({\hat{\phi}}\).

Specifically, we consider arithmetic formulas wherein the underlying tree is a complete binary tree, the leaf nodes are labeled by affine forms (i.e., degree one polynomials) over the input variables and where the internal nodes consist of alternating layers of addition and multiplication gates. We call these alternating normal form (ANF) formulas. If a polynomial f can be computed by an arithmetic formula μ of size s, it can also be computed by an ANF formula ϕ, possibly of slightly larger size sO(1). Our algorithm gets as input black-box access to the output polynomial f (i.e., for any point x in the domain, it can query the black box and obtain f(x) in one step) of a random ANF formula ϕ of size s (wherein the coefficients of the affine forms in the leaf nodes of ϕ are chosen independently and uniformly at random from a large enough subset of the underlying field). With high probability (over the choice of coefficients in the leaf nodes), the algorithm efficiently (i.e., in time sO(1)) computes an ANF formula \({\hat{\phi}}\) of size s computing f. This then is the strongest model of arithmetic computation for which a reconstruction algorithm is presently known, albeit efficient in a distributional sense rather than in the worst case.


Arithmetic formulas average case reconstruction 

Subject Classification

68Q15 68W30 13P99 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Eric Allender, Lisa Hellerstein, Paul McCabe, Toniann Pitassi & Michael E. Saks (2008). Minimizing Disjunctive Normal Form Formulas and AC0 Circuits Given a Truth Table. SIAM J. Comput. 38(1), 63–84.CrossRefMATHMathSciNetGoogle Scholar
  2. Maria Emilia Alonso, Teo Mora & Mario Raimondo (1990). Local Decomposition Algorithms. In AAECC, Shojiro Sakata, editor, volume 508 of Lecture Notes in Computer Science, 208–221. Springer. ISBN 3-540-54195-0.Google Scholar
  3. Vikraman Arvind, Partha Mukhopadhyay & Srikanth Srinivasan (2010). New Results on Noncommutative and Commutative Polynomial Identity Testing. Computational Complexity 19(4), 521–558.CrossRefMATHMathSciNetGoogle Scholar
  4. Matthias Aschenbrenner (2004). Ideal membership in polynomial rings over the integers. J. Amer. Math. Soc. 7, 407–411.CrossRefMathSciNetGoogle Scholar
  5. Matthias Aschenbrenner (2011). Algorithms for computing saturations of ideals in finitely generated commutative rings: Appendix to: Automorphisms mapping a point into a subvariety, J. Algebraic Geom. 20 (2011), 785-794.MathSciNetGoogle Scholar
  6. T. Becker, V. Weispfenning & H. Kredel (1993). Gröbner bases: a computational approach to commutative algebra. Graduate texts in mathematics. Springer-Verlag. ISBN 9780387979717. URL
  7. Amos Beimel, Francesco Bergadano, Nader H. Bshouty, Eyal Kushilevitz & Stefano Varricchio (2000). Learning functions represented as multiplicity automata. J. ACM 47(3), 506–530.CrossRefMATHMathSciNetGoogle Scholar
  8. Michael Ben-Or & Prasoon Tiwari (1988). A Deterministic Algorithm for Sparse Multivariate Polynominal Interpolation (Extended Abstract). In STOC, Janos Simon, editor, 301–309. ACM. ISBN 0-89791-264-0.Google Scholar
  9. Nader H. Bshouty & Richard Cleve (1998). Interpolating Arithmetic Read-Once Formulas in Parallel. SIAM J. Comput. 27(2), 401–413.CrossRefMATHMathSciNetGoogle Scholar
  10. Nader H. Bshouty, Richard Cleve & Wayne Eberly (1991). Size-Depth Tradeoffs for Algebraic Formulae. In FOCS, 334–341. IEEE Computer Society.Google Scholar
  11. David Buchfuhrer & Christopher Umans (2008). The Complexity of Boolean Formula Minimization. In ICALP (1), Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir & Igor Walukiewicz, editors, volume 5125 of Lecture Notes in Computer Science, 24–35. Springer. ISBN 978-3-540-70574-1.Google Scholar
  12. CCC13 (2013). Proceedings of the 28th Conference on Computational Complexity, CCC 2013, Palo Alto, California, USA, 5-7 June, 2013. IEEE.Google Scholar
  13. D.A. Cox, J.B. Little & D. O’Shea (2005). Using algebraic geometry. Graduate texts in mathematics. Springer. ISBN 9780387207063. URL
  14. D.A. Cox, J.B. Little & D. O’Shea (2007). Ideals, Varieties and Algorithms. Undergraduate texts in mathematics. Springer.Google Scholar
  15. Wolfram Decker, Gert-Martin Greuel & Gerhard Pfister(1999). Primary Decomposition: Algorithms and Comparisons. In Algorithmic Algebra and Number Theory, B.Heinrich Matzat, Gert-Martin Greuel & Gerhard Hiss, editors, 187–220. Springer Berlin Heidelberg. ISBN 978-3-540-64670-9. URL
  16. Thomas W. Dubé (1993). A combinatorial proof of the effective Nullstellensatz. J. Symb. Comput. 15, 277–296. ISSN 0747-7171. URL
  17. Richard Ehrenborg & Gian-Carlo Rota (1993). Apolarity and Canonical Forms for Homogeneous Polynomials. Eur. J. Comb. 14(3), 157–181.CrossRefMATHMathSciNetGoogle Scholar
  18. Lance Fortnow & Adam R. Klivans (2006). Efficient Learning Algorithms Yield Circuit Lower Bounds. In COLT, Gábor Lugosi & Hans-Ulrich Simon, editors, volume 4005 of Lecture Notes in Computer Science, 350–363. Springer. ISBN 3-540-35294-5.Google Scholar
  19. von zur Gathen J. (1987) Permanent and Determinant. Linear Algebra and its Applications 96: 87–100CrossRefMATHMathSciNetGoogle Scholar
  20. G.M. Greuel & G. Pfister (2007). A Singular Introduction to Commutative Algebra. Springer. ISBN 9783540735427. URL
  21. Ankit Gupta, Pritish Kamath, Neeraj Kayal & Ramprasad Saptharishi (2013a). Approaching the Chasm at Depth Four. In CCC13 (2013), 65–73.Google Scholar
  22. Ankit Gupta, Neeraj Kayal & Satyanarayana V. Lokam (2011). Efficient Reconstruction of Random Multilinear Formulas. In FOCS, Rafail Ostrovsky, editor, 778–787. IEEE. ISBN 978-1-4577-1843-4.Google Scholar
  23. Ankit Gupta, Neeraj Kayal & Satyanarayana V. Lokam (2012). Reconstruction of depth-4 multilinear circuits with top fan-in 2. In Karloff & Pitassi (2012), 625–642.Google Scholar
  24. Ankit Gupta, Neeraj Kayal & Youming Qiao (2013b). Random Arithmetic Formulas Can Be Reconstructed Efficiently. In CCC13 (2013), 1–9.Google Scholar
  25. Joe Harris (1992). Algebraic Geometry: a first course. Springer.Google Scholar
  26. Johan Håstad (1990). Tensor rank is NP-complete. J. Algorithms 11, 644–654. ISSN 0196-6774. URL
  27. Grete Hermann (1926). Die Frage der endlich vielen Schritte in der Theorie der Polynomideale. Mathematische Annalen 95, 736–788. ISSN 0025-5831. URL
  28. Grete Hermann (1998). The question of finitely many steps in polynomial ideal theory. SIGSAM Bull. 32(3), 8–30. ISSN 0163-5824. URL
  29. Gabriela Jeronimo & Juan Sabia (2002). Effective equidimensional decomposition of affine varieties. Journal of Pure and Applied Algebra 169(2-3), 229 – 248. ISSN 0022-4049. URL
  30. S. Jukna (2012). Boolean Function Complexity: Advances and Frontiers. Algorithms and Combinatorics. Springer. ISBN 9783642245084. URL
  31. Valentine Kabanets & Jin-Yi Cai (2000). Circuit minimization problem. In STOC, F. Frances Yao & Eugene M. Luks, editors, 73–79. ACM. ISBN 1-58113-184-4.Google Scholar
  32. Kalorkoti K. (1985) A Lower Bound for the Formula Size of Rational Functions. SIAM J. Comput. 14(3): 678–687CrossRefMATHMathSciNetGoogle Scholar
  33. Erich Kaltofen (1985). Polynomial-Time Reductions from Multivariate to Bi- and Univariate Integral Polynomial Factorization. SIAM J. Comput. 14(2), 469–489.CrossRefMATHMathSciNetGoogle Scholar
  34. Erich Kaltofen (1989). Factorization of polynomials given by straight-line programs. Randomness and Computation 5, 375–412.Google Scholar
  35. Erich Kaltofen & Barry M. Trager (1990). Computing with Polynomials Given By Black Boxes for Their Evaluations: Greatest Common Divisors, Factorization, Separation of Numerators and Denominators. J. Symb. Comput. 9(3), 301–320.CrossRefMATHMathSciNetGoogle Scholar
  36. Erich Kaltofen & Lakshman Yagati (1988). Improved Sparse Multivariate Polynomial Interpolation Algorithms. In ISSAC, Patrizia M. Gianni, editor, volume 358 of Lecture Notes in Computer Science, 467–474. Springer. ISBN 3-540-51084-2.Google Scholar
  37. Howard J. Karloff & Toniann Pitassi (editors) (2012). Proceedings of the 44th Symposium on Theory of Computing Conference, STOC 2012, New York, NY, USA, May 19 - 22, 2012. ACM. ISBN 978-1-4503-1245-5.Google Scholar
  38. Zohar Shay Karnin & Amir Shpilka (2009). Reconstruction of Generalized Depth-3 Arithmetic Circuits with Bounded Top Fan-in. In IEEE Conference on Computational Complexity, 274–285. IEEE Computer Society. ISBN 978-0-7695-3717-7.Google Scholar
  39. Neeraj Kayal (2011). Efficient algorithms for some special cases of the polynomial equivalence problem. In Proceedings of ACM-SIAM Symposium on Discrete Algorithms (SODA), 1409–1421.Google Scholar
  40. Neeraj Kayal (2012). Affine projections of polynomials: extended abstract. In Karloff & Pitassi (2012), 643–662.Google Scholar
  41. Adam Klivans & Amir Shpilka (2003). Learning Arithmetic Circuits via Partial Derivatives. In COLT, Bernhard Schölkopf & Manfred K. Warmuth, editors, volume 2777 of Lecture Notes in Computer Science, 463–476. Springer. ISBN 3-540-40720-0.Google Scholar
  42. Adam Klivans & Daniel A. Spielman (2001). Randomness efficient identity testing of multivariate polynomials. In STOC, Jeffrey Scott Vitter, Paul G. Spirakis & Mihalis Yannakakis, editors, 216–223. ACM. ISBN 1-58113-349-9.Google Scholar
  43. Adam R. Klivans, Homin K. Lee & Andrew Wan (2010). Mansour’s Conjecture is True for Random DNF Formulas. In COLT, Adam Tauman Kalai & Mehryar Mohri, editors, 368–380. Omnipress. ISBN 978-0-9822529-2-5.Google Scholar
  44. János Kollár (1988). Sharp effective Nullstellensatz. Journal of the American Mathematical Society 1, 963–975.CrossRefMATHMathSciNetGoogle Scholar
  45. Teresa Krick & Alessandro Logar (1990). Membership problem, representation problem and the computation of the radical for one-dimensional ideals. In Proceedings MEGA-90.Google Scholar
  46. Daniel Lazard (1981). Resolution des Systemes d’Equations Algebriques. Theor. Comput. Sci. 15, 77–110.CrossRefMATHMathSciNetGoogle Scholar
  47. Daniel Lazard (2001). Solving systems of algebraic equations. SIGSAM Bull. 35(3), 11–37. ISSN 0163-5824. URL
  48. Daniel Lazard (2009). Thirty years of Polynomial System Solving, and now? J. Symb. Comput. 44(3), 222–231.CrossRefMATHMathSciNetGoogle Scholar
  49. Yishay Mansour (1994). Learning Boolean Functions via the Fourier Transform. In Theoretical Advances in Neural Computation and Learning, 391–424.Google Scholar
  50. Linda Sellie (2009). Exact learning of random DNF formulas over the uniform distribution. In Proceedings of the 41st annual ACM symposium on Theory of computing, STOC ’09, 45–54. ACM, New York, NY, USA. ISBN 978-1-60558-506-2. URL
  51. Amir Shpilka (2009). Interpolation of Depth-3 Arithmetic Circuits with Two Multiplication Gates. SIAM J. Comput. 38(6), 2130–2161.CrossRefMATHMathSciNetGoogle Scholar
  52. Amir Shpilka & Ilya Volkovich (2008). Read-once polynomial identity testing. In STOC, Cynthia Dwork, editor, 507–516. ACM. ISBN 978-1-60558-047-0.Google Scholar
  53. Amir Shpilka & Amir Yehudayoff (2010). Arithmetic Circuits: A survey of recent results and open questions. Foundations and Trends in Theoretical Computer Science 5, 207–388. ISSN 1551-305X. URL
  54. C.K. Yap (2000). Fundamental problems of algorithmic algebra. Oxford University Press. ISBN 9780195125160. URL
  55. Richard Zippel (1990). Interpolating Polynomials from Their Values. J. Symb. Comput. 9(3), 375–403.CrossRefMATHMathSciNetGoogle Scholar

Copyright information

© Springer Basel 2014

Authors and Affiliations

  1. 1.Microsoft Research IndiaBangaloreIndia
  2. 2.Centre for Quantum Computation and Intelligent SystemsUniversity of TechnologySydneyAustralia
  3. 3.Centre for Quantum TechnologiesNational University of SingaporeSingaporeSingapore

Personalised recommendations