Abstract
We consider representation classes of polynomial query complexity in Angluin's exact learning model with all three possible combinations of membership and (proper) equivalence queries allowed. We show that in all three cases, polynomial query complexity implies already polynomial-time learnability where the learner additionally has access to an oracle in Σ p2 . As an application, it follows that boolean circuits are polynomial-time learnable with equivalence queries and the help of an oracle in Σ p2 . Our results are based on known combinatorial properties characterizing polynomial query complexity and a careful application of hashing-techniques.
The work of the second author has partially been done while visiting Departamento L.S.I., Univ. Politecnica de Catalunya.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
D. Angluin. Queries and concept learning. Machine Learning, 2:319–342, 1988.
D. Angluin. Negative results for equivalence queries. Machine Learning, 5(2):121–150, 1990.
N. Bshouty, R. Cleve, R. Gavaldà, S. Kannan, and C. Tamon. Oracles and queries that are sufficient for exact learning. Journal of Computer and System Sciences, 52:421–433, 1996.
A. Blumer, A. Ehrenfeucht, D. Haussler, and M. K. Warmuth. Occam's razor. Information Processing Letters, 24(6):377–380, 1987.
A. Blumer, A. Ehrenfeucht, D. Haussler, and M. K. Warmuth. Learnability and the Vapnik-Chervonenkis dimension. Journal of the ACM, 36(4):929–965, 1989.
J. L. Carter and M. N. Wegman. Universal classes of hash functions. Journal of Computer and System Sciences, 18:143–154, 1979.
R. Gavaldà. On the power of equivalence queries. In Proceedings of the 1st European Conference on Computational Learning Theory, 193–203, 1993.
R. Gavaldà. Bounding the complexity of advice functions. Journal of Computer and System Sciences, 50(3):468–475, 1995.
T. Hegedüs. Generalized teaching dimensions and the query complexity of learning. In Proceedings of the 8th Annual Conference on Computational Learning Theory (COLT'95), 108–117, New York, NY, USA, July 1995. ACM Press.
L. Hellerstein, K. Pillaipakkamnatt, V. Raghavan, and D. Wilkins. How many queries are needed to learn? Journal of the ACM, 43(5):840–862, 1996.
J. Köbler. Lowness-Eigenschaften and Erlernbarkeit von Booleschen Schaltkreisklassen. Habilitation Thesis, Universität Ulm, 1995.
J. Köbler and O. Watanabe. New collapse consequences of NP having small circuits. In Proceedings of the 22nd International Colloquium on Automata, Languages, and Programming, Lecture Notes in Computer Science #944, 196–207. Springer-Verlag, 1995.
L. Pitt and L.G. Valiant. Computational limitations on learning from examples. Journal of the ACM, 35(4):965–984, 1988.
M. Sipser. A complexity theoretic approach to randomness. In Proceedings of the 15th ACM Symposium on Theory of Computing, 330–335. ACM Press, 1983.
L. Stockmeyer. On approximation algorithms for #P. SIAM Journal on Computing, 14(4):849–861, 1985.
L. Valiant. A theory of the learnable. Communications of the ACM, 27(11):1134–1142, 1984.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Köbler, J., Lindner, W. (1997). Oracles in Σ p2 are sufficient for exact learning. In: Li, M., Maruoka, A. (eds) Algorithmic Learning Theory. ALT 1997. Lecture Notes in Computer Science, vol 1316. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63577-7_49
Download citation
DOI: https://doi.org/10.1007/3-540-63577-7_49
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63577-2
Online ISBN: 978-3-540-69602-5
eBook Packages: Springer Book Archive