VC-dimension of short Presburger formulas

10/11/2017
by   Danny Nguyen, et al.
0

We study VC-dimension of short formulas in Presburger Arithmetic, defined to have a bounded number of variables, quantifiers and atoms. We give both lower and upper bounds, which are tight up to a polynomial factor in the bit length of the formula.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset