On the Computational Power of Boolean Decision Lists

  • Authors:
  • Matthias Krause

  • Affiliations:
  • -

  • Venue:
  • STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

We study the computational power of decision lists over AND-functions versus threshold-驴 circuits. AND-decision lists are a natural generalization of formulas in disjunctive or conjunctive normal form. We show that, in contrast to CNF- and DNF-formulas, there are functions with small AND-decision lists which need exponential size unbounded weight threshold-驴 circuits. This implies that Jackson's polynomial learning algorithm for DNFs [7] which is based on the efficient simulation of DNFs by polynomial weight threshold-驴 circuits [8], cannot be applied to AND-decision lists. A further result is that for all k 驴 1 the complexity class defined by polynomial length ACk0-decision lists lies strictly between ACk+10 and ACk+20.