星图上的散射量子行走搜索算法.pdfVIP

物理 学报 Acta Phys. Sin. Vol. 64, No. 1 (2015) 010301 星图上的散射量子行走搜索算法∗ 刘艳梅 陈汉武 刘志昊 薛希玲 朱皖宁 1)(东南大学计算机科学与工程学院, 南京 210096) 2)(东南大学计算机网路和信息集成教育部重点实验室, 南京 210096) ( 2014 年5 月27 日收到; 2014 年8 月22 日收到修改稿) 量子行走是一种典型的量子计算模型, 近年来开始受到量子计算理论研究者们的广泛关注. 本文首先证 明了在星图上硬币量子行走与散射量子行走的酉等价关系, 之后提出了一个在星图上的散射量子行走搜索 算法. 该算法的时间复杂度与Grover 算法相同, 但是当搜索的目标数目多于总数的1/3 时搜索成功概率大于 Grover 算法. 关键词: 硬币量子行走, 散射量子行走, Grover 算法 PACS: 03.65.Aa, 03.67.Ac DOI: 10.7498/aps.64.010301 附加硬币空间的离散量子行走, 它是在图的顶点上 1 引 言 的行走, 称为硬币量子行走(coined quantum walk, CQW); 另外一种是2003 年Hillery 等提出的散射 利用随机行走求解问题是一种思维方法, 在计 2 量子行走 (scattering quantum walk, SQW), 该 算机科学、生物学、物理学等多个学科有着广泛的 模型不需要硬币空间并且是在图的边上的量子行 应用. 随机行走的思想与方法作为随机算法的计算 走3−7 . 本文主要研究散射量子行走, 首先证明了 思维训练案例一直受到基础理论研究学者们的关 在星图上两种离散量子行走的酉等价关系, 之后提 注. 随着人类期望计算机能够解决问题领域的不断 出了一种星图上的散射量子行走搜索算法. 本算 扩大, 仰或问题收索空间的日益多维化和复杂化, 法采用文献[8] 中的算子, 该算子对基于量子行走 作为基础理论应用研究点, 渐渐地受到广泛关注. 搜索算法而言是一种新的算子, 并因此在搜索目标 在计算机科学中, 经典随机行走是解决许多计算问 数多于总数的1/3 时取得大于Grover 算法的成功 题的算法工具, 如k-SAT 问题、S-T 连通性问题; 在 概率. 物理学中, 随机行走理论可以模拟和解释很多物理 学问题, 如布朗运动、粒子在介质中的扩散现象. 基 于经典随机行走在多门学科中的成功应用, 人们将 2 两种离散量子行走的关系 随机行走理论推广到量子系统中, 并建立了量子行 2.1 硬币量子行走 走理论. 量子行走的概念最早在1993 年由Aharonov 与连续量子行走不同的是, 硬