Publication details

Potential of Quantum Finite Automata with Exact Acceptance

Authors

GRUSKA Jozef QIU Daowen ZHENG Shenggen

Type Article in Periodical
Magazine / Source International Journal of Foundations of Computer Science
MU Faculty or unit

Faculty of Informatics

Citation
WWW http://www.worldscientific.com/doi/abs/10.1142/S0129054115500215
Doi http://dx.doi.org/10.1142/S0129054115500215
Field Informatics
Keywords Exact quantum computing; quantum finite automata; promise problems; state succinctness Read More: http://www.worldscientific.com/doi/abs/10.1142/S0129054115500215
Description The potential of the exact quantum information processing is an interesting, important and intriguing issue. For examples, it has been believed that quantum tools can provide significant, that is larger than polynomial, advantages in the case of exact quantum computation only, or mainly, for problems with very special structures. We will show that this is not the case. In this paper the potential of quantum finite automata producing outcomes not only with a (high) probability, but with certainty (so called exactly) is explored in the context of their uses for solving promise problems and with respect to the size of automata. It is shown that for solving particular classes {An}n in N of promise problems, even those without some very special structure, that succinctness of the exact quantum finite automata under consideration, with respect to the number of (basis) states, can be very small (and constant) though it grows proportional to n in the case deterministic finite automata (DFAs) of the same power are used. This is here demonstrated also for the case that the component languages of the promise problems solvable by DFAs are non-regular. The method used can be applied in finding more exact quantum finite automata or quantum algorithms for other promise problems. Read More: http://www.worldscientific.com/doi/abs/10.1142/S0129054115500215
Related projects: