Improved Lower Bounds for Testing Triangle-freeness in Boolean Functions via Fast Matrix Multiplication.
Hu FuRobert KleinbergPublished in: CoRR (2013)
Keyphrases
- boolean functions
- lower bound
- matrix multiplication
- uniform distribution
- threshold functions
- relevant variables
- upper bound
- functional properties
- dnf formulae
- prime implicants
- multi valued
- disjunctive normal form
- statistical queries
- message passing
- matrix factorization
- max sat
- polynomial size
- np hard
- membership queries
- linear programming relaxation
- upper and lower bounds
- linear threshold
- vc dimension
- sample complexity
- branch and bound algorithm
- read once formulas
- recommender systems