Recursively enumerable sets and degrees
Recursively enumerable sets and degrees
Learnability and the Vapnik-Chervonenkis dimension
Journal of the ACM (JACM)
Terse, superterse, and verbose sets
Information and Computation
Subrecursive programming systems: complexity & succinctness
Subrecursive programming systems: complexity & succinctness
Quantifying the Amount of Verboseness
TVER '92 Proceedings of the Second International Symposium on Logical Foundations of Computer Science
Learning recursive functions from approximations
EuroCOLT '95 Proceedings of the Second European Conference on Computational Learning Theory
Recursion Theoretic Properties of Frequency Computation and Bounded Queries (Extended Abstract)
KGC '93 Proceedings of the Third Kurt Gödel Colloquium on Computational Logic and Proof Theory
| Hi-index | 0.00 |
One topic arising in recent research on “Bounded Query Classes” is to consider quantitative aspects of recursion theory, and in particular various notions of parameterized recursive approximations of sets. An important question is, for which values of the parameters - depending on the type of approximation - the approximated set is necessarily recursive. Beigel's Nonspeedup Theorem, Rummer's Cardinality Theorem and Trakhtenbrot's Theorem provide answers using nonuniform constructions. This paper investigates to which extend these constructions can be made uniform. Beigel's Nonspeedup Theorem is equivalent to the statement that every branch of a recursively enumerable tree of bounded width is recursive. There is no algorithm which computes a branch from the index of the tree, but there are nontrivial positive results by weakening the requirements as follows: For some fixed number k, an algorithm is wanted which, given an index of a tree, outputs a list of k programs such that at least one of them computes a branch of the tree up to finitely many errors. What is the least k for which this works? In this paper it is shown that, for recursively enumerable trees of width at most n, the least possible k is 2n−1. For trees arising from Trakhtenbrot's Theorem with parameters m, n, the optimal value is k = n − m + 1. In addition, several other, related classes of trees are investigated.