2008 · 31 citations · 25 references
ComputingComputer ScienceMathematicsAlgorithmsNatural Language ProcessingTheory Of ComputationApproximation AlgorithmsCombinatorial OptimizationComputational ComplexityApproximation ComplexityApproximation HardnessComplexityComplexity Of Boolean FunctionsComputational Lower BoundsLower BoundsPolynomial Time ComplexityPolynomial-time Algorithms
We study the problem of finding the minimum size DNF formula for a function f : {0, 1} <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">d</sup> rarr {0,1} given its truth table. We show that unless NP sube DTIME(n <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">poly(log</sup> <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">n)</sup> ), there is no polynomial time algorithm that approximates this problem to within factor d <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">1-epsiv</sup> where epsiv > 0 is an arbitrarily small constant. Our result essentially matches the known O(d) approximation for the problem. We also study weak learnability of small size DNF formulas. We show that assuming NP sube RP, for arbitrarily small constant epsiv > 0 and any fixed positive integer t, a two term DNF cannot be PAC-learnt in polynomial time by a t term DNF to within 1/2 + epsiv accuracy. Under the same complexity assumption, we show that for arbitrarily small constants mu, epsiv > 0 and any fixed positive integer t, an AND function (i.e. a single term DNF) cannot be PAC-learnt in polynomial time under adversarial mu-noise by a t-CNF to within 1/2 + epsiv accuracy.
25
Leslie G. Valiant · 1984 · 4.2K citations
The Strength of Weak Learnability
Robert E. Schapire · Machine Learning · 1990 · 3.3K citations · Full text
A threshold of ln <i>n</i> for approximating set cover
Uriel Feige · Journal of the ACM · 1998 · 3.1K citations · Full text
The strength of weak learnability
Robert E. Schapire · Machine Learning · 1990 · 2.5K citations · Full text
Proof verification and the hardness of approximation problems
Sanjeev Arora, Carsten Lund, Rajeev Motwani et al. · Journal of the ACM · 1998 · 1.4K citations · Full text