公开(公告)号：CN114925839A

公开(公告)日：2022-08-19

申请号：CN202210565085.2

申请日：2022-05-23

Applicant: 南通大学

Inventor： 程学云 ,  李响 ,  陈新宇 ,  曹可欣 ,  朱明强 ,  冯世光 ,  朱鹏程 ,  管致锦

IPC: G06N10/20 ,  G06N10/40 ,  G06N10/60

Abstract: 本发明提供了一种基于真值表验证量子线路等价性的一种衍生方法，属于量子线路等价性验证技术领域。解决了量子线路等价性验证中真值表验证存在的误差的技术问题。其技术方案为：利用真值表的规则衍生出表的形式，解决了真值表中无法存在虚数的弊端，并在后续给出验证结果以及验证的依据。本发明的有益效果为：本发明在与酉矩阵验证线路的弊端进行对比，酉矩阵存在高复杂性、难人工验证和代码复杂度较高等弊端，然而利用表的形式可以降低各方面的难度，使得验证表达的更加简单且清晰易于理解。

公开(公告)号：CN113705819A

公开(公告)日：2021-11-26

申请号：CN202110823882.1

申请日：2021-07-21

Applicant: 南通大学

Inventor： 程学云 ,  朱明强 ,  李响 ,  曹可欣 ,  陈新宇 ,  牛义仁 ,  张超 ,  董佳俊 ,  陈亮 ,  管致锦

IPC: G06N10/00 ,  G06F30/20 ,  G06F119/10 ,  G06F111/06

Abstract: 本发明公开了一种量子位交互错误感知的CNOT线路最近邻综合方法，包含以下步骤：步骤S0，根据CNOT线路生成对应的布尔矩阵；步骤S1，对布尔矩阵的每一列构造最小噪声Steiner树，所述每一列的最小噪声Steiner树根据实际量子体系结构下最小噪声路径获得；步骤S2，对布尔矩阵依次进行主对角线下方元素高斯消元及主对角线上方元素高斯消元，在高斯消元过程中根据最小Steiner噪声路径对每一列的最小噪声Steiner树中列值为零的steiner点置1，上述最小噪声路径及最小Steiner噪声路径均考虑了实际量子体系结构中相邻量子位交互错误率，在保证线路可靠性的前提下实现CNOT量子线路的最近邻综合，同时降低量子线路最近邻综合代价。