Hyperbolic polynomials approach to Van der Waerden/Schrijver-Valiant like conjectures: sharper bounds, simpler proofs and algorithmic applications.
Leonid GurvitsPublished in: STOC (2006)
Keyphrases
- van der
- theorem prover
- upper bound
- lower bound
- learning theory
- lower and upper bounds
- stable set
- error bounds
- worst case
- theorem proving
- vc dimension
- computational learning theory
- concept classes
- boolean functions
- first order logic
- pac learning
- piecewise smooth
- upper and lower bounds
- decision lists
- sample complexity
- distribution free
- inductive inference
- natural deduction
- logic programs
- training data