An Exponential Lower Bound for Homogeneous Depth Four Arithmetic Formulas.
Neeraj KayalNutan LimayeChandan SahaSrikanth SrinivasanPublished in: SIAM J. Comput. (2017)
Keyphrases
- lower bound
- upper bound
- average case complexity
- branch and bound
- branch and bound algorithm
- lower and upper bounds
- depth map
- quantifier free
- objective function
- depth information
- np hard
- worst case
- lower bounding
- optimal solution
- upper and lower bounds
- average case
- mathematical formulas
- first order logic
- competitive ratio
- arithmetic operations
- constant factor
- rewrite systems