Non-commutative arithmetic circuits: depth reduction and size lower bounds

E Allender, J Jiao, M Mahajan, V Vinay - Theoretical Computer Science, 1998 - Elsevier
We investigate the phenomenon of depth-reduction in commutative and non-commutative
arithmetic circuits. We prove that in the commutative setting, uniform semi-unbounded …

[HTML][HTML] Computation by interaction for space-bounded functional programming

U Dal Lago, U Schöpp - Information and Computation, 2016 - Elsevier
When programming with sublinear space constraints one often needs to use special
implementation techniques even for simple tasks, such as function composition. In this …

Making computation count: Arithmetic circuits in the nineties

E Allender - ACM SIGACT News, 1997 - dl.acm.org
This issue's expert guest column is by Eric Allender, who has just taken over the Structural
Complexity Column in the Bulletin of the EATCS. Regarding" Journals to Die For"(SIGACT …

Uniform-circuit and logarithmic-space approximations of refined combinatorial optimization problems

T Yamakami - International Conference on Combinatorial …, 2013 - Springer
We lay out a refined framework to discuss various approximation algorithms for
combinatorial optimization problems residing inside the optimization class PO. We are …

The complexity of computing maximal word functions

E Allender, D Bruschi, G Pighizzini - Computational Complexity, 1993 - Springer
Maximal word functions occur in data retrieval applications and have connections with
ranking problems, which in turn were first investigated in relation to data compression [21] …

The complexity of obtaining solutions for problems in NP and NL

B Jenner¹, J Torán - Complexity Theory: Retrospective II, 1997 - books.google.com
We review some of the known results about the complexity of computing solutions or proofs
of membership for problems in NP. Trying to capture the complexity of this problem, we …

NL-printable sets and nondeterministic Kolmogorov complexity

E Allender - Theoretical computer science, 2006 - Elsevier
P-printable sets were defined by Hartmanis and Yesha and have been investigated by
several researchers. The analogous notion of L-printable sets was defined by Fortnow et al.; …

It is NL-complete to decide whether a hairpin completion of regular languages is regular

V Diekert, S Kopecki - … Journal of Foundations of Computer Science, 2011 - World Scientific
The hairpin completion is an operation on formal languages which is inspired by the hairpin
formation in biochemistry. Hairpin formations occur naturally within DNA-computing. It has …

Non-commutative computation, depth reduction, and skew circuits

M Mahajan, V Vinay - Foundation of Software Technology and Theoretical …, 1994 - Springer
It is known that polynomial size polynomial degree Boolean circuits have equivalent semi-
unbounded logarithmic depth circuits. For arithmetic circuits, the additional property of …

[PDF][PDF] Formal language theory of hairpin formations

S Kopecki - 2011 - d-nb.info
The (bounded) hairpin completion, the hairpin lengthening, and their iterated versions are
operations on formal languages which have been inspired by the hairpin formation in DNA …