Abstract.
A well-known result of Sacks [24] states that if A is nonrecursive, then the set {B : A ≤ T B} has measure zero. Thus, from a measure-theoretic perspective, a ``good'' (i.e., nonrecursive) oracle is hard to beat in the partial order of Turing degrees. We show that analogous results hold for the standard notions of inductive inference, as well as for the notions of approximate inference.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received January 25, 1997; revised March 10, 1997, June 3, 1997, and June 15, 1997.
Rights and permissions
About this article
Cite this article
Cenzer, D., Moser, W. A Good Oracle Is Hard to Beat. Algorithmica 22, 18–34 (1998). https://doi.org/10.1007/PL00013829
Issue Date:
DOI: https://doi.org/10.1007/PL00013829