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

• 作者: 杨国武 樊富有 罗庆斌 邵院华
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 量子电路综合 FPRM展开式 可逆逻辑函数 NP-NP等价 等价判定
• 年，卷（期）: 2013,（10）
• 所属期刊栏目: 人工智能
• 页码范围: 218-220,256
• 页数: 4页
• 分类号: TP387
• 字数: 5941字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	樊富有	电子科技大学计算机科学与工程学院	4	28	3.0	4.0
2	杨国武	电子科技大学计算机科学与工程学院	22	84	4.0	8.0
3	罗庆斌	电子科技大学数学科学学院	2	4	1.0	2.0
4	邵院华	电子科技大学计算机科学与工程学院	1	1	1.0	1.0