Two-way and one-way quantum and classical automata with advice for online minimization problems

Khadiev, Kamil; Khadieva, Aliya; Ziatdinov, Mansur; Mannapov, Ilnaz; Kravchenko, Dmitry; Rivosh, Alexander; Yamilov, Ramis

doi:10.1016/j.tcs.2022.02.026

Cited by 7 publications

(1 citation statement)

References 44 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Hierarchies for quantum-model complexity classes and gaps for deterministic and quantum complexities were shown by researchers for automata models [50,27,45] and other streaming (automata-like) models [41,42,32,28,29,35,36].…”

Section: Introductionmentioning

confidence: 99%

Exponential Separation between Quantum and Classical Ordered Binary Decision Diagrams, Reordering Method and Hierarchies

Khadiev¹,

Khadieva²,

Knop³

2022

Preprint

Self Cite

View full text Add to dashboard Cite

In this paper, we study quantum Ordered Binary Decision Diagrams(OBDD) model; it is a restricted version of read-once quantum branching programs, with respect to "width" complexity. It is known that the maximal gap between deterministic and quantum complexities is exponential. But there are few examples of functions with such a gap. We present a new technique ("reordering") for proving lower bounds and upper bounds for OBDD with an arbitrary order of input variables if we have similar bounds for the natural order. Using this transformation, we construct a total function REQ such that the deterministic OBDD complexity of it is at least 2 Ω(n/ log n) , and the quantum OBDD complexity of it is at most O(n 2 / log n). It is the biggest known gap for explicit functions not representable by OBDDs of a linear width. Another function(shifted equality function) allows us to obtain a gap 2 Ω(n) vs O(n 2 ). Moreover, we prove the bounded error quantum and probabilistic OBDD width hierarchies for complexity classes of Boolean functions. Additionally, using "reordering" method we extend a hierarchy for read-k-times Ordered Binary Decision Diagrams (k-OBDD) of polynomial width, for k = o(n/ log 3 n). We prove a similar hierarchy for bounded error probabilistic k-OBDDs of polynomial, superpolynomial and subexponential width.

show abstract