New Lower Bounds on the Formula Size of Boolean Functions.
Ute SchürfeldPublished in: Acta Informatica (1983)
Keyphrases
- boolean functions
- lower bound
- prime implicants
- polynomial size
- uniform distribution
- upper bound
- disjunctive normal form
- threshold functions
- linear functions
- conjunctive normal form
- functional properties
- membership queries
- bounded treewidth
- dnf formulae
- dnf formulas
- relevant variables
- branch and bound algorithm
- monotone dnf
- statistical queries
- objective function
- boolean formula
- equivalence queries
- concept class
- lower and upper bounds
- vc dimension
- branch and bound
- read once formulas
- linear threshold
- multi valued
- pac learning
- np complete
- worst case
- optimal solution