Lower bounds for testing triangle-freeness in Boolean functions.
Arnab BhattacharyyaNing XiePublished in: Comput. Complex. (2015)
Keyphrases
- boolean functions
- lower bound
- upper bound
- uniform distribution
- threshold functions
- objective function
- relevant variables
- functional properties
- multi valued
- dnf formulae
- truth table
- linear threshold
- branch and bound algorithm
- branch and bound
- optimal solution
- membership queries
- statistical queries
- binary decision diagrams
- lower and upper bounds
- prime implicants
- np hard
- polynomial size
- read once formulas
- worst case