Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Paper:

TR05-128 | 27th October 2005 00:00

The normal form of reversible circuits consisting of CNOT and NOT gates

RSS-Feed




TR05-128
Authors: Miroslava Sotáková
Publication: 8th November 2005 11:15
Downloads: 1102
Keywords: 


Abstract:

This paper deals with the reversible circuits with n input and
output nodes, consisting of the reversible gates FAN-IN=FAN-OUT<3.
We define a normal form of such type of circuits and describe a reduction
algorithm to transform a circuit in this form. Furthermore we use it for
checking whether two circuits are equivalent to each other without
evaluating them.



ISSN 1433-8092 | Imprint