The Classification of Reversible Bit Operations
conference on innovations in theoretical computer science, pp. 23:1-23:34, 2017.
We present a complete classification of all possible sets of classical reversible gates acting on bits, in terms of which reversible transformations they generate, assuming swaps and ancilla bits are available for free. Our classification can be seen as the reversible-computing analogue of Post's lattice, a central result in mathematica...More
PPT (Upload PPT)