Abstract
We consider Quantum OBDD model. It is restricted version of read-once Quantum Branching Programs, with respect to “width” complexity. It is known that maximal complexity gap between deterministic and quantum model is exponential. But there are few examples of such functions. We present method (called “reordering”), which allows to build Boolean function g from Boolean Function f, such that if for f we have gap between quantum and deterministic OBDD complexity for natural order of variables, then we have almost the same gap for function g, but for any order. Using it we construct the total function REQ which deterministic OBDD complexity is \(2^{\varOmega (n/log n)}\) and present quantum OBDD of width \(O(n^2)\). It is bigger gap for explicit function that was known before for OBDD of width more than linear. Using this result we prove the width hierarchy for complexity classes of Boolean functions for quantum OBDDs.
Additionally, we prove the width hierarchy for complexity classes of Boolean functions for bounded error probabilistic OBDDs. And using “reordering” method we extend a hierarchy for k-OBDD of polynomial size, for \(k=o(n/log^3n)\). Moreover, we proved a similar hierarchy for bounded error probabilistic k-OBDD. And for deterministic and probabilistic k-OBDDs of superpolynomial and subexponential size.
K. Khadiev—Partially supported by ERC Advanced Grant MQC. The work is performed according to the Russian Government Program of Competitive Growth of Kazan Federal University.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Ablayev, F., Gainutdinova, A.: Complexity of quantum uniform and nonuniform automata. In: Felice, C., Restivo, A. (eds.) DLT 2005. LNCS, vol. 3572, pp. 78–87. Springer, Heidelberg (2005). doi:10.1007/11505877_7
Ablayev, F., Gainutdinova, A., Karpinski, M.: On computational power of quantum branching programs. In: Freivalds, R. (ed.) FCT 2001. LNCS, vol. 2138, pp. 59–70. Springer, Heidelberg (2001). doi:10.1007/3-540-44669-9_8
Ablayev, F., Gainutdinova, A., Karpinski, M., Moore, C., Pollett, C.: On the computational power of probabilistic and quantum branching program. Inf. Comput. 203(2), 145–162 (2005)
Ablayev, F., Gainutdinova, A., Khadiev, K., Yakaryılmaz, A.: Very narrow quantum OBDDs and width hierarchies for classical OBDDs. In: Jürgensen, H., Karhumäki, J., Okhotin, A. (eds.) DCFS 2014. LNCS, vol. 8614, pp. 53–64. Springer, Cham (2014). doi:10.1007/978-3-319-09704-6_6
Ablayev, F., Gainutdinova, A., Khadiev, K., Yakaryılmaz, A.: Very narrow quantum obdds and width hierarchies for classical obdds. Lobachevskii J. Math. 37(6), 670–682 (2016)
Ablayev, F., Khadiev, K.: Extension of the hierarchy for k-OBDDs of small width. Russ. Math. 53(3), 46–50 (2013)
Ablayev, F., Khasianov, A., Vasiliev, A.: On complexity of quantum branching programs computing equality-like boolean functions. In: ECCC (2008)
Ablayev, F., Vasiliev, A.: On the computation of boolean functions by quantum branching programs via fingerprinting. In: Electronic Colloquium on Computational Complexity (ECCC), vol. 15 (2008)
Brosenne, H., Homeister, M., Waack, S.: Nondeterministic ordered binary decision diagrams with repeated tests and various modes of acceptance. Inf. Process. Lett. 98(1), 6–10 (2006)
Bollig, B., Sauerhoff, M., Sieling, D., Wegener, I.: Hierarchy theorems for kobdds and kibdds. Theor. Comput. Sci. 205(1), 45–60 (1998)
Gainutdinova, A.F.: Comparative complexity of quantum and classical obdds for total and partial functions. Russ. Math. 59(11), 26–35 (2015)
Hromkovič, J., Sauerhoff, M.: The power of nondeterminism and randomness for oblivious branching programs. Theory Comput. Syst. 36(2), 159–182 (2003)
Khadiev, K.: Width hierarchy for k-obdd of small width. Lobachevskii J. Math. 36(2), 178–183 (2015)
Khadiev, K.: On the hierarchies for deterministic, nondeterministic and probabilistic ordered read-k-times branching programs. Lobachevskii J. Math. 37(6), 682–703 (2016)
Krause, M., Meinel, C., Waack, S.: Separating the eraser turing machine classes Le, NLe, co-NLe and Pe. Theor. Comput. Sci. 86(2), 267–275 (1991)
Nakanishi, M., Hamaguchi, K., Kashiwabara, T.: Ordered quantum branching programs are more powerful than ordered probabilistic branching programs under a bounded-width restriction. In: Du, D.-Z.-Z., Eades, P., Estivill-Castro, V., Lin, X., Sharma, A. (eds.) COCOON 2000. LNCS, vol. 1858, pp. 467–476. Springer, Heidelberg (2000). doi:10.1007/3-540-44968-X_46
Nisan, N., Widgerson, A.: Rounds in communication complexity revisited. In: Proceedings of the Twenty-Third Annual ACM Symposium on Theory of Computing, pp. 419–429. ACM (1991)
Sauerhoff, M.: Quantum vs. classical read-once branching programs. arXiv preprint quant-ph/0504198 (2005)
Sauerhoff, M.: Quantum vs. classical read-once branching programs. In: Krause, M., Pudlák, P., Reischuk, R., van Melkebeek, D., (eds.) Complexity of Boolean Functions, number 06111 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany (2006)
Sauerhoff, M., Sieling, D.: Quantum branching programs and space-bounded nonuniform quantum complexity. Theor. Comput. Sci. 334(1–3), 177–225 (2005)
Sauerhoff, M., Sieling, D.: Quantum branching programs and space-bounded nonuniform quantum complexity. Theor. Comput. Sci. 334(1), 177–225 (2005)
SŽák, P., Žák, S.: A read-once lower bound and a (1,+ k)-hierarchy for branching programs. Theor. Comput. Sci. 238(1), 347–362 (2000)
Wegener, I.: Branching Programs and Binary Decision Diagrams: Theory and Applications. SIAM (2000)
Acknowledgements
We thank Alexander Vasiliev and Aida Gainutdinova from Kazan Federal University and Andris Ambainis from University of Latvia for their helpful comments and discussions.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Khadiev, K., Khadieva, A. (2017). Reordering Method and Hierarchies for Quantum and Classical Ordered Binary Decision Diagrams. In: Weil, P. (eds) Computer Science – Theory and Applications. CSR 2017. Lecture Notes in Computer Science(), vol 10304. Springer, Cham. https://doi.org/10.1007/978-3-319-58747-9_16
Download citation
DOI: https://doi.org/10.1007/978-3-319-58747-9_16
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-58746-2
Online ISBN: 978-3-319-58747-9
eBook Packages: Computer ScienceComputer Science (R0)