An Alternative Proof of an Ω(k) Lower Bound for Testing k-linear Boolean Functions.
Roei TellPublished in: Electron. Colloquium Comput. Complex. (2014)
Keyphrases
- boolean functions
- lower bound
- linear functions
- upper bound
- uniform distribution
- prime implicants
- branch and bound
- statistical queries
- threshold functions
- membership queries
- dnf formulae
- relevant variables
- read once formulas
- concept class
- optimal solution
- branch and bound algorithm
- functional properties
- linear threshold
- polynomial size
- bi decomposition
- binary decision diagrams
- disjunctive normal form
- linear programming relaxation
- database design
- multi valued
- upper and lower bounds