计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2013年
10期
218-220,256
,共4页
罗庆斌%杨国武%邵院华%樊富有
囉慶斌%楊國武%邵院華%樊富有
라경빈%양국무%소원화%번부유
量子电路综合%FPRM展开式%可逆逻辑函数%NP-NP等价%等价判定
量子電路綜閤%FPRM展開式%可逆邏輯函數%NP-NP等價%等價判定
양자전로종합%FPRM전개식%가역라집함수%NP-NP등개%등개판정
Synthesis of quantum circuit%Fixed polarity reed-muller form%Reversible logic function%NP-NP equivalence%Equivalence judgment
在可逆逻辑函数综合中,分类可以使模块重复使用.把布尔函数NP-N等价的概念推广到可逆逻辑函数中,得到了可逆逻辑函数NP-NP等价的概念;把最小项数为4的3元布尔函数根据辅因子的码值向量分成5类,并计算出了这5类布尔函数的固定极Reed-Muller(FPRM)展开式;把可逆逻辑函数的辅因子码值向量排序后是否相同作为可逆逻辑函数是否NP-NP等价的初步判定,当它们相同时,两个可逆逻辑函数NP-NP等价当且仅当它们的各个对应的输出分量有相同的变量映射,否则它们不是NP-NP等价的.运用这个方法可以判定任意的两个3阶可逆逻辑函数是否NP-NP等价.
在可逆邏輯函數綜閤中,分類可以使模塊重複使用.把佈爾函數NP-N等價的概唸推廣到可逆邏輯函數中,得到瞭可逆邏輯函數NP-NP等價的概唸;把最小項數為4的3元佈爾函數根據輔因子的碼值嚮量分成5類,併計算齣瞭這5類佈爾函數的固定極Reed-Muller(FPRM)展開式;把可逆邏輯函數的輔因子碼值嚮量排序後是否相同作為可逆邏輯函數是否NP-NP等價的初步判定,噹它們相同時,兩箇可逆邏輯函數NP-NP等價噹且僅噹它們的各箇對應的輸齣分量有相同的變量映射,否則它們不是NP-NP等價的.運用這箇方法可以判定任意的兩箇3階可逆邏輯函數是否NP-NP等價.
재가역라집함수종합중,분류가이사모괴중복사용.파포이함수NP-N등개적개념추엄도가역라집함수중,득도료가역라집함수NP-NP등개적개념;파최소항수위4적3원포이함수근거보인자적마치향량분성5류,병계산출료저5류포이함수적고정겁Reed-Muller(FPRM)전개식;파가역라집함수적보인자마치향량배서후시부상동작위가역라집함수시부NP-NP등개적초보판정,당타문상동시,량개가역라집함수NP-NP등개당차부당타문적각개대응적수출분량유상동적변량영사,부칙타문불시NP-NP등개적.운용저개방법가이판정임의적량개3계가역라집함수시부NP-NP등개.
