Computational depth and reducibility
… 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 …
is closely related to Adleman’s notion of “potential” … One way to investigate the computational …
Computational depth and reducibility
… 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. …
(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]} …
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 …
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 …
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…
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 …
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 …
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 …
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 …
depth arithmetic circuits. #… I will talk about this reduction and some related techniques. I …
Related searches
- computational depth infinite strings
- nondeterministic computations enumeration reducibility
- computational counting executive summary
- computational depth and reduced abstract
- computational depth and reducibility abstraction
- computational depth and reducibility theory
- computational depth and reducibility equation
- computational depth and reducibility explained
- computational depth and reducibility introduction
- computational depth and reducibility formula
- computational depth and reducibility graph
- computational depth and reducibility proof
- computational depth and reducibility dft
- computational depth and reducibility algorithm
- computational depth and reducibility method