量子科技中心_量科网

可逆逻辑综合是量子电子设计自动化中的关键组成部分。虽然基于规则的方法在可逆电路优化领域已占据重要地位，但变换规则系统的完备性始终是该领域长期存在的难题。该研究团队提出了首个完备的可逆电路变换规则集，包含五条基本规则：任何两个等效的可逆电路都能通过这些规则相互转化。为证明完备性，研究人员引入了可逆函数的规范电路表示形式，并论证了每个可逆函数都可由唯一规范形式的可逆电路实现，且任何可逆电路均可通过应用这些规则转化为其规范形式。