Approximation by DNF: examples and counterexamples

  • Authors:
  • Ryan O'Donnell;Karl Wimmer

  • Affiliations:
  • Carnegie Mellon University, Pittsburgh PA;Carnegie Mellon University, Pittsburgh PA

  • Venue:
  • ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Say that f : {0, 1}n → {0, 1} ε-approximates g : {0, 1}n → {0, 1} if the functions disagree on at most an ε fraction of points. This paper contains two results about approximation by DNF and other smalldepth circuits: (1) For every constant 0 O√n that ε-approximates the Majority function on n bits, and this is optimal up to the constant in the exponent. (2) There is a monotone function F : {0, 1}n → {0, 1} with total influence (AKA average sensitivity) I(F) ≤ O(log n) such that any DNF or CNF that.01-approximates F requires size 2Ω(n/ log n) and such that any unbounded fan-in AND-OR-NOT circuit that .01-approximates F requires size Ω(n/ log n). This disproves a conjecture of Benjamini, Kalai, and Schramm (appearing in [BKS99, Kal00, KS05]).