Evolutionary approach to quantum and reversible circuits synthesis

  • Authors:
  • Martin Lukac;Marek Perkowski;Hilton Goi;Mikhail Pivtoraiko;Chung Hyo Yu;Kyusik Chung;Hyunkoo Jee;Byung-Guk Kim;Yong-Duk Kim

  • Affiliations:
  • Department of Electrical Engineering and Computer Science, Korea Advanced Institute of Science and Technology, Yuseong-gu, Daejeon, Korea;Department of Electrical Engineering and Computer Science, Korea Advanced Institute of Science and Technology, Yuseong-gu, Daejeon, Korea;Department of Electrical Engineering and Computer Science, Korea Advanced Institute of Science and Technology, Yuseong-gu, Daejeon, Korea;Department of Electrical Engineering, Portland State University, Portland, Oregon;Department of Electrical Engineering and Computer Science, Korea Advanced Institute of Science and Technology, Yuseong-gu, Daejeon, Korea;Department of Electrical Engineering and Computer Science, Korea Advanced Institute of Science and Technology, Yuseong-gu, Daejeon, Korea;Department of Electrical Engineering and Computer Science, Korea Advanced Institute of Science and Technology, Yuseong-gu, Daejeon, Korea;Department of Electrical Engineering and Computer Science, Korea Advanced Institute of Science and Technology, Yuseong-gu, Daejeon, Korea;Department of Electrical Engineering and Computer Science, Korea Advanced Institute of Science and Technology, Yuseong-gu, Daejeon, Korea

  • Venue:
  • Artificial intelligence in logic design
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

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.