文章导读
总览 评价 罗庆斌 1， ， 杨国武 2，* ， 邵院华 2， ， 樊富有 2， （ 1、 电子科技大学数学科学学院，成都 611731； 2、 电子科技大学计算机科学与工程学院，成都 611731； ） 摘要： 在可逆逻辑函数综合中，分类可以使模块重复使用。把布尔函数NP-N等价的
罗庆斌1，， 杨国武2，*， 邵院华2，， 樊富有2，
（
1、电子科技大学数学科学学院，成都 611731； 2、电子科技大学计算机科学与工程学院，成都 611731； ）
摘要：
在可逆逻辑函数综合中，分类可以使模块重复使用。把布尔函数NP-N等价的概念推广到可逆逻辑函数中，得到了可逆逻辑函数NP-NP等价的概念；把最小项数为4的3元布尔函数根据辅因子的码值向量分成5类，并计算出了这5类布尔函数的固定极Reed-Muller(FPRM)展开式；把可逆逻辑函数的辅因子码值向量排序后是否相同，作为可逆逻辑函数是否NP-NP等价的初步判定，当它们相同时，两个可逆逻辑函数NP-NP等价当且仅当它们的各个对应的输出分量有相同的变量映射，否则它们不是NP-NP等价的。运用这个方法可以判定任意的两个3阶可逆逻辑函数是否NP-NP等价。
关键词：
量子电路综合；FPRM展开式；可逆逻辑函数；NP-NP等价；等价判定
Luo Qingbin1,， Yang Guowu2,*， Shao Yuanhua2,， Fan Fuyou2,
（
1、School of Mathematical Sciences,University of Electronic Science and Technology of China,Chengdu 611731, China； 2、School of Computer Science and Engineering,University of Electronic Science and Technology of China,Chengdu 611731, China； ）
Abstract：
In reversible logic synthesis, the templates can be used repeatedly through classification. Extending the definition of NP-N equivalence for Boolean functions to the reversible logic functions, The definition of NP-NP equivalence for reversible logic functions can be given; Divide all 3-varible Boolean functions that everyone of them has exactly four minterms into five classes by their cofactor weight vectors, and calculate the fixed polarity Reed-Muller Form of each class; By comparing the sorted cofactor weight vectors, whether the reversible logic functions are NP-NP equivalent can be judged preliminarily. When the sorted cofactor weight vectors are identical, the reversible logic functions should be judged as NP-NP equivalence if and only if their every corresponding output which is Boolean function has the same variable mappings. Otherwise, the reversible logic functions are not NP-NP equivalent. Thus, whether two 3-bit reversible logic functions are NP-NP equivalent can be judged by this method.
Tag：
点此返回栏目查看更多>>>参考论文
