1,509 research outputs found
Uncountable realtime probabilistic classes
We investigate the minimum cases for realtime probabilistic machines that can
define uncountably many languages with bounded error. We show that logarithmic
space is enough for realtime PTMs on unary languages. On binary case, we follow
the same result for double logarithmic space, which is tight. When replacing
the worktape with some limited memories, we can follow uncountable results on
unary languages for two counters.Comment: 12 pages. Accepted to DCFS201
Quantum computation with devices whose contents are never read
In classical computation, a "write-only memory" (WOM) is little more than an
oxymoron, and the addition of WOM to a (deterministic or probabilistic)
classical computer brings no advantage. We prove that quantum computers that
are augmented with WOM can solve problems that neither a classical computer
with WOM nor a quantum computer without WOM can solve, when all other resource
bounds are equal. We focus on realtime quantum finite automata, and examine the
increase in their power effected by the addition of WOMs with different access
modes and capacities. Some problems that are unsolvable by two-way
probabilistic Turing machines using sublogarithmic amounts of read/write memory
are shown to be solvable by these enhanced automata.Comment: 32 pages, a preliminary version of this work was presented in the 9th
International Conference on Unconventional Computation (UC2010
Strengths and Weaknesses of Quantum Computing
Recently a great deal of attention has focused on quantum computation
following a sequence of results suggesting that quantum computers are more
powerful than classical probabilistic computers. Following Shor's result that
factoring and the extraction of discrete logarithms are both solvable in
quantum polynomial time, it is natural to ask whether all of NP can be
efficiently solved in quantum polynomial time. In this paper, we address this
question by proving that relative to an oracle chosen uniformly at random, with
probability 1, the class NP cannot be solved on a quantum Turing machine in
time . We also show that relative to a permutation oracle chosen
uniformly at random, with probability 1, the class cannot be
solved on a quantum Turing machine in time . The former bound is
tight since recent work of Grover shows how to accept the class NP relative to
any oracle on a quantum computer in time .Comment: 18 pages, latex, no figures, to appear in SIAM Journal on Computing
(special issue on quantum computing
- …