Why sometimes probabilistic algorithms can be more effective
Proceedings of the 12th symposium on Mathematical foundations of computer science 1986
SIAM Journal on Computing
Space-Efficient Deterministic Simulation of Probabilistic Automata
SIAM Journal on Computing
Quantum automata and quantum grammars
Theoretical Computer Science
Dense quantum coding and quantum finite automata
Journal of the ACM (JACM)
Characterizations of 1-Way Quantum Finite Automata
SIAM Journal on Computing
On the Class of Languages Recognizable by 1-Way Quantum Finite Automata
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
Complexity of Probabilistic Versus Deterministic Automata
Baltic Computer Science, Selected Papers
On Comparing Probabilistic and Deterministic Automata Complexity of Languages
MFCS '89 Proceedings on Mathematical Foundations of Computer Science 1989
Exact results for accepting probabilities of quantum automata
Theoretical Computer Science - Mathematical foundations of computer science
On the power of quantum finite state automata
FOCS '97 Proceedings of the 38th Annual Symposium on Foundations of Computer Science
1-way quantum finite automata: strengths, weaknesses and generalizations
FOCS '98 Proceedings of the 39th Annual Symposium on Foundations of Computer Science
Exponential lower bound for 2-query locally decodable codes via a quantum argument
Journal of Computer and System Sciences - Special issue: STOC 2003
Journal of the ACM (JACM)
Lower Bounds for Local Search by Quantum Arguments
SIAM Journal on Computing
Probabilities to accept languages by quantum finite automata
COCOON'99 Proceedings of the 5th annual international conference on Computing and combinatorics
Proving the Power of Postselection
Fundamenta Informaticae - MFCS & CSL 2010 Satellite Workshops: Selected Papers
Hi-index | 0.00 |
Postselection for quantum computing devices was introduced by S. Aaronson[2] as an excitingly efficient tool to solve long standing problems of computational complexity related to classical computing devices only. This was a surprising usage of notions of quantum computation. We introduce Aaronson's type postselection in quantum finite automata. There are several nonequivalent definitions of quantumfinite automata. Nearly all of them recognize only regular languages but not all regular languages. We prove that PALINDROMES can be recognized by MM-quantum finite automata with postselection. At first we prove by a direct construction that the complement of this language can be recognized this way. This result distinguishes quantum automata from probabilistic automata because probabilistic finite automata with non-isolated cut-point 0 can recognize only regular languages but PALINDROMES is not a regular language.