Satisfying Degree-d Equations over GF[2]n

  • Johan Håstad
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6845)

Abstract

We study the problem where we are given a system of polynomial equations defined by multivariate polynomials over GF[2] of fixed constant degree d > 1 and the aim is to satisfy the maximal number of equations. A random assignment approximates this problem within a factor 2− d and we prove that for any ε > 0, it is NP-hard to obtain a ratio 2− d + ε. When considering instances that are perfectly satisfiable we give a probabilistic polynomial time algorithm that, with high probability, satisfies a fraction 21 − d − 21 − 2d and we prove that it is NP-hard to do better by an arbitrarily small constant. The hardness results are proved in the form of inapproximability results of Max-CSPs where the predicate in question has the desired form and we give some immediate results on approximation resistance of some predicates.

References

  1. 1.
    Arora, S., Lund, C., Motwani, R., Sudan, M., Szegedy, M.: Proof verification and intractability of approximation problems. Journal of the ACM 45, 501–555 (1998)MathSciNetCrossRefMATHGoogle Scholar
  2. 2.
    Arora, S., Safra, S.: Probabilistic checking of proofs: a new characterization of NP. Journal of the ACM 45, 70–122 (1998)MathSciNetCrossRefMATHGoogle Scholar
  3. 3.
    Austrin, P., Håstad, J.: On the usefullness of predicates. Manuscript (2011)Google Scholar
  4. 4.
    Austrin, P., Mossel, E.: Approximation resistant predicates from pairwise independence. Computational Complexity 18, 249–271 (2009)MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Bellare, M., Goldreich, O., Sudan, M.: Free bits, PCPs and non-approximability—towards tight results. SIAM Journal on Computing 27, 804–915 (1998)MathSciNetCrossRefMATHGoogle Scholar
  6. 6.
    Håstad, J.: Some optimal inapproximability results. Journal of ACM 48, 798–859 (2001)MathSciNetCrossRefMATHGoogle Scholar
  7. 7.
    Kasami, T., Tokura, N.: On the weight structure of Reed-Muller codes. IEEE Transactions on Information Theory 16, 752–759 (1970)MathSciNetCrossRefMATHGoogle Scholar
  8. 8.
    Moshkovitz, D., Raz, R.: Two query PCP with sub-constant error. Journal of the ACM 57 (2010)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Johan Håstad
    • 1
  1. 1.Royal Institute of TechnologySweden

Personalised recommendations