pith. sign in

arxiv: 1608.00417 · v1 · pith:XWZJSJLNnew · submitted 2016-08-01 · 💻 cs.CC · cs.FL· quant-ph

Uncountable classical and quantum complexity classes

classification 💻 cs.CC cs.FLquant-ph
keywords languagesspacemachinescounterlogarithmicptmsquantumrestricted
0
0 comments X
read the original abstract

Polynomial--time constant--space quantum Turing machines (QTMs) and logarithmic--space probabilistic Turing machines (PTMs) recognize uncountably many languages with bounded error (Say and Yakary\i lmaz 2014, arXiv:1411.7647). In this paper, we investigate more restricted cases for both models to recognize uncountably many languages with bounded error. We show that double logarithmic space is enough for PTMs on unary languages in sweeping reading mode or logarithmic space for one-way head. On unary languages, for quantum models, we obtain middle logarithmic space for counter machines. For binary languages, arbitrary small non-constant space is enough for PTMs even using only counter as memory. For counter machines, when restricted to polynomial time, we can obtain the same result for linear space. For constant--space QTMs, we follow the result for a restricted sweeping head, known as restarting realtime.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.