Lower bounds for Polynomial Calculus with extension variables over finite fields.
Russell ImpagliazzoSasank MouliToniann PitassiPublished in: Electron. Colloquium Comput. Complex. (2022)
Keyphrases
- lower bound
- real numbers
- upper bound
- objective function
- np hard
- variable selection
- function symbols
- upper and lower bounds
- vc dimension
- computer vision
- branch and bound algorithm
- branch and bound
- lower and upper bounds
- worst case
- random variables
- statistical queries
- equivalence queries
- data structure
- finite sets
- linear time temporal logic