Abstract
We provide upper bounds for the Vapnik-Chervonenkis dimension of concept classes parameterized by real numbers whose membership tests are programs described by bounded-depth arithmetic networks. Our upper bounds are of the kind O(k 2 d 2), where d is the depth of the network (representing the parallel running time) and k is the number of parameters needed to codify the concept. This bound becomes O(k 2 d) when membership tests are described by Boolean-arithmetic circuits. As a consequence we conclude that families of concepts classes having parallel polynomial time algorithms expressing their membership tests have polynomial VC dimension.
Partially supported by spanish grant TIN2007-67466-C02-02.
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
Aldaz, M., Heintz, J., Matera, G., Montaña, J.L., Pardo, L.M.: Time-space tradeoffs in algebraic complexity theory. Real computation and complexity (Schloss Dagstuhl, 1998). J. Complexity 16(1), 2–49 (2000)
Aldaz, M., Heintz, J., Matera, G., Montaña, J.L., Pardo, L.M.: Combinatorial hardness proofs for polynomial evaluation (extended abstract). In: Brim, L., Gruska, J., Zlatuška, J. (eds.) MFCS 1998. LNCS, vol. 1450, pp. 167–175. Springer, Heidelberg (1998)
Ben-Or, M.: Lower Bounds for Algebraic Computation Trees. In: STOC, pp. 80–86 (1983)
Blum, L., Cucker, F., Shub, M., Smale, S.: Complexity and real computation. xvi+453 pp. Springer, New York (1998)
Blum, L., Shub, M., Smale, S.: On a theory of computation over the real numbers: NP completeness, recursive functions and universal machines [Bull. Amer. Math. Soc (N.S.) 21 (1989), no. 1, 1–46; MR0974426 (90a:68022)]. In: Workshop on Dynamical Systems (Trieste, 1988),pp. 23–52, Pitman Res. Notes Math. Ser. 221, Longman Sci. Tech. Harlow (1990)
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)], vol. 12, pp.x+373. Springer, Berlin (1987)
Fitchas, N., Galligo, A., Morgestern, A.: Algorithmes rapides en sequentiel et en parallele pour l’élimination de quantificateurs en géométrie élémentaire. Seminaire de Structures Algebriques Ordennes. Universite de Paris VII (1987)
von zur Gathen, J.: Parallel arithmetic computations, a survey. In: Math. Found. Comput. Sci. 13th Proc. (1986)
Goldberg, P., Jerrum, M.: Bounding the Vapnik-Chervonenkis dimension of concept classes parametrizes by real numbers. Machine Learning 18, 131–148 (1995)
Grigorev, D.: Complexity of deciding Tarski Algebra. J. Symp. Comp. 5, 65–108 (1988)
Karpinski, M., Macintyre, A.: Polynomial bounds for VC dimension of sigmoidal and general Pffafian neual networks. J. Comp. Sys. Sci. 54, 169–176 (1997)
Meyer Auf der Heide, F.: A polynomial linear search algorithm for the n-dimensional Knapsack problem. J. ACM 31(3), 668–676 (1984)
Milnor, J.: On the Betti Numbers of Real Varieties. Proc. Amer. Math. Soc. 15, 275–280 (1964)
Montaña, J.L., Pardo, L.M., Ramanakoraisina, R.: An extension of Warren’s lower bounds for approximations. J. Pure Appl. Algebra 87(3), 251–258 (1993)
Montaña, J.L., Pardo, L.M.: Lower bounds for arithmetic networks. Appl. Algebra Engrg. Comm. Comput. 4(1), 1–24 (1993)
Montaña, J.L., Pardo, L.M., Recio, T.: The non-scalar model of complexity in Computational Geometry. In: Proc. MEGA 1990. Progress in Math. 94. pp. 347–362. Birkhãuser(1991)
Oleinik, O.A.: Estimates of the Betti Numbers of Real Algebraic Hypersurfaces. Mat. Mat. Sbornik 70, 63–640 (1951)
Oleinik, O.A., Petrovsky, I.B.: On the topology of Real Algebraic Surfaces. Izv. Akad. Nauk SSSR (in Trans. of the Amer. Math. Soc.) 1, 399–417 (1962)
Rabin, M.: Proving simultaneous positivity of linear forms. J. Comp. System Sci. 6, 639–650 (1972)
Thom, R.: Sur l’Homologie des Varietes Alg ’ ebriques R ’ eelles. In: Differential and Combinatorial Topology (A Symposium in Honor of Marston Morse), pp. 255–265. Princeton Univ. Press (1965)
Vapnik, V.: Statistical learning theory. John Willey & Sons (1998)
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
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alonso, C.L., Montaña, J.L. (2007). Vapnik-Chervonenkis Dimension of Parallel Arithmetic Computations. In: Hutter, M., Servedio, R.A., Takimoto, E. (eds) Algorithmic Learning Theory. ALT 2007. Lecture Notes in Computer Science(), vol 4754. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75225-7_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-75225-7_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75224-0
Online ISBN: 978-3-540-75225-7
eBook Packages: Computer ScienceComputer Science (R0)