Abstract
We study the Vapnik-Chervonenkis dimension of concept classes that are defined by computer programs using analytic algebraic functionals (Nash operators) as primitives. Such bounds are of interest in learning theory because of the fundamental role the Vapnik-Chervonenkis dimension plays in characterizing the sample complexity required to learn concept classes. We strengthen previous results by Goldberg and Jerrum giving upper bounds on the VC dimension of concept classes in which the membership test for whether an input belongs to a concept in the class can be performed either by an algebraic computation tree or by an algebraic circuit containing analytic algebraic gates. These new bounds are polynomial both in the height of the tree and in the depth of the circuit. This means in particular that VC dimension of computer programs using Nash operators is polynomial not only in the sequential complexity but also in the parallel complexity what ensures polynomial VC dimension for classes of concepts whose membership test can be defined by well-parallelizable sequential exponential time algorithms using analytic algebraic operators.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alonso, C.L., Montaña, J.L.: VapnikChervonenkis Dimension of Parallel Arithmetic Computations. In: Proc. of Algorithmic Learning Theory, 18th International Conference, pp. 107–119 (2007)
Ben-Or, M.: Lower Bounds for Algebraic Computation Trees. In: Proc. of STOC 1983, pp. 80–86 (1983)
Blumer, A., Ehrenfeucht, A., Haussler, A., Warmuth, M.K.: Learnability and the Vapnik-Chervonenkis Dimension. Journal of the Association for Computing Machinery 36(4), 929–965 (1989)
Bochnak, J., Coste, M., Roy, M.-F.: Géométrie algébrique réelle (French) [Real algebraic geometry]. In: Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], Berlin, vol. 12 (1987)
von zur Gathen, J.: Parallel Arithmetic Computations, a Survey. Math. Found. Comput. Sci. 13th Proc. (1986)
Goldberg, P., Jerrum, M.: Bounding the Vapnik-Chervonenkis Dimension of Concept Classes Parametrized by Real Numbers. Machine Learning 18, 131–148 (1995)
Karpinski, M., Macintyre, A.: Polynomial Bounds for VC Dimension of Sigmoidal and General Pffafian Neural Networks. Journal of Comput. System Sci. 54, 169–176 (1997)
Milnor, J.: On the Betti Numbers of Real Varieties. Proceedings of the American Mathematical Society 15, 275–280 (1964)
Montaña, J.L., Pardo, L.M.: Lower Bounds for Arithmetic Networks. Applicable Algebra in Engineering, Communication and Computing 4(1), 1–24 (1993)
Ramanakoraisina, R.: Bezout Theorem for Nash Functions. Comm. Algebra 17(6), 1395–1406 (1989)
Valiant, L.G.: A Theory of the Learnable. Communications of the ACM 27, 1134–1142 (1984)
Vapnik, V., Chervonenkis, A.: On the Uniform Convergence of Relative Frequencies of Events to their Probabilities. Theory of Probability and its applications 16, 264–280 (1971)
Warren, H.E.: Lower Bounds for Approximation by non Linear Manifolds. Trans. A.M.S. 133, 167–178 (1968)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Montaña, J.L., Pardo, L.M., Callau, M. (2008). VC Dimension Bounds for Analytic Algebraic Computations. In: Hu, X., Wang, J. (eds) Computing and Combinatorics. COCOON 2008. Lecture Notes in Computer Science, vol 5092. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69733-6_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-69733-6_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69732-9
Online ISBN: 978-3-540-69733-6
eBook Packages: Computer ScienceComputer Science (R0)