基于汉明距离递减变换的可逆逻辑综合算法 被引量：8

1

作者 陈汉武 李文骞 +1 位作者 阮越 李志强 《计算机学报》 EI CSCD 北大核心 2014年第8期1839-1845,共7页

可逆逻辑综合是指对给定的可逆函数自动构造对应的可逆逻辑电路.现有的可逆逻辑综合算法虽然通过后期优化能够得到近似最优解,但是都存在生成的原始电路门数较多的问题,增加了后期优化工作的难度.文中提出一种基于真值表异位数计算的综... 可逆逻辑综合是指对给定的可逆函数自动构造对应的可逆逻辑电路.现有的可逆逻辑综合算法虽然通过后期优化能够得到近似最优解,但是都存在生成的原始电路门数较多的问题,增加了后期优化工作的难度.文中提出一种基于真值表异位数计算的综合方法,根据异位数判定是否需增加逻辑非门达到减少输入和输出向量的汉明距离,从而实现边计算边简化函数,最后采用汉明距离递减变换的方法生成最终的电路.通过实验表明,相比于其他的综合算法,该算法得到的原始电路更接近于最优解或近似最优解,很大程度上减少了算法后续的优化工作量. 展开更多

关键词 可逆逻辑综合 扩展Toffoli门 汉明距离 异位数

在线阅读 下载PDF 职称材料

量子可逆逻辑综合的关键技术及其算法 被引量：9

2

作者 李志强 李文骞 陈汉武 《软件学报》 EI CSCD 北大核心 2009年第9期2332-2343,共12页

最优化量子可逆逻辑的关键在于用最小的量子代价自动构造量子可逆逻辑.为了提高可逆逻辑自动生成与优化的效率,提出了类模板技术和一种快速算法.模板技术是一个有效的优化工具,类模板技术可以显著提高模板技术的匹配效率;R-M算法是可逆... 最优化量子可逆逻辑的关键在于用最小的量子代价自动构造量子可逆逻辑.为了提高可逆逻辑自动生成与优化的效率,提出了类模板技术和一种快速算法.模板技术是一个有效的优化工具,类模板技术可以显著提高模板技术的匹配效率;R-M算法是可逆逻辑综合的一种较好的迭代方法,基于R-M算法的原始思想,构造了一个Hash函数,并在此基础上提出了一种可逆逻辑综合的快速算法.实验结果表明,在同等实验环境下使用类模板技术与快速算法,其优化的效果与效率远远优于已知的其他算法. 展开更多

关键词 量子可逆逻辑 可逆逻辑优化 自动生成与优化 可逆逻辑综合 Hash函数关键词

在线阅读 下载PDF 职称材料

基于真值表变换的可逆逻辑综合算法 被引量：3

3

作者 安博 陈汉武 +2 位作者 杨忠明 王冬 李志强 《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2010年第1期58-63,共6页

为实现将给定的二元可逆函数快速综合为相应电路,并保持其结果的最优或较优,提出一种基于真值表变换的快速综合算法.可逆函数与置换同构,任意置换均可表示为若干对换的乘积,通过将可逆函数转化为一系列对换的乘积,从对换的乘积中综合电... 为实现将给定的二元可逆函数快速综合为相应电路,并保持其结果的最优或较优,提出一种基于真值表变换的快速综合算法.可逆函数与置换同构,任意置换均可表示为若干对换的乘积,通过将可逆函数转化为一系列对换的乘积,从对换的乘积中综合电路.对于3bit逻辑电路只有28种对换,事先将28种对换的最优电路存入库中生成3bit电路综合基,通过在库中查找快速生成可逆电路.根据逻辑门可交换规则引入优化方法,完成快速综合算法.结果表明,该方法不但可以提高可逆逻辑综合的效率,而且结构简单,易于实现,可以O(4n)的时间效率快速综合任意3bit可逆逻辑电路,实现综合结果达到或接近最优. 展开更多

关键词 可逆逻辑综合 真值表 对换 规则优化

在线阅读 下载PDF 职称材料

基于带权有向图的可逆逻辑综合改进算法 被引量：2

4

作者 程学云 管致锦 《计算机工程与设计》 CSCD 北大核心 2012年第11期4214-4218,4304,共6页

为减少可逆逻辑综合中使用的可逆门,通过对基于带权有向图的可逆逻辑综合算法的分析,针对函数转换过程中过渡门数较多及电路优化算法简单的问题,提出了有效的等复杂度基本输出变换的概念,扩充并证明了Toffoli门序列的移动和化简规则,给... 为减少可逆逻辑综合中使用的可逆门,通过对基于带权有向图的可逆逻辑综合算法的分析,针对函数转换过程中过渡门数较多及电路优化算法简单的问题,提出了有效的等复杂度基本输出变换的概念,扩充并证明了Toffoli门序列的移动和化简规则,给出了改进的基于带权有向图的可逆逻辑综合算法。实验结果表明,该算法不仅减少了可逆电路构成时所使用的可逆门,而且对构建的可逆电路实现了有效化简,大幅度减少了门数和控制位数,降低了可逆电路代价。 展开更多

关键词 可逆逻辑综合 带权有向图 Toffoli门 函数复杂性 基本输出变换

在线阅读 下载PDF 职称材料

基于卡诺图的三变量可逆逻辑综合算法 被引量：1

5

作者 朱皖宁 刘志昊 《计算机科学》 CSCD 北大核心 2017年第S1期546-550,共5页

提出了一种基于卡诺图的可逆逻辑综合算法,该算法可以快速地求解带垃圾位的可逆逻辑综合问题。大量特定的可逆逻辑门都不可避免地带有一定的垃圾位,如果使用真值表、置换群等经典可逆逻辑综合算法求解这些带垃圾位的可逆逻辑门,则因无... 提出了一种基于卡诺图的可逆逻辑综合算法,该算法可以快速地求解带垃圾位的可逆逻辑综合问题。大量特定的可逆逻辑门都不可避免地带有一定的垃圾位,如果使用真值表、置换群等经典可逆逻辑综合算法求解这些带垃圾位的可逆逻辑门,则因无法获得全局状态而很难得到结果。根据卡诺图的特点,将可逆逻辑问题分解为多个变量分别求解,无需关心全局状态。提出的卡诺图可逆逻辑综合算法根据在卡诺图上的邻接性将3变量可逆逻辑问题划分为5个等价类;对每个等价类分别进行计算,在常数时间内解决了带垃圾位的可逆逻辑综合问题。 展开更多

关键词 卡诺图 可逆逻辑综合 垃圾位 NCT门库 扩展通用TOFFLI门

在线阅读 下载PDF 职称材料

基于最小混乱度的三值可逆逻辑综合算法

6

作者 徐明强 管致锦 张海豹 《电子学报》 EI CAS CSCD 北大核心 2013年第7期1352-1357,共6页

三值可逆逻辑综合是可逆逻辑综合的延伸和扩展.为了简化可逆网络,提高三值可逆逻辑门的通用性,对现有三值可逆控制门控制位的生效值扩展为0、1和2.在此基础上提出了基于最小混乱度原则的三值可逆逻辑综合算法.该算法根据三值可逆函数计... 三值可逆逻辑综合是可逆逻辑综合的延伸和扩展.为了简化可逆网络,提高三值可逆逻辑门的通用性,对现有三值可逆控制门控制位的生效值扩展为0、1和2.在此基础上提出了基于最小混乱度原则的三值可逆逻辑综合算法.该算法根据三值可逆函数计算其对应真值表中每个变量的相对混乱度和绝对混乱度,以最小混乱度原则选取三值可逆逻辑门,直至真值表中的每个变量的混乱度为零,得到三值可逆网络.该算法的时间复杂度为O(n2×3n),空间复杂度为O(n×3n).实验结果表明,与现有已知算法对比,平均门数更少. 展开更多

关键词 三值可逆逻辑门 三值可逆逻辑综合 混乱度

在线阅读 下载PDF 职称材料

类选择排序的可逆逻辑综合算法 被引量：6

7

作者 万四爽 陈汉武 曹如进 《计算机学报》 EI CSCD 北大核心 2010年第12期2343-2352,共10页

可逆逻辑综合是指对给定的可逆函数自动构造对应的可逆逻辑电路.由于搜索空间随电路规模增长成指数增长,现有的可逆逻辑综合算法虽然能够得到近似最优的解,但是都存在计算时间过长的问题.文中提出了一种类似选择排序的可逆逻辑综合算法... 可逆逻辑综合是指对给定的可逆函数自动构造对应的可逆逻辑电路.由于搜索空间随电路规模增长成指数增长,现有的可逆逻辑综合算法虽然能够得到近似最优的解,但是都存在计算时间过长的问题.文中提出了一种类似选择排序的可逆逻辑综合算法,其实质为基于变换规则的合成法.它采用一个无向无权图表示所有可以进行变换的路径,在综合的过程中,采用选择排序思想每次从小到大的选择需要交换的输出项,然后从路径选择图中找到最优的路径进行变换,最终使得函数的输出序列有序即完成综合.此外,文中还对得到的量子电路进行了优化.实验表明,相比其它综合算法,该算法不仅总能获得最优解或近似最优解,而且效率高、易于实现. 展开更多

关键词 量子计算 可逆逻辑综合 Toffoli门 选择排序 量子电路

在线阅读 下载PDF 职称材料

基于错误位分布的可逆逻辑综合算法

8

作者 朱鹏程 程学云 +1 位作者 卫丽华 管致锦 《计算机学报》 EI CSCD 北大核心 2018年第4期796-808,共13页

可逆逻辑综合是指根据可逆函数构造可逆电路的过程.真值表变换法是一种常见的可逆逻辑综合算法,其易懂并易实现,但生成的电路含较多冗余逻辑门,有待进一步的优化.为实现一种无需优化便可接近最优解的真值表变换法,给出关于真值表错误位... 可逆逻辑综合是指根据可逆函数构造可逆电路的过程.真值表变换法是一种常见的可逆逻辑综合算法,其易懂并易实现,但生成的电路含较多冗余逻辑门,有待进一步的优化.为实现一种无需优化便可接近最优解的真值表变换法,给出关于真值表错误位的定义,提出并证明了NOT门、CNOT门以及Toffoli门的在减少错误位上的数量判定,以错误数和错误位分布情况为特征从全部三元可逆逻辑函数的真值表中提炼出79种错误分布模式,并将模式分为两类.为第一类模式直接确定在综合过程中用于减少错误数的规则,为第二类模式制订试探方案,并确定在试探失败的情况下向其他模式(错误数与原模式相同,但更易处理)的转换规则.以扩展广义Toffoli门为门库,提出一种基于错误位分布模式识别和转换的可逆逻辑综合算法,该算法通过不断识别模式并应用启发式规则,使得错误较多的模式尽快尽早地转换成错误较少的模式,直至真值表中无错误位存在为止.该算法在最坏情况下需要3*n*2^(n-2)次迭代,算法的时间复杂度为O(n*2~n),空间复杂度为O(n*2~n),与具有代表性的同类算法比较,时间复杂度和空间复杂度都具有一定优势.采用代表性文献中选用的Benchmark函数和全部三元可逆函数进行实验,结果表明,该算法不仅在Benchmark函数上优于同类算法,而且由全部三元函数生成电路的平均门代价比同类较好算法优化后的结果降低6.19%. 展开更多

关键词 可逆逻辑综合 错误位 模式识别 模式转换 启发式规则

在线阅读 下载PDF 职称材料

四量子可逆逻辑电路快速综合算法 被引量：14

9

作者 李志强 陈汉武 +2 位作者 徐宝文 肖芳英 薛希玲 《电子学报》 EI CAS CSCD 北大核心 2008年第11期2081-2089,共9页

量子可逆逻辑电路综合是以较小量子代价自动构造所求量子可逆逻辑电路.本文提出了一种新颖高效的4量子电路综合算法,巧妙构造置换的最短编码,通过对量子电路进行特定拓扑变换,无损压缩n量子最优电路占用内存空间近2×n!倍,通过对已... 量子可逆逻辑电路综合是以较小量子代价自动构造所求量子可逆逻辑电路.本文提出了一种新颖高效的4量子电路综合算法,巧妙构造置换的最短编码,通过对量子电路进行特定拓扑变换,无损压缩n量子最优电路占用内存空间近2×n!倍,通过对已生成最优电路的双向级联,可使用多种量子门,采用最小长度标准,以极高效率生成较长的4量子电路,如率先生成基于控制非门、非门、Toffoli门库的全部前8层共3120218828个电路,还可快速综合任意长度不超过16的最优电路,并对4量子标准测试电路进行快速且全面的优化. 展开更多

关键词 4量子 可逆逻辑综合 最短编码 拓扑压缩 量子计算

在线阅读 下载PDF 职称材料

综合法研究量子可逆逻辑电路 被引量：5

10

作者 吕洪君 吴天昊 +1 位作者 彭斐 解光军 《量子电子学报》 CAS CSCD 北大核心 2010年第2期174-179,共6页

量子可逆逻辑电路优化与综合主要研究在给定的量子门和量子电路的约束条件下,找到最小或较小的量子代价电路以实现所需电路逻辑功能。量子逻辑真值表综合法是量子电路可逆逻辑综合中最有效的方法之一,包括正向综合、逆向综合和双向综合... 量子可逆逻辑电路优化与综合主要研究在给定的量子门和量子电路的约束条件下,找到最小或较小的量子代价电路以实现所需电路逻辑功能。量子逻辑真值表综合法是量子电路可逆逻辑综合中最有效的方法之一,包括正向综合、逆向综合和双向综合。推广和定义了横向汉明距离、纵向汉明距离和交叉汉明距离,使用广义汉明距离提出了一种量子电路优化与综合的新方法。研究表明,此方法使量子逻辑电路得到了更好的优化。 展开更多

关键词 量子信息 可逆逻辑综合 横向汉明距离 纵向汉明距离 交叉汉明距离 布尔函数

在线阅读 下载PDF 职称材料

基于对换门库的可逆逻辑电路综合算法

11

作者 李志钢 陈汉武 +2 位作者 李志强 朱皖宁 刘志昊 《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2012年第5期832-836,共5页

为了将可逆函数以较小的代价自动构造为对应的可逆逻辑电路,提出了一种基于对换门库的综合算法.首先,将可逆函数的输出作为快速排序算法的输入数据,在排序算法中按顺序保留所交换的元素对,并输出该元素对序列;其次,利用置换群规则对该... 为了将可逆函数以较小的代价自动构造为对应的可逆逻辑电路,提出了一种基于对换门库的综合算法.首先,将可逆函数的输出作为快速排序算法的输入数据,在排序算法中按顺序保留所交换的元素对,并输出该元素对序列;其次,利用置换群规则对该序列进行优化处理,获得相似度最高的对换序列;然后,逆序排列该对换序列,并基于对换门库生成可逆函数的初始电路;最后,应用电路门优化规则,对初始电路进行优化,得到最终的可逆逻辑电路.相比于其他算法,所提算法明显提高了可逆逻辑综合效率,其思想的简洁性使得算法更易于理解和实现. 展开更多

关键词 量子可逆逻辑综合 置换群规则 对换门库 优化规则

在线阅读 下载PDF 职称材料

基于KFDD的可逆逻辑电路综合设计方法 被引量：6

12

作者 王友仁 沈先坤 周影辉 《电子学报》 EI CAS CSCD 北大核心 2014年第5期1025-1029,共5页

可逆逻辑作为量子计算,纳米技术,低功耗设计等新兴技术的基础,近年来得到了越来越多的关注和研究.然而,大多数可逆逻辑综合方法对函数真值表表达形式的依赖使得综合电路规模受到了限制.决策图作为一种更加简洁的布尔函数表示方法,其为... 可逆逻辑作为量子计算,纳米技术,低功耗设计等新兴技术的基础,近年来得到了越来越多的关注和研究.然而,大多数可逆逻辑综合方法对函数真值表表达形式的依赖使得综合电路规模受到了限制.决策图作为一种更加简洁的布尔函数表示方法,其为可逆逻辑综合提供了另一种途径.本文基于Kronecker函数决策图(KFDD)提出了一种适合于综合大规模电路的综合方法.该方法利用KFDD描述功能函数,以局部最优的方式从三种节点分解方法中寻找最优分解方法,并根据Kronecker函数决策图中不同类型的节点构建相应的可逆逻辑电路模块,最后将各节点替换电路模块实现级联得到结果电路.以可逆基准电路为例,对该方法进行了验证.实验结果表明,该方法能以较低的代价实现对较大规模函数的可逆逻辑电路综合. 展开更多

关键词 可逆逻辑电路综合 Kronecker函数决策图 节点分解方法 分解类型表

在线阅读 下载PDF 职称材料

可逆逻辑门网络的表示与级联 被引量：10

13

作者 管致锦 秦小麟 +1 位作者 陶涛 施 《电子学报》 EI CAS CSCD 北大核心 2010年第10期2370-2376,共7页

可逆计算是一个新兴的研究领域,可逆逻辑门网络的级联是可逆计算的重要内容.本文提出了一种可逆逻辑网络表示方法,给出了相应的可逆网络模型.为了构造可逆逻辑网络,给出了一种可逆逻辑门单元库的构造方法.证明了同一垂直线上两个不相交... 可逆计算是一个新兴的研究领域,可逆逻辑门网络的级联是可逆计算的重要内容.本文提出了一种可逆逻辑网络表示方法,给出了相应的可逆网络模型.为了构造可逆逻辑网络,给出了一种可逆逻辑门单元库的构造方法.证明了同一垂直线上两个不相交可逆逻辑门单元的输出值与此二逻辑门单元分布到相同平行线的两条相邻垂直线上的输出值之间的关系;给出了分布在相同平行线上奇数和偶数个相邻的相同可逆逻辑门单元输出结果的性质.提出了一种可逆网络输出向量的表示方法和基于可逆门编码的可逆网络级联方法,以此生成给定范围内的可逆网络.通过变进制数的方法快速找到可逆网络输出向量所对应的序号,降低了搜索次数,减小了搜索空间,为进一步综合大规模可逆网络,提高可逆网络级联效率提供了支持.Benchmark例题验证表明,该方法构造的可逆网络控制门数更少,代价更小. 展开更多

关键词 可逆计算 可逆逻辑综合 可逆逻辑门 可逆网络 可逆门级联

在线阅读 下载PDF 职称材料

基于改进遗传算法的量子可逆电路综合 被引量：2

14

作者 胡江 张巧文 王阳 《量子电子学报》 CAS CSCD 北大核心 2017年第2期196-202,共7页

针对可逆电路到量子电路的有效映射问题,提出了带禁忌表的大变异自适应遗传算法,用于量子可逆电路的综合。选取量子非门、控制非门、控制V门与控制V+门(NCV)构成量子门库,建立了量子电路计算模型。采用二进制串行编码方案,设计了适应度... 针对可逆电路到量子电路的有效映射问题,提出了带禁忌表的大变异自适应遗传算法,用于量子可逆电路的综合。选取量子非门、控制非门、控制V门与控制V+门(NCV)构成量子门库,建立了量子电路计算模型。采用二进制串行编码方案,设计了适应度函数、进化算子及优化规则,实现了带禁忌表大变异自适应遗传算法的量子可逆电路综合,并用Revlib电路库进行了测试。结果表明该综合方法能同时得到多个功能解,且所生成电路的量子代价优于库中电路,验证了提出算法用于量子可逆电路综合的正确性和有效性。 展开更多

关键词 量子信息 量子电路 可逆逻辑综合 大变异自适应遗传算法 禁忌表

在线阅读 下载PDF 职称材料

一种MCT门量子可逆线路分解与优化方法

15

作者 张苏嘉 管致锦 杨雪婷 《电子科技大学学报》 EI CAS CSCD 北大核心 2024年第1期155-160,共6页

为提高可逆线路中MCT门的分解和优化效率,提出了一种MCT门的优化分解方法,根据该方法得出MCT分解模板并验证了正确性。基于该模板给出了相应的分解与优化算法,算法对MCT门分解出的Toffoli线路进行分类,使用优化分解模板将其分解为NCV线... 为提高可逆线路中MCT门的分解和优化效率,提出了一种MCT门的优化分解方法,根据该方法得出MCT分解模板并验证了正确性。基于该模板给出了相应的分解与优化算法,算法对MCT门分解出的Toffoli线路进行分类,使用优化分解模板将其分解为NCV线路。该算法的时间复杂度为O(m),优于传统算法的复杂度O(m2)。通过对控制位m∈{3,10}的MCT门与Benchmark可逆线路的实验,验证了该算法优化和分解的有效性。 展开更多

关键词 电路优化 MCT门 NCV门 量子电路 可逆逻辑综合

在线阅读 下载PDF 职称材料

可逆编程语言R-JAVA及其语言处理系统的设计 被引量：8

16

作者 朱鹏程 管致锦 卫丽华 《计算机工程与设计》 CSCD 北大核心 2013年第10期3502-3510,共9页

为了给基于可逆逻辑综合、可逆电路技术的可逆硬件平台设计可逆软件系统,提出基于JDK的可逆编程语言RJAVA。首先总结可逆编程语言的设计原则,然后为可逆语言R-JAVA设计文法规则和语言处理系统,其语言处理系统提取源程序中的可逆代码段... 为了给基于可逆逻辑综合、可逆电路技术的可逆硬件平台设计可逆软件系统,提出基于JDK的可逆编程语言RJAVA。首先总结可逆编程语言的设计原则,然后为可逆语言R-JAVA设计文法规则和语言处理系统,其语言处理系统提取源程序中的可逆代码段并将其翻译成分别对应正反语义的等价JAVA代码,再将翻译后的JAVA代码交由JDK解释执行。最后通过示例程序表明R-JAVA源程序中的可逆函数既可正向运行,又可反向运行,从软件层次上实现了可逆计算。 展开更多

关键词 可逆逻辑综合 可逆电路 可逆编程语言 语言处理系统 文法规则 可逆计算

在线阅读 下载PDF 职称材料

基于规则的可逆Toffoli电路优化算法 被引量：5

17

作者 程学云 管致锦 +1 位作者 张海豹 丁卫平 《计算机科学》 CSCD 北大核心 2013年第10期32-38,共7页

可逆电路的优化是可逆逻辑综合的关键问题之一。为了解决可逆Toffoli电路优化问题中算法复杂度高和电路规模可扩充性差的问题,分析归纳了相邻Toffoli门的关系,提出并证明了可逆Toffoli电路中子序列的移动和化简规则,并基于这些规则给出... 可逆电路的优化是可逆逻辑综合的关键问题之一。为了解决可逆Toffoli电路优化问题中算法复杂度高和电路规模可扩充性差的问题,分析归纳了相邻Toffoli门的关系,提出并证明了可逆Toffoli电路中子序列的移动和化简规则,并基于这些规则给出了可逆Toffoli电路的优化算法。根据移动规则对可逆电路进行正向和反向扫描,寻找满足化简规则的子序列进行优化,直到可逆电路不发生变化为止。该优化算法与可逆电路的输入线数无关,无需存储额外信息,适用于各种不同类型的Toffoli电路合成方法,算法复杂度为O(s3),优于通常使用的模板优化的复杂度O(n!t2s3)。在具体实例和国际认可的所有3变量可逆函数上的验证结果表明,该优化算法能有效地减少可逆电路的门数和控制位数,降低可逆电路的代价。 展开更多

关键词 可逆逻辑综合 可逆函数 Toffoli门 可逆电路优化

在线阅读 下载PDF 职称材料

基于正反控制门的可逆网络化简

18

作者 程学云 管致锦 +1 位作者 陈林山 杨爱琴 《计算机工程》 CAS CSCD 2012年第16期287-290,共4页

提出并证明正反控制(PNC)门级联电路中的合并、移动和分解规则,利用此规则给出基于PNC门的可逆网络的化简算法。根据移动规则对门序列进行正向和反向双向扫描,寻找符合化简条件的两门,直到可逆网络不发生变化为止。所有3变量可逆函数上... 提出并证明正反控制(PNC)门级联电路中的合并、移动和分解规则,利用此规则给出基于PNC门的可逆网络的化简算法。根据移动规则对门序列进行正向和反向双向扫描,寻找符合化简条件的两门,直到可逆网络不发生变化为止。所有3变量可逆函数上的实验结果表明,该算法能减少PNC门级联网络的门数和控制位数,降低可逆网络的代价。 展开更多

关键词 可逆逻辑综合 可逆网络 可逆函数 正反控制门 模板 化简规则

在线阅读 下载PDF 职称材料

优化的可逆MCT电路化简算法 被引量：7

19

作者 程学云 谈莹莹 +2 位作者 管致锦 王德俊 刘洋 《量子电子学报》 CSCD 北大核心 2017年第6期713-720,共8页

提出了可逆MCT电路中一种新的MCT门交换规则。基于所提出规则给出了MCT门序列的约简、移动规则,实现了更为通用的可逆MCT电路化简算法。通过实例及所有3变量可逆函数的实验结果验证了该化简算法的有效性,它能进一步减少可逆电路的门数... 提出了可逆MCT电路中一种新的MCT门交换规则。基于所提出规则给出了MCT门序列的约简、移动规则,实现了更为通用的可逆MCT电路化简算法。通过实例及所有3变量可逆函数的实验结果验证了该化简算法的有效性,它能进一步减少可逆电路的门数和量子代价。与已有的同类规则相比,提出的MCT门交换规则没有约束条件,适用性更强,改进了可逆MCT电路的化简结果。 展开更多

关键词 量子计算 可逆逻辑综合 可逆电路化简 MCT门 MCT电路

在线阅读 下载PDF 职称材料

基于规则的可逆网络时延优化算法 被引量：1

20

作者 张海豹 管致锦 程学云 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2013年第11期1746-1758,共13页

为降低可逆网络的时延,构建了可逆网络的时延模型,并提出相应的可逆网络时延优化算法.将可逆网络表示成乐谱线的形式,每经过一个可逆门就加上相应时延值,可逆门目标位输出时延值取该门所有输出时延的最大值;基于可逆网络中子序列的移动... 为降低可逆网络的时延,构建了可逆网络的时延模型,并提出相应的可逆网络时延优化算法.将可逆网络表示成乐谱线的形式,每经过一个可逆门就加上相应时延值,可逆门目标位输出时延值取该门所有输出时延的最大值;基于可逆网络中子序列的移动和时延优化规则提出了时延优化算法,该算法分别从左到右和从右到左扫描可逆网络,当有符合时延优化规则的情况时做相应的优化;对比2种情况所得可逆网络的时延值,输出时延最优网络.对国际认可的所有3变量可逆函数及部分具有代表性的Benchmark例题进行验证的结果表明,文中算法能有效地减少可逆网络的时延,降低可逆网络的量子代价. 展开更多

关键词 可逆逻辑综合 可逆函数 Toffoli门 可逆网络 时延

在线阅读 下载PDF 职称材料