基于固定极Reed-Muller展开式的3阶可逆逻辑函数NP-NP等价判定

摘要：

在可逆逻辑函数综合中,分类可以使模块重复使用.把布尔函数NP-N等价的概念推广到可逆逻辑函数中,得到了可逆逻辑函数NP-NP等价的概念;把最小项数为4的3元布尔函数根据辅因子的码值向量分成5类,并计算出了这5类布尔函数的固定极Reed-Muller(FPRM)展开式;把可逆逻辑函数的辅因子码值向量排序后是否相同作为可逆逻辑函数是否NP-NP等价的初步判定,当它们相同时,两个可逆逻辑函数NP-NP等价当且仅当它们的各个对应的输出分量有相同的变量映射,否则它们不是NP-NP等价的.运用这个方法可以判定任意的两个3阶可逆逻辑函数是否NP-NP等价.

关键词：量子电路综合、FPRM展开式、可逆逻辑函数、NP-NP等价、等价判定

所属期刊栏目：40

分类号：TP387(计算技术、计算机技术)

资助基金：国家自然科学基金项目61272175;高等学校博士学科点专项科研基金20090185110006;四川省教育厅重点项目2011ZA173

在线出版日期：2013-11-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：218-220,256