Lower Bounds for Testing Triangle-freeness in Boolean Functions.
Arnab BhattacharyyaNing XiePublished in: SODA (2010)
Keyphrases
- boolean functions
- lower bound
- uniform distribution
- upper bound
- prime implicants
- branch and bound
- threshold functions
- dnf formulae
- optimal solution
- bi decomposition
- functional properties
- branch and bound algorithm
- statistical queries
- relevant variables
- lower and upper bounds
- vc dimension
- worst case
- multi valued
- membership queries
- concept class
- disjunctive normal form
- max sat
- binary decision diagrams
- linear threshold
- polynomial size
- upper and lower bounds
- read once formulas