An Exponential Lower Bound for Homogeneous Depth Four Arithmetic Formulas.
Neeraj KayalNutan LimayeChandan SahaSrikanth SrinivasanPublished in: Electron. Colloquium Comput. Complex. (2014)
Keyphrases
- lower bound
- upper bound
- branch and bound
- average case complexity
- branch and bound algorithm
- objective function
- lower and upper bounds
- np hard
- optimal solution
- worst case
- quantifier free
- depth map
- lower bounding
- real numbers
- stereo matching
- linear programming relaxation
- knowledge base
- sufficiently accurate
- mathematical formulas
- lagrangian relaxation
- depth information
- image sequences
- first order logic
- constraint satisfaction problems