Time-space tradeoffs for two-way finite automata
@article{Zheng2015TimespaceTF, title={Time-space tradeoffs for two-way finite automata}, author={Shenggen Zheng and Daowen Qiu and Jozef Gruska}, journal={arXiv: Quantum Physics}, year={2015} }
We explore bounds of {\em time-space tradeoffs} in language recognition on {\em two-way finite automata} for some special languages. We prove: (1) a time-space tradeoff upper bound for recognition of the languages $L_{EQ}(n)$ on {\em two-way probabilistic finite automata} (2PFA): $TS={\bf O}(n\log n)$, whereas a time-space tradeoff lower bound on {\em two-way deterministic finite automata} is ${\bf \Omega}(n^2)$, (2) a time-space tradeoff upper bound for recognition of the languages $L_{INT}(n…
2 Citations
Lower Bound and Hierarchies for Quantum Ordered Read-k-times Branching Programs
- Mathematics, Computer ScienceArXiv
- 2017
Lower bound for quantum $k$-OBDD is got for quantum version of known computational model Ordered Read-times Branching Programs or Ordered Binary Decision Diagrams with repeated test for k=o(\sqrt{n})$.
Lower Bounds and Hierarchies for Quantum Memoryless Communication Protocols and Quantum Ordered Binary Decision Diagrams with Repeated Test
- Computer ScienceSOFSEM
- 2018
This work explores multi-round quantum memoryless communication protocols that mean that players forget history from previous rounds, and their behavior is obtained only by input and message from the opposite player, and presents a lower bound for Quantum Ordered Read-k-times Branching Programs (k-QOBDD).
References
SHOWING 1-10 OF 35 REFERENCES
State succinctness of two-way finite automata with quantum and classical states
- Computer ScienceTheor. Comput. Sci.
- 2013
Two-way finite automata with quantum and classical state
- Computer ScienceTheor. Comput. Sci.
- 2002
One-Way Finite Automata with Quantum and Classical States
- Computer ScienceLanguages Alive
- 2012
It is proved that coin-tossing one-way probabilistic finite automata (coin-Tossing 1PFA) and one- way quantum finite Automata with control language (1QFACL) as well as several other models of QFA, can be simulated by 1QCFA.
Succinctness of two-way probabilistic and quantum finite automata
- Computer ScienceDiscret. Math. Theor. Comput. Sci.
- 2010
It is proved that two-way probabilistic and quantum finite automata (2PFAs and 2QFAs) can be considerably more concise than both their one-way versions, and two- way nondeterministic finite automaton (2NFAs), and it is shown that 2ZFAs with mixed states can support highly efficient probability amplification.
Time-space tradeoffs for branching programs
- Computer ScienceProceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280)
- 1998
We obtain the first non-trivial time-space tradeoff lower bound for functions f: {0,1}/sup n//spl rarr/{0,1} on general branching programs by exhibiting a Boolean function f that requires exponential…
1-way quantum finite automata: strengths, weaknesses and generalizations
- Computer ScienceProceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280)
- 1998
This work constructs a 1-way QFA that is exponentially smaller than any equivalent classical (even randomized) finite automaton, and thinks that this construction may be useful for design of other space-efficient quantum algorithms.
On the state complexity of semi-quantum finite automata
- Computer ScienceRAIRO Theor. Informatics Appl.
- 2014
Three results of such a type that are stronger in some sense than other ones because they deal with models of quantum finite automata with very little quantumness so-called semi-quantum one- and two-way finite Automata.
Generalizations of the distributed Deutsch–Jozsa promise problem
- Mathematics, Computer ScienceMathematical Structures in Computer Science
- 2015
This paper generalizes the above distributed Deutsch–Jozsa promise problem to determine, for any fixed $\frac{n}{2}$⩽ k ⩽ n, whether H(x, y) = 0 or H( x, y), and shows that an exponential gap between exact quantum and deterministic communication complexity still holds.
Quantum time-space tradeoffs for sorting
- Computer ScienceSTOC '03
- 2003
The complexity of sorting in the model of sequential quantum circuits is investigated and the following lower bound on the time-space tradeoff for sorting numbers from a polynomial size range is shown: <i>TS</i>=Ω(<i>n</i><sup>3/2</sup>).
Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata
- Computer ScienceInf. Comput.
- 2015