量子搜索算法分析.pdfVIP

第一章绪论 第一章绪论 1．1研究背景 当代计算机的理论基础是由Turing和Church等人提出的关于可计算函数和不可计 算函数之区分的一些纯数学命题奠定的。其核心是Turing机可计算的函数类型恰好对应 于我们自然理解的能由算法计算的函数类型。Turing理论发表后不久，世界上第一台电 子计算机诞生了。1947年晶体管发明之后，计算机硬件的性能以惊人的速度成长，以至 1965年GordonMoore把这种成长现象概括为Moore定律，即集成电路芯片上所集成的 电路的数目，每隔18个月就翻一番。从20世纪60年代开始，Moore定律在几十年时 间里都近似成立，然而大多数科学家认为：由于当电子器件越做越小时，芯片元件就会 达到它能以经典方式工作的极限尺度，它的功能开始受到量子效应的干扰，因而Moore 律很可能在2l世纪的前20年内失效。量子信息的研究就是充分利用量子物理基本原理 的研究成果，发挥量子相干特性的强大作用，探索以全新的方式进行计算、编码和信息 传输的可能性，为突破芯片极限提供新概念、新思路和新途径。 子系统的演化会产生庞大的数据量，以至经典计算系统难以承受，一个完好的模拟所需 的运算时间也变得相当可观，甚至是不切实际的天文数字。他首先提出了用量子系统构 成的计算机来模拟量子现象，量子计算机的概念由此诞生。其关键思想是用量子比特 (qubit)代替经典比特作为信息的基本单元。这种模型在处理特定问题时优于已知的最好 经典计算方法。 1985年，David Deutsch研究了量子电路和通用量子计算机(量子图灵机)，描述了量 子计算机的一般模型，发展了量子计算理论，认为在一般原则下，任何物理过程都可以 被量子计算机模拟哺J。Deutsch和其他一些物理学家认识到，一个数学问题的算法复杂 性的P与NP分类没有绝对性，而在此之前人们一直认为这种分类不依赖于具体的计算 模型。正是这个发现，使得量子计算的研究开始受到关注。 量子计算机在速度上与经典计算机相比有本质的超越，许多在经典计算机中无法 “有效”解决的问题利用量子计算机能够得到有效解决。这里的“有效、“非有效”是 根据算法复杂性理论从数学上精确定义的。粗略的说，有效算法解决问题需要的时间是 问题规模的多项式；相反，非有效算法需要超多项式(典型情况是指数)时间。1985年， David Deutsch提出了一个量子算法，用来说明量子计算机确实可能从计算能力上超过那 些经典计算机嗍。随后十年内许多人努力改进Deutsch令人瞩目的初步结果，这些努力 到1994年PeterShor展示两个极其重要的问题——寻找质数因子问题和解决所谓离散对 数问题——可以用量子计算机有效解决时达到顶点。这方面研究受到广泛关注的原因是 人们仍相信这两个问题在经典计算机上没有有效解法。Shor的结果是量子计算机比 luring机，甚至概率Turing机更为强大的有力证据。量子计算机功能强大的进一步的证 据出现在1996年，Grover证明另一个重要问题——在无结构的搜索空间上进行搜索的 问题——在量子计算机上可以被加速。虽然Grover搜索算法没有达到Shor算法那样明 奎堕奎堂堡主堂篁堡茎 显的加速，但搜索方法的广泛适用性引起人们对Grovcr搜索算法相当的关注。 非结构化数据库的搜索是一个非常重要的数学问题，它有着广泛的应用。这个问题 可以定义为从包含有N=2”个元素的数据库中寻找一个标记项z或者多个满足搜索条件 的项互，…，乙。要搜索的数据库是非结构化的，并且查询函数．厂(x)已知。查询函数厂(x) 是一个布尔函数，对于标记项厶．厂(z)=l，但对所有剩余的数据项，厂O)=0。许多科 学上和工程上的问题可以归结为这种在非结构化数据库中搜索标记项的问题。在经典计 算机上求解这类问题，需要计算厂(x)的次数大约为N／2次，而在量子计算机上，采用 D(√Ⅳ)次查询操作是纯态量子计算的最好结果【3J。 适合做量子计算的体系很多。目前，建造量子计算机的实验方案有：离子阱，量子 前为止被认为是最有前途的，而较之离子阱低温要求高，技术难度大，核磁共振更具优 越性，它的许多特性决定了它目前的领先地位。建造量子计算机最大的困难之一是退相 干问题，而在核磁共振体系中，核自旋与外部环境相互作用很小，即外界环境的消相干 作