Skip to main content
Article thumbnail
Location of Repository

A Black-Box Query Complexity of . . .

By Ali Juma, Charles Rackoff, Valentine Kabanets and Amir Shpilka

Abstract

For any given Boolean formula φ(x1,..., xn), one can efficiently construct (using arithmetization) a low-degree polynomial p(x1,..., xn) that agrees with φ over all points in the Boolean cube {0, 1} n; the constructed polynomial p can be interpreted as a polynomial over an arbitrary field F. The problem #SAT (of counting the number of satisfying assignments of φ) thus re-duces to the polynomial summation � x∈{0,1} n p(x). Motivated by this connection, we study the query complexity of the polynomial summation problem: Given (oracle access to) a polynomial p(x1,..., xn), compute � x∈{0,1} n p(x). Obviously, querying p at all 2n points in {0, 1} n suffices. Is there a field F such that, for every polynomial p ∈ F[x1,..., xn], the sum � x∈{0,1} n p(x) can be computed using fewer than 2n queries from Fn? We show that the simple upper bound 2n is in fact tight for any field F in the black-box model where one has only oracle access to the polynomial p. We prove these lower bounds for the adaptive query model where the next query can depend on the values of p at previously queried points. Our lower bounds hold even for polynomials that have degree at most 2 in each variable. In contrast, for polynomials that have degree at most 1 in each variable (i.e., multilinear polynomials), we observe that a single query is sufficient over any field of characteristic other than 2

Year: 2007
OAI identifier: oai:CiteSeerX.psu:10.1.1.135.1621
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://www.cs.sfu.ca/~kabanets... (external link)
  • Suggested articles


    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.