-
公开(公告)号:CN116862006A
公开(公告)日:2023-10-10
申请号:CN202310734224.4
申请日:2023-06-20
Applicant: 电子科技大学
Abstract: 本发明公开了一种基于BDD的量子线性可逆电路的生成方法、系统、电子设备和存储介质,方法包括以下步骤:获取待处理的量子线性可逆电路,将其转换为可逆矩阵;建立与可逆矩阵V1维度相同的单位矩阵V0;对可逆矩阵V1和单位矩阵V0执行状态转换操作,分别得到目标状态BDD合集和初始状态BDD合集;判断目标状态BDD合集和初始状态BDD合集是否存在交集vt:若存在交集vt则,将两个路径按序排列得到的行变换关系CNOT的序列使用线性可逆电路进行表示。本发明使用可达性分析来研究线性可逆电路的生成,并使用双向BDD搜索方法,可以降低大型函数计算BDD的时间和空间复杂性。