Abstract
A set A is autoreducible if one can compute, for all x, the value A(x) by querying A only at places y ≠ x. Furthermore, A is infinitely-often autoreducible if, for infinitely many x, the value A(x) can be computed by querying A only at places y ≠ x. For all other x, the computation outputs a special symbol to signal that the reduction is undefined. It is shown that for polynomial time Turing and truth-table autoreducibility there are sets A, B, C in EXP such that A is not infinitely-often Turing autoreducible, B is Turing autoreducible but not infinitely-often truth-table autoreducible, C is truth-table autoreducible with g(n)+ 1 queries but not infinitely-often Turing autoreducible with g(n) queries. Here n is the length of the input, g is nondecreasing and there exists a polynomial p such that p(n) bounds both, the computation time and the value, of g at input of length n. Furthermore, connections between notions of infinitely-often autoreducibility and notions of approximability are investigated. The Hausdorff-dimension of the class of sets which are not infinitely-often autoreducible is shown to be 1.
For the complete version of this paper, see reference [7].
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Ambos-Spies, K., Fleischhhack, H., Huwig, H.: Diagonalizations over polynomial time computable sets. Theoretical Computer Science 51, 177–204 (1997)
Ambos-Spies, K., Mayordomo, E.: Resource-bounded measure and randomness. In: Sorbi, A. (ed.) Time Series Package (TSPACK). Lecture Notes in Pure and Applied Mathematics, vol. 187, pp. 1–47 (1997)
Ambos-Spies, K., Merkle, W., Reimann, J., Stephan, F.: Hausdorff dimension in exponential time. In: Proceedings Sixteenth Annual IEEE Conference on Computational Complexity, pp. 210–217. IEEE Computer Society, Los Alamitos (2001)
Ambos-Spies, K., Neis, H.-C., Terwijn, S.A.: Genericity and measure for exponential time. Theoretical Computer Science 168, 3–19 (1996)
Balcázar, J.L., Mayordomo, E.: A note on genericity and bi-immunity. In: Proceedings of the Tenths Annual Structure in Complexity Theory Conference, pp. 193–196. IEEE Computer Society Press, Los Alamitos (1995)
Beigel, R.: Bi-immunity results for cheatable sets. Theoretical Computer Science 73, 249–263 (1990)
Beigel, R., Fortnow, L., Stephan, F.: Infinite-often autoreducible sets. Forschungsberichte Mathematische Logik und Theoretische Informatik, 62 / 2003. Institut für Informatik, Universität Heidelberg (2003), http://www.math.uni-heidelberg.de/logic/postscripts/tr62.ps
Beigel, R., Kummer, M., Stephan, F.: Approximable sets. Information and Computation 120, 304–314 (1995)
Blum, W.: Denksport für Hutträger. Die Zeit, Hamburg, 03.05.2001 (2001), http://www.cecs.csulb.edu/~ebert/hatProblem/dieZeit.htm
Buhrman, H., Fortnow, L., van Melkebeek, D., Torenvliet, L.: Using autoreducibility to separate complexity classes. Siam Journal on Computing 29(5), 1497–1520 (2000)
Ebert, T.: Applications of Recursive Operators to Randomness and Complexity. PhD Thesis, University of California at Santa Barbara (1998)
Ebert, T., Merkle, W., Vollmer, H.: On the autoreducibility of random sequences. Manuscript (2002)
Hausdorff, F.: Dimension und äusseres Maß. Mathematische Annalen 79, 157–189 (1919)
Kummer, M., Stephan, F.: Recursion theoretic properties of frequency computation and bounded queries. Information and Computation 120, 59–77 (1995)
Lutz, J.H.: Category and measure in complexity classes. SIAM Journal on Computing 19, 1100–1131 (1990)
Lutz, J.H.: Dimension in complexity classes. In: Proceedings Fifteenth Annual IEEE Conference on Computational Complexity, pp. 158–169. IEEE Computer Society, Los Alamitos (2000)
Odifreddi, P.: Classical recursion theory. North-Holland, Amsterdam (1989)
Ogihara, M.: Polynomial-time membership comparable sets. In: Proceedings of the 9th Conference on Structure in Complexity Theory, pp. 2–11. IEEE Computer Society Press, Los Alamitos (1994)
Trakhtenbrot, B.A.: On autoreducibility. Soviet Mathematics Doklady 11, 814–817 (1970)
Watanabe, O.: A comparison of polynomial time completeness notions. Theoretical Computer Science 54, 249–265 (1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Beigel, R., Fortnow, L., Stephan, F. (2003). Infinitely-Often Autoreducible Sets. In: Ibaraki, T., Katoh, N., Ono, H. (eds) Algorithms and Computation. ISAAC 2003. Lecture Notes in Computer Science, vol 2906. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24587-2_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-24587-2_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20695-8
Online ISBN: 978-3-540-24587-2
eBook Packages: Springer Book Archive