12,491 research outputs found
Unary Pushdown Automata and Straight-Line Programs
We consider decision problems for deterministic pushdown automata over a
unary alphabet (udpda, for short). Udpda are a simple computation model that
accept exactly the unary regular languages, but can be exponentially more
succinct than finite-state automata. We complete the complexity landscape for
udpda by showing that emptiness (and thus universality) is P-hard, equivalence
and compressed membership problems are P-complete, and inclusion is
coNP-complete. Our upper bounds are based on a translation theorem between
udpda and straight-line programs over the binary alphabet (SLPs). We show that
the characteristic sequence of any udpda can be represented as a pair of
SLPs---one for the prefix, one for the lasso---that have size linear in the
size of the udpda and can be computed in polynomial time. Hence, decision
problems on udpda are reduced to decision problems on SLPs. Conversely, any SLP
can be converted in logarithmic space into a udpda, and this forms the basis
for our lower bound proofs. We show coNP-hardness of the ordered matching
problem for SLPs, from which we derive coNP-hardness for inclusion. In
addition, we complete the complexity landscape for unary nondeterministic
pushdown automata by showing that the universality problem is -hard, using a new class of integer expressions. Our techniques have
applications beyond udpda. We show that our results imply -completeness for a natural fragment of Presburger arithmetic and coNP lower
bounds for compressed matching problems with one-character wildcards
Perfect Computational Equivalence between Quantum Turing Machines and Finitely Generated Uniform Quantum Circuit Families
In order to establish the computational equivalence between quantum Turing
machines (QTMs) and quantum circuit families (QCFs) using Yao's quantum circuit
simulation of QTMs, we previously introduced the class of uniform QCFs based on
an infinite set of elementary gates, which has been shown to be computationally
equivalent to the polynomial-time QTMs (with appropriate restriction of
amplitudes) up to bounded error simulation. This result implies that the
complexity class BQP introduced by Bernstein and Vazirani for QTMs equals its
counterpart for uniform QCFs. However, the complexity classes ZQP and EQP for
QTMs do not appear to equal their counterparts for uniform QCFs. In this paper,
we introduce a subclass of uniform QCFs, the finitely generated uniform QCFs,
based on finite number of elementary gates and show that the class of finitely
generated uniform QCFs is perfectly equivalent to the class of polynomial-time
QTMs; they can exactly simulate each other. This naturally implies that BQP as
well as ZQP and EQP equal the corresponding complexity classes of the finitely
generated uniform QCFs.Comment: 11page
- …