Concepts inReducing the number of lines in reversible circuits
Electronic circuit
An electronic circuit is composed of individual electronic components, such as resistors, transistors, capacitors, inductors and diodes, connected by conductive wires or traces through which electric current can flow. The combination of components and wires allows various simple and complex operations to be performed: signals can be amplified, computations can be performed, and data can be moved from one place to another.
more from Wikipedia
Reversible computing
Reversible computing is a model of computing where the computational process to some extent is reversible, i.e. , time-invertible. A necessary condition for reversibility of a computational model is that the relation of the mapping states of transition functions to their successors should at all times be one-to-one. Reversible computing is generally considered an unconventional form of computing.
more from Wikipedia
Quantum computer
A quantum computer is a device for computation that makes direct use of quantum mechanical phenomena, such as superposition and entanglement, to perform operations on data. Quantum computers are different from digital computers based on transistors. Whereas digital computers require data to be encoded into binary digits, quantum computation utilizes quantum properties to represent data and perform operations on these data.
more from Wikipedia
Qubit
In quantum computing, a qubit or quantum bit is a unit of quantum information¿the quantum analogue of the classical bit. A qubit is a two-state quantum-mechanical system such as the polarization of a single photon: here the two states are vertical polarization and horizontal polarization.
more from Wikipedia
Logic
Logic (from the Greek ¿¿¿¿¿¿ logik¿) is the philosophical study of valid reasoning. Logic is used in most intellectual activities, but is studied primarily in the disciplines of philosophy, mathematics, semantics, and computer science. It examines general forms that arguments may take, which forms are valid, and which are fallacies. In philosophy, the study of logic is applied in most major areas: metaphysics, ontology, epistemology, and ethics.
more from Wikipedia
Mathematical optimization
In mathematics, computer science, or management science, mathematical optimization (alternatively, optimization or mathematical programming) refers to the selection of a best element from some set of available alternatives. In the simplest case, an optimization problem consists of maximizing or minimizing a real function by systematically choosing input values from within an allowed set and computing the value of the function.
more from Wikipedia