Abstract
The work in this paper is to initiate a theory of testing monomials in multivariate polynomials. The central question is to ask whether a polynomial represented by certain economically compact structure has a multilinear monomial in its sum-product expansion. The complexity aspects of this problem and its variants are investigated with two objectives. One is to understand how this problem relates to critical problems in complexity, and if so to what extent. The other is to exploit possibilities of applying algebraic properties of polynomials to the study of those problems. A series of results about ΠΣΠ and ΠΣ polynomials are obtained in this paper, laying a basis for further study along this line.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Manindra, A., Neeraj, K., Nitin, S.: PRIMES is in P. Ann. of Math. 160(2), 781–793 (2004)
Arora, S., Lund, C., Motwani, R., Sudan, M., Szegedy, M.: Proof verification and the hardness of approximation problems. Journal of the ACM 45(3), 501–555 (1998)
Aspvall, B., Plass, M.F., Tarjan, R.E.: A linear-time algorithm for testing the truth of certain quantified boolean formulas. Information Processing Letters 8(3), 121–123 (1979)
Beigel, R.: The polynomial method in circuit complexity. In: Proceedings of the Eighth Conference on Structure in Complexity Theory, pp. 82–95 (1993)
Bshouty, N.H., Chen, Z., Decatur, S.E., Homer, S.: One the learnability of Z N -DNF formulas. In: Proceedings of the Eighth Annual Conference on Computational Learning Theory (COLT 1995), pp. 198–205. ACM, Santa Cruz (1995)
Chen, Z., Fu, B.: Approximating multilinear monomial coefficients and maximum multilinear monomials in multivariate polynomials. In: Wu, W., Daescu, O. (eds.) COCOA 2010, Part I. LNCS, vol. 6508, pp. 309–323. Springer, Heidelberg (2010)
Chen, Z., Fu, B., Liu, Y., Schweller, R.T.: Algorithms for Testing Monomials in Multivariate Polynomials. In: Proceedings of the Fifth International Conference on Combinatorial Optimization and Applications (2011)
Feige, U., Goldwasser, S., Lovász, L., Safra, S., Szegedy, M.: Interactive proofs and the hardness of approximating cliques. Journal of the ACM 43(2), 268–292 (1996)
Fu, B.: Separating PH from PP by relativization. Acta Math. Sinica 8(3), 329–336 (1992)
Hopcroft, J.E., Karp, R.M.: An n 5/2 algorithm for maximum matchings in bipartite graphs. SIAM Journal on Computing 2(4), 225–231 (1973)
Kabanets, V., Impagliazzo, R.: Derandomizing polynomial identity tests means proving circuit lower bounds. In: STOC, pp. 355–364 (2003)
Klivans, A., Servedio, R.A.: Learning DNF in time \(2^{\tilde{O}(n^{1/3})}\). In: STOC, pp. 258–265 (2001)
Koutis, I.: Faster algebraic algorithms for path and packing problems. In: Aceto, L., Damgård, I., Goldberg, L.A., Halldórsson, M.M., Ingólfsdóttir, A., Walukiewicz, I. (eds.) ICALP 2008, Part I. LNCS, vol. 5125, pp. 575–586. Springer, Heidelberg (2008)
Minsky, M., Papert, S.: Perceptrons (expanded edition 1988). MIT Press, Cambridge (1968)
Papadimitriou, C.H.: Computational Complexity. Addison-Wesley, Reading (1994)
Robson, J.M.: Algorithms for maximum independent sets. Journal of Algorithms 7(3), 425–440 (1986)
Shamir, A.: IP = PSPACE. Journal of the ACM 39(4), 869–877 (1992)
Williams, R.: Finding paths of length k in O *(2k) time. Information Processing Letters 109, 315–318 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chen, Z., Fu, B. (2011). The Complexity of Testing Monomials in Multivariate Polynomials. In: Wang, W., Zhu, X., Du, DZ. (eds) Combinatorial Optimization and Applications. COCOA 2011. Lecture Notes in Computer Science, vol 6831. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22616-8_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-22616-8_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22615-1
Online ISBN: 978-3-642-22616-8
eBook Packages: Computer ScienceComputer Science (R0)