Computational Power of the Quantum Turing Automata

Lots of efforts in the last decades have been done to prove or disprove whether the set of polynomially bounded problems is equal to the set of polynomially verifiable problems. This paper will present an overview of the current beliefs of quantum complexity theorists and discussion detail the impacts these beliefs may have on the future of the field. We introduce a new form of Turing machine based on the concepts of quantum mechanics and investigate the domain of this novel definition for computation. The main object is to show the domain of these Computation machines and the new definition of Algorithms using these automata. In section one we give a brief fundamental overview of classical complexity theory, Turing machine and all the fundamental concepts required for the next chapters. In section two we describe various classes of classical complexity automata. In next chapter we introduce quantum complexity featuring Quantum Turing Machines and discuss its relationship to classical...

• Type: Conference
• Year: 2007
• Where: ITNG
• Authors: Sina Jafarpour, Mohammad Ghodsi, Keyvan Sadri, Zuheir Montazeri
• Keywords: Classical Complexity, ITNG 2007, Quantum Complexity, Turing Machine