Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

On the Computational Power of Boolean Decision Lists

Matthias KrauseContact Information

(6)  Theoretische Informatik, Univ. Mannheim, 68131 Mannheim, Germany
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 showthat, 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 AC k 0 -decision lists lies strictly between AC k+1 0 and AC k+2 0

Keywords  Boolean Complexity Theory - Learnability - Lower Bounds

Supported by DFG grant Kr 1521/3-2.

Contact Information Matthias Krause
Email: krause@informatik.uni-mannheim.de
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.109 • Server: mpweb01
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)