Tight Size-Degree Bounds for Sums-of-Squares Proofs.
Massimo LauriaJakob NordströmPublished in: CoRR (2015)
Keyphrases
- lower bound
- upper bound
- worst case
- generalization error bounds
- small size
- theorem proving
- databases
- tight bounds
- computational complexity
- scales linearly
- social networks
- random variables
- constant factor
- error bounds
- memory requirements
- lower and upper bounds
- database
- decision procedures
- worst case bounds
- space complexity
- hough transform
- objective function
- multiscale
- image processing
- data mining