薛希玲
- 作品数：9 被引量：23H指数：3
- 供职机构：东南大学更多>>
- 发文基金：国家自然科学基金江苏省自然科学基金江苏省高校自然科学研究项目更多>>
- 相关领域：自动化与计算机技术电子电信理学更多>>
- 基于新型量子逻辑门库的最优NCV三量子电路快速综合算法被引量：5
- 2013年
- 许多量子电路综合算法由于指数级时间与空间复杂度,只能用可逆逻辑门综合3量子逻辑电路,仅有少数算法实现用量子非门,控制非门,控制V门与控制V+门(NCV)综合3量子逻辑电路,主要方法是将电路综合问题简化为四值逻辑综合问题.本文提出用NCV门构造新型量子逻辑门库,该库与NCV门库在综合最优3量子逻辑电路上等价,因此又可将四值逻辑综合问题进一步简化为更易求解的二值逻辑综合问题,使用基于完备Hash函数的3量子电路快速综合算法,快速生成全部最优的3量子逻辑电路,以最小代价综合电路的平均速度是目前最好结果Maslov2007的近127倍.
- 李志强陈汉武刘文杰薛希玲肖芳英
- 关键词：可逆逻辑多值逻辑
- 基于离散时间量子行走模型的搜索算法研究
- 作为设计随机算法的一个有力的数学工具,经典随机行走为因式分解、k-SAT、图同构等问题提供了一系列最广为人知的算法。量子行走提供了加速经典随机行走的可能性,近年来设计基于量子行走的搜索算法成为量子计算领域的研究热点。研究...
- 薛希玲
- 关键词：量子搜索完全图强正则图
- 文献传递
- 基于散射量子行走的完全图上结构异常搜索算法
- 2016年
- 完全图KN上某个顶点连接到图G将破坏其对称性.为加速定位这类结构异常,基于散射量子行走模型设计搜索算法,首先给出了算法酉算子的定义,在此基础上利用完全图的对称性,将算法的搜索空间限定为一个低维的坍缩图空间.以G为一个顶点的情况为例,利用硬币量子行走模型上的研究结论简化了坍缩图空间中酉算子的计算,并借助矩阵扰动理论分析算法演化过程.针对星图SN上结构异常的研究表明,以星图中心节点为界将整个图分为左右两个部分,当且仅当两部分在N→∞时具有相同的特征值,搜索算法可以获得量子加速.本文说明星图上的分析方法和结论可以推广至完全图的坍缩图上.基于此,本文证明无论完全图连接的图G结构如何,搜索算法均可在O(√N)时间内定位到目标顶点,成功概率为1-O(1/√N),即量子行走搜索该类异常与经典搜索相比有二次加速.
- 薛希玲陈汉武刘志昊章彬彬
- 关键词：量子搜索完全图
- 基于BDD的Grover算法仿真被引量：1
- 2009年
- 为了解决仿真量子计算过程中复杂性随量子比特数的增加呈指数级递增的问题,采用二项决策图(BDD)表示矩阵算子仿真Grover提出的量子搜索算法.BDD利用矩阵算子在量子计算过程中呈现出的结构化特性,可以高效地压缩存储空间并实现在压缩数据结构上直接进行矩阵的各种运算.利用改进的BDD实现了仿真过程需要的各种矩阵运算,用C++编写的程序对Grover算法的实例进行仿真,最后从多个角度对违反直观的实验结果进行了分析,阐述了量子算法的内在并行性.
- 薛希玲陈汉武陈开中李志强
- 关键词：量子算法
- 星图上的散射量子行走搜索算法被引量：2
- 2015年
- 量子行走是一种典型的量子计算模型,近年来开始受到量子计算理论研究者们的广泛关注.本文首先证明了在星图上硬币量子行走与散射量子行走的酉等价关系,之后提出了一个在星图上的散射量子行走搜索算法.该算法的时间复杂度与Grover算法相同,但是当搜索的目标数目多于总数的1/3时搜索成功概率大于Grover算法.
- 刘艳梅陈汉武刘志昊薛希玲朱皖宁
- 关键词：GROVER算法
- 量子搜索算法及量子傅里叶变换的仿真
- 当晶体管尺寸接近纳米级别时，量子力学现象在信息处理中起到越来越重要的作用。若这些量子现象包含有限的基态，可以将其抽象为量子电路，一种对常规或“经典”逻辑电路的量子模拟。量子电路仿真可以作为评价量子信息处理器中问题的工具。...
- 薛希玲
- 关键词：量子搜索算法仿真技术分治算法
- 文献传递
- 量子线路仿真的分治算法被引量：3
- 2010年
- 本文将通用量子线路分为两类,给出了每类中两种线路的酉算子表达式;根据矩阵张量积转置相似定理,实现了两类线路酉算子间的转换.引入矩阵的直和运算并将其扩展到向量上,以简洁的形式直观地表示出量子线路对输入向量的作用.在将量子线路抽象为受控酉运算嵌套的基础上,提出了仿真量子线路的分治算法.相较于其他基于状态向量的仿真算法,该算法避免了通过张量积运算生成酉矩阵,从而节省了存储空间;并且在仿真非平凡的量子线路时具有更好的时间复杂度.
- 薛希玲陈汉武刘志昊李志强
- 关键词：仿真技术分治算法
- 基于Grover硬币算子的量子行走在商图上的演化算子被引量：1
- 2016年
- 商图是利用图的对称性分析量子行走算法的一种重要数学工具.量子行走在商图上的演化算子由移位算子和硬币算子构成.本文以构造的方式给出了Grover硬币算子在超立方体的商图上对应的矩阵形式,并给出了其正确性证明.由于商图上的移位算子可由原图上的移位算子直接导出,从而确定了使用Grover算子作为硬币的量子行走在商图上的演化算子.
- 薛希玲李文骞陈汉武刘志昊
- 四量子可逆逻辑电路快速综合算法被引量：14
- 2008年
- 量子可逆逻辑电路综合是以较小量子代价自动构造所求量子可逆逻辑电路.本文提出了一种新颖高效的4量子电路综合算法,巧妙构造置换的最短编码,通过对量子电路进行特定拓扑变换,无损压缩n量子最优电路占用内存空间近2×n!倍,通过对已生成最优电路的双向级联,可使用多种量子门,采用最小长度标准,以极高效率生成较长的4量子电路,如率先生成基于控制非门、非门、Toffoli门库的全部前8层共3120218828个电路,还可快速综合任意长度不超过16的最优电路,并对4量子标准测试电路进行快速且全面的优化.
- 李志强陈汉武徐宝文肖芳英薛希玲
- 关键词：可逆逻辑综合拓扑压缩量子计算
