On the computational power of Boolean decision lists

  • Authors:
  • Matthias Krause

  • Affiliations:
  • Lehrstuhl Theoretische Informatik, Universität Mannheim, Mannheim, Germany 68131

  • Venue:
  • Computational Complexity
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

We study the computational power of decision lists over AND-functions versus $$ \hbox{threshold-}\oplus $$ 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 $$\hbox{threshold-}\oplus $$ circuits. Consequently, it is questionable if the polynomial learning algorithm for DNFs of Jackson (1994), which is based on the efficient simulation of DNFs by polynomial weight $$ \hbox{threshold-}\oplus $$ circuits (Krause & Pudlák 1994), can be successfully applied to functions with small AND-decision lists. A further result is that for all k 驴 1 the complexity class defined by polynomial length AC0k-decision lists lies strictly between AC0k+1 and AC0k+2.