Identifying Reversible Functions From an ROBDD Adam MacDonald Background Reversible functions Number of inputs = number of outputs Mapping from output to input Each output…
