论文部分内容阅读
n输入n输出可逆逻辑门的级联构成一个群，它与对称群Sτ同构。本文研究了生成Toffoli门集合的可逆逻辑门数的特点，证明了任意置换Sn可以由n-轮换δ和一个置换τ=（ij，ik）生成，同时证明了相邻2一轮换可由至多两个NOT门在不增加额外信息位的情况下生成。最后提出了一个基于上述理论的可逆逻辑门网络级联算法，并通过实例验证了该算法的正确性。