Showing cs.CCShow all
2 papers · 1 filter
cs.CC2024
Nondeterministic Auxiliary Depth-Bounded Storage Automata and Semi-Unbounded Fan-in Cascading Circuits
Tomoyuki Yamakami
We discuss a nondeterministic variant of the recently introduced machine model of deterministic auxiliary depth- storage automata (or aux--sda's) by Yamakami. It was proven t…
cs.CC2024
Logical Expressibility of Syntactic NL for Complementarity, Monotonicity, and Maximization
Tomoyuki Yamakami
Syntactic NL or succinctly SNL was first introduced in 2017, analogously to SNP, as a ``syntactically''-defined natural subclass of NL (nondeterministic logarithmic-space complexit…