Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

CRC Press eBooks

Computation Models and Computational Complexity

Radhika Vathsan

Published Jul 21, 2015• 1 citation
Publisher

Abstract

Now that we have the laws for qubits, we need to develop a system for meaningfully manipulating them. Much of the current paradigm for quantum computing is motivated by classical computation theory, especially the circuit model for computation. In this chapter, we will briefly overview the classical model of Boolean circuit theory, and also some of the theoretical concepts involved in classifying the computational complexity of problems. Roger Penrose [53] has a beautiful account of the history of the theory of computation. Another wonderful book on similar lines is that of Douglas Hofstadter [41], both of which will stimulate you to think along the lines of a computer scientist.

DOI
10.1201/b18767-15

Related papers

Basic ideas of classical and quantum computational models and complexity classes

Anirban Pathak

In this chapter we briefly describe the basic ideas of classical and quantum computational models. To be precise, we will provide an overview of the classical (irreversible, probabilistic and reversible) and quantum Turing machines, the need for error correction and the quantum circuit model of computation. We also describe a few complexity classes that are relevant for the study of quantum computing and quantum cryptography.

CRC Press eBooks•Jun 20, 2013•0 citations

Computational Power of the Quantum Turing Automata

Sina Jafarpour, Mohammad Ghodsi, Keyvan Sadri +1 more

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 complexity. Section four presents a relationship between quantum complexity classes based on the quantum Turing machines and quantum oracles, and their relationship with corresponding classical complexity classes. And section five presents a discussion on the practical phenomena in problem solving using quantum computers. Finally in section five we speculate briefly on the direction we believe the field to be headed, and what might reasonably be expected in the future

•Apr 1, 2007•0 citations

INTRODUCTION TO QUANTUM COMPUTING

Faisal Khan, Atharva Gambhir, Om Jadhav +2 more

Quantum computing represents a fundamentally new paradigm in information processing, in which information is encoded and manipulated using two-level quantum systems known as qubits, whose evolution is governed by the principles of quantum mechanics. This chapter presents a structured introduction to the theoretical foundations of quantum computation, beginning with the limitations of classical computation and the physical constraints that motivate the need for a quantum model of computation. We develop the mathematical framework required to describe quantum information, introducing qubits as state vectors in Hilbert space and examining the roles of superposition, measurement, and unitary evolution. Single-qubit operations are presented through the Pauli and Hadamard gates, along with their geometric interpretation on the Bloch sphere. Building on this formalism, the discussion is extended to multi-qubit systems using tensor products, and quantum entanglement is introduced as a non-classical correlation fundamental to quantum information processing. The chapter then explores quantum algorithms, focusing on Grover’s unstructured search algorithm, to demonstrate how superposition, interference, and entanglement can be harnessed to achieve computational advantages over classical approaches. Finally, the chapter discusses applications of quantum computation, including quantum simulation, cryptography, search and optimization problems, and near-term hybrid quantum algorithms such as the Variational Quantum Eigensolver (VQE)and the Quantum Approximate Optimization (QAO) Algorithm, highlighting their relevance in the noisy intermediate-scale quantum (NISQ) era.

Iterative International Publishers eBooks•Jun 1, 2026•0 citations

A Review of Quantum Computing: Fundamental Concepts, Physical Implementations and Future Challenges

L. Sujitha, Y. Ganga Devi

Quantum computing represents a transformative paradigm that exploits the principles of quantum mechanics—superposition, entanglement, and quantum interference—to perform computations beyond the capabilities of classical computers. This review presents a comprehensive overview of the fundamental concepts underlying quantum computation, including qubits, quantum gates, quantum algorithms and measurement theory. It further examines major physical implementations of quantum computers, such as superconducting circuits, trapped ions, photonic systems, spin-based qubits, and topological approaches, highlighting their operational principles, advantages, and technological limitations. Key challenges hindering large-scale quantum computation—decoherence, error rates, qubit scalability, and fault tolerance—are critically discussed. Additionally, recent progress in quantum error correction, hybrid quantum–classical algorithms, and hardware optimization is summarized. The review concludes by outlining future research directions and potential applications of quantum computing in cryptography, materials science, optimization, and drug discovery. By integrating theoretical foundations with experimental advancements, this article aims to provide a clear and accessible reference for students, researchers, and scientists entering the rapidly evolving field of quantum computing.

•Feb 11, 2026•0 citations

An Outlook to Quantum Gate Computing

Christian Bauckhage, Rafet Sifa

Abstract Having spent almost an entire book on working out that Hopfield nets and adiabatic quantum computing are closely related concepts, this chapter departs from our main story line of problem solving as energy minimization and concludes our study with an outlook to the possibilities of quantum gate computing. Indeed, the central ideas behind quantum gate computing differ from most of what we studied so far but our study still has us prepared for getting to grips with the basics of this paradigm. As this paradigm posits that quantum algorithms are sequences of unitary operators which each act on the joint state of a qubit system, we will look at the circuit model of quantum computing and see that quantum circuits consist of quantum gates which are interconnected by quantum wires where the latter represent the states of qubits on which the former perform unitary operations. As a practical example, we discuss how such circuits could compute univariate Boolean functions. This then seamlessly allows us to finally study Deutsch’s problem and algorithm and therefore to see an instance of a computational problem for which quantum computing algorithms can be exponentially faster than their classical counterparts.

Cognitive technologies•Nov 17, 2025•0 citations

Quantum computing and quantum complexity theory

Umesh V. Vazirani

There is strong evidence that computers based upon the principles of quantum physics represent an inherently new and more powerful model of computation. Such computers violate the modern form of the Church-Turing thesis (which lies at the foundations of computer science). This thesis can be informally summarized as follows: all physical implementations of computing devices can be described by the same abstract model of computation-the probabilistic Turing Machine or the equivalent random access machine. In this paper, we will describe two formal models for quantum computers: quantum circuits and quantum Turing Machines, introduced by Deutsch [1985].

IEEE International Symposium on Circuits and Systems proceedings•Jan 1, 2000•0 citations
Now that we have the laws for qubits, we need to develop a system for meaningfully manipulating them. Much of the current paradigm for quantum computing is motivated by classical computation theory, especially the circuit model for computation. In this chapter, we will briefly overview the classical model of Boolean circuit theory, and also some of the theoretical concepts involved in classifying the computational complexity of problems. Roger Penrose [53] has a beautiful account of the history of the theory of computation. Another wonderful book on similar lines is that of Douglas Hofstadter [41], both of which will stimulate you to think along the lines of a computer scientist.
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 complexity. Section four presents a relationship between quantum complexity classes based on the quantum Turing machines and quantum oracles, and their relationship with corresponding classical complexity classes. And section five presents a discussion on the practical phenomena in problem solving using quantum computers. Finally in section five we speculate briefly on the direction we believe the field to be headed, and what might reasonably be expected in the future
Quantum computing represents a fundamentally new paradigm in information processing, in which information is encoded and manipulated using two-level quantum systems known as qubits, whose evolution is governed by the principles of quantum mechanics. This chapter presents a structured introduction to the theoretical foundations of quantum computation, beginning with the limitations of classical computation and the physical constraints that motivate the need for a quantum model of computation. We develop the mathematical framework required to describe quantum information, introducing qubits as state vectors in Hilbert space and examining the roles of superposition, measurement, and unitary evolution. Single-qubit operations are presented through the Pauli and Hadamard gates, along with their geometric interpretation on the Bloch sphere. Building on this formalism, the discussion is extended to multi-qubit systems using tensor products, and quantum entanglement is introduced as a non-classical correlation fundamental to quantum information processing. The chapter then explores quantum algorithms, focusing on Grover’s unstructured search algorithm, to demonstrate how superposition, interference, and entanglement can be harnessed to achieve computational advantages over classical approaches. Finally, the chapter discusses applications of quantum computation, including quantum simulation, cryptography, search and optimization problems, and near-term hybrid quantum algorithms such as the Variational Quantum Eigensolver (VQE)and the Quantum Approximate Optimization (QAO) Algorithm, highlighting their relevance in the noisy intermediate-scale quantum (NISQ) era.
Quantum computing represents a transformative paradigm that exploits the principles of quantum mechanics—superposition, entanglement, and quantum interference—to perform computations beyond the capabilities of classical computers. This review presents a comprehensive overview of the fundamental concepts underlying quantum computation, including qubits, quantum gates, quantum algorithms and measurement theory. It further examines major physical implementations of quantum computers, such as superconducting circuits, trapped ions, photonic systems, spin-based qubits, and topological approaches, highlighting their operational principles, advantages, and technological limitations. Key challenges hindering large-scale quantum computation—decoherence, error rates, qubit scalability, and fault tolerance—are critically discussed. Additionally, recent progress in quantum error correction, hybrid quantum–classical algorithms, and hardware optimization is summarized. The review concludes by outlining future research directions and potential applications of quantum computing in cryptography, materials science, optimization, and drug discovery. By integrating theoretical foundations with experimental advancements, this article aims to provide a clear and accessible reference for students, researchers, and scientists entering the rapidly evolving field of quantum computing.
Abstract Having spent almost an entire book on working out that Hopfield nets and adiabatic quantum computing are closely related concepts, this chapter departs from our main story line of problem solving as energy minimization and concludes our study with an outlook to the possibilities of quantum gate computing. Indeed, the central ideas behind quantum gate computing differ from most of what we studied so far but our study still has us prepared for getting to grips with the basics of this paradigm. As this paradigm posits that quantum algorithms are sequences of unitary operators which each act on the joint state of a qubit system, we will look at the circuit model of quantum computing and see that quantum circuits consist of quantum gates which are interconnected by quantum wires where the latter represent the states of qubits on which the former perform unitary operations. As a practical example, we discuss how such circuits could compute univariate Boolean functions. This then seamlessly allows us to finally study Deutsch’s problem and algorithm and therefore to see an instance of a computational problem for which quantum computing algorithms can be exponentially faster than their classical counterparts.
There is strong evidence that computers based upon the principles of quantum physics represent an inherently new and more powerful model of computation. Such computers violate the modern form of the Church-Turing thesis (which lies at the foundations of computer science). This thesis can be informally summarized as follows: all physical implementations of computing devices can be described by the same abstract model of computation-the probabilistic Turing Machine or the equivalent random access machine. In this paper, we will describe two formal models for quantum computers: quantum circuits and quantum Turing Machines, introduced by Deutsch [1985].