Abstract
The paper discusses the evolutionary computation approach to the problem of optimal synthesis of Quantum and Reversible Logic circuits. Our approach uses standard Genetic Algorithm (GA) and its relative power as compared to previous approaches comes from the encoding and the formulation of the cost and fitness functions for quantum circuits synthesis. We analyze new operators and their role in synthesis and optimization processes. Cost and fitness functions for Reversible Circuit synthesis are introduced as well as local optimizing transformations. It is also shown that our approach can be used alternatively for synthesis of either reversible or quantum circuits without a major change in the algorithm. Results are illustrated on synthesized Margolus, Toffoli, Fredkin and other gates and Entanglement Circuits. This is for the first time that several variants of these gates have been automatically synthesized from quantum primitives.
Original language | English |
---|---|
Pages (from-to) | 361-417 |
Number of pages | 57 |
Journal | Artificial Intelligence Review |
Volume | 20 |
Issue number | 3-4 |
DOIs | |
Publication status | Published - 2003 Dec 1 |
Keywords
- Genetic algorithm
- Minimizing transformation
- Quantum CAD
- Quantum logic synthesis
ASJC Scopus subject areas
- Language and Linguistics
- Linguistics and Language
- Artificial Intelligence