1 南通大学电子信息学院, 江苏 南通 226019
2 南通大学计算机科学与技术学院, 江苏 南通 226019
提出了可逆MCT电路中一种新的MCT门交换规则。基于所提出规则给出了MCT门序列的约简、移动规则,实现了更为通用的可逆MCT电路化简算法。 通过实例及所有3变量可逆函数的实验结果验证了该化简算法的有效性,它能进一步减少可逆电路的门数和量子代价。与已有的同类规则相比, 提出的MCT门交换规则没有约束条件,适用性更强,改进了可逆MCT电路的化简结果。
量子计算 可逆逻辑综合 可逆电路化简 MCT门 MCT电路 quantum computation reversible logic synthesis reversible circuit simplification multi-control Toffoli gate multi-control Toffoli circuit
浙江万里学院宁波市EDA重点实验室, 浙江 宁波 315100
针对可逆电路到量子电路的有效映射问题,提出了带禁忌表的大变异自适应遗传算法,用于 量子可逆电路的综合。选取量子非门、控制非门、控制V门与控制V+门(NCV)构成量子门库,建立了 量子电路计算模型。采用二进制串行编码方案,设计了适应度函数、进化算子及优化规则,实现了 带禁忌表大变异自适应遗传算法的量子可逆电路综合,并用Revlib电路库进行了测试。结果表明该 综合方法能同时得到多个功能解,且所生成电路的量子代价优于库中电路,验证了提出算法用于 量子可逆电路综合的正确性和有效性。
量子信息 量子电路 可逆逻辑综合 大变异自适应遗传算法 禁忌表 quantum information quantum circuits reversible logic synthesis big mutation adaptive genetic algorithm tabu list
合肥工业大学电子科学与应用物理学院, 安徽 合肥 230009
量子可逆逻辑电路优化与综合主要研究在给定的量子门和量子电路的约束条件下，找到最小或较小的量子代价电路以实现所需电路逻辑功能。 量子逻辑真值表综合法是量子电路可逆逻辑综合中最有效的方法之一，包括正向综合、逆向综合和双向综合。推广和定义了横向汉明距离、 纵向汉明距离和交叉汉明距离，使用广义汉明距离提出了一种量子电路优化与综合的新方法。研究表明，此方法使量子逻辑电路得到了更好的优化。
量子信息 可逆逻辑综合 横向汉明距离 纵向汉明距离 交叉汉明距离 布尔函数 quantum information reversible logic synthesis lateral Hamming distance vertical Hamming distance cross Hamming distance Boolean function
