Evolutionary Approach to Quantum andReversible Circuits Synthesis

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

  • Affiliations:
  • Department of Electrical Engineering and Computer Science, Korea Advanced Institute of Science and Technology, 373-1 Guseong-dong, Yuseong-gu, Daejeon 305-701, Korea (E-mail: lukacm@ece.pd ...;Department of Electrical Engineering and Computer Science, Korea Advanced Institute of Science and Technology, 373-1 Guseong-dong, Yuseong-gu, Daejeon 305-701, Korea;Department of Electrical Engineering and Computer Science, Korea Advanced Institute of Science and Technology, 373-1 Guseong-dong, Yuseong-gu, Daejeon 305-701, Korea;Department of Electrical Engineering, Portland State University, Portland, Oregon, 97207-0751, USA (E-mail: mperkows@ee.kaist.ac.kr);Department of Electrical Engineering and Computer Science, Korea Advanced Institute of Science and Technology, 373-1 Guseong-dong, Yuseong-gu, Daejeon 305-701, Korea;Department of Electrical Engineering and Computer Science, Korea Advanced Institute of Science and Technology, 373-1 Guseong-dong, Yuseong-gu, Daejeon 305-701, Korea;Department of Electrical Engineering and Computer Science, Korea Advanced Institute of Science and Technology, 373-1 Guseong-dong, Yuseong-gu, Daejeon 305-701, Korea;Department of Electrical Engineering and Computer Science, Korea Advanced Institute of Science and Technology, 373-1 Guseong-dong, Yuseong-gu, Daejeon 305-701, Korea;Department of Electrical Engineering and Computer Science, Korea Advanced Institute of Science and Technology, 373-1 Guseong-dong, Yuseong-gu, Daejeon 305-701, Korea

  • Venue:
  • Artificial Intelligence Review
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

The paper discusses theevolutionary computation approach to theproblem of optimal synthesis of Quantum andReversible Logic circuits. Our approach usesstandard Genetic Algorithm (GA) and itsrelative power as compared to previousapproaches comes from the encoding and theformulation of the cost and fitness functionsfor quantum circuits synthesis. We analyze newoperators and their role in synthesis andoptimization processes. Cost and fitnessfunctions for Reversible Circuit synthesis areintroduced as well as local optimizingtransformations. It is also shown that ourapproach can be used alternatively forsynthesis of either reversible or quantumcircuits without a major change in thealgorithm. Results are illustrated onsynthesized Margolus, Toffoli, Fredkin andother gates and Entanglement Circuits. This isfor the first time that several variants ofthese gates have been automatically synthesizedfrom quantum primitives.