Computational depth and reducibility

DW Juedes, JI Lathrop, JH Lutz - Theoretical Computer Science, 1994 - Elsevier
… information in the object, the depth thus represents the amount of “computational … (Depth
is closely related to Adleman’s notion of “potential” … One way to investigate the computational

Computational depth and reducibility

DW Juedes, JI Lathrop, JH Lutz - … , ICALP 93 Lund, Sweden, July 5–9 …, 1993 - Springer
Abstract. This paper investigates Bennett's notions of strong and weak computational depth
(also called logical depth) for … All proofs and lemmas are omitted from this extended abstract. …

Enumeration reducibility, nondeterministic computations and relative computability of partial functions

SB Cooper - Recursion Theory Week: Proceedings of a Conference …, 2006 - Springer
… The definition of application is that of evaluating an e-reduction: If x, yare variables in the …
A-abstraction describes how we define an e-operator from an re set Ax.r = {(m,D) 1m E r[D/x]} …

Computing ground reducibility and inductively complete positions

R Bündgen, W Küchlin - … : 3rd International Conference, RTA-89 Chapel …, 1989 - Springer
… In our preconditioning step we compute C and 7) using Theorem 14 with our cover algorithm.
We also compute the d-topset, where d is the depth of the deepest subterm s ET(C, X) of a …

Feasible depth

D Doty, P Moser - Computation and Logic in the Real World: Third …, 2007 - Springer
Abstract This paper introduces two complexity-theoretic formulations of Bennett’s logical
depth: finite-state depth and polynomial-time depth. It is shown that for both formulations, trivial …

Adaptive logspace and depth-bounded reducibilities

JL Balcázar - 1991 Proceedings of the Sixth Annual Structure in …, 1991 - computer.org
Abstract We discuss a number of results regarding an im- portant subject: the study of the
computational power of depth… 2.2 Nonadaptive logspace reducibility Given a class of functions F…

Depth-d Frege Systems Are Not Automatable Unless 𝖯= NP

T Papamakarios - … Computational Complexity Conference (CCC …, 2024 - drops.dagstuhl.de
… In our case, we need a reduction in the base case of the argument to a lower bound for
index-width, … Let us note that the reduction described above is to a formula that has large depth. In …

[PDF][PDF] The dual DFA learning problem (extended abstract) hardness results for programming by demonstration and learning first-order representations

WW Cohen - … of the ninth annual conference on Computational …, 1996 - dl.acm.org
… time, and that there are two states of maximal depth, exactly one of which is … a circuit of size
s and depth d over n variables … might be more appropriately modeled with abstract operators …

Recursive computational depth

JI Lathrop, JH Lutz - International Colloquium on Automata, Languages …, 1997 - Springer
… -- then the computational depth of x is the amount of time required for a computation to derive
x from … If F is a uniform reducibility that is (like all standard reducibitities) reflexive, then the …

10481 Abstracts Collection–Computational Counting

P Bürgisser, LA Goldberg, M Jerrum - 2011 - drops.dagstuhl.de
… In this extended abstract we give a representation theorem for … by polynomial-size logarithmic
depth arithmetic circuits. #… I will talk about this reduction and some related techniques. I …