二十一世纪是一个快速发展的信息时代,电子计算机在社会发展中起到了至关重要的作用。当前电子计算机发展已经进入到一个瓶颈期：高度的电路集成导致漏电荷和高发热量问题；大量的NP问题在电子计算机上无法有效的求解；信息安全面临着威胁等等。为了解决这些问题,我们需要寻找到新的计算机模型。在许多新型计算机模型中,量子计算机是最值得人们关注的一种。量子计算机是利用量子的物理特性进行计算的计算机：量子计算机通过对量子叠加态的酉演化,可以实现高度的并行计算,从而对大量经典算法进行指数级的加速。著名的量子算法类型有：基于量子傅里叶变换的量子算法,基于无结构数据库搜索的量子算法,基于量子行走的量子算法等。其中量子行走是经典随机行走在量子计算中的对应,又分为离散量子行走和连续量子行走,本文重点研究离散量子行走。离散量子行走的研究方向从总体上可以分为四类：量子行走体系结构研究；量子行走算法研究；量子行走通用性研究；量子行走的逻辑实现研究。本文将工作重心放在量子行走算法和量子逻辑实现的研究上,从如何优化基于量子行走的搜索算法和实现各种数据结构的量子行走算法着手,取得了一定的研究成果,具体如下：1)本文基于RSE范式的演化过程提出了新的R eed-Muller展开式算法。以往的量子可逆逻辑综合算法必须要得到全部真值表信息,而本文提出的展开式算法可以将带大量无关项的电路真值表快速转化为Reed-Mulle r展开式。在对某个特定的量子电路进行逻辑综合时,往往不能避免带有无关项,因此本文提出的量子可逆逻辑综合算法更加具备实用性。2)本文提出了低开销的量子比较器电路。在量子计算中,往往会需要进行Oracle操作,判定目标态的值,这个操作是量子计算中分析查询复杂度的原子操作,所以Oracle操作本身的效率需要慎重考虑。在所有的判定计算中,比较是最常用的一种,因此实现量子比较器非常重要。本文提出的算法巧妙的利用编码电路来实现比较器,比以前提出的算法大大降低了电路的开销。3)本文提出了基于NCP门库的一维量子行走可逆逻辑电路实现方案,根据一维量子行走的特点,将电路划分为投掷量子硬币和根据量子硬币进行随机行走的S操作两个部分；详细分析了S操作,并对S操作进行了数学建模,巧妙的利用可控加减电路实现了S操作。本文提出的电路描述了一维量子行走的最基本操作,并且将其模块化,使得一维量子行走算法从理论到实现前进了一步；利用原始递归给出了一维量子行走中每一步的数学表达式,便于以后更加深入的对一维量子行走算法的研究。在此基础上,本文给出了多维格上的量子行走可逆逻辑综合电路和图上量子行走可逆逻辑综合电路。4)本文详细讨论分析了Grover搜索算法。针对Grover搜索算法在部分数据库上无法进行搜索的问题,提出了改进均值反演算子的方法,提高了Grover搜索算法在实际数据库搜索问题中搜索到目标态的效率。Grover搜索算法在运行之前需要先获得搜索目标的数量,否则无法计算出迭代的次数。针对这一问题,本文提出了迭代次数自适应的Grover搜索算法,在Oracle算子和均值反演算子之间嵌入了一个相位判断的算子,通过判断相位和的符号是否发生变化来决策是否停止算法的迭代。本文提出的算法效率比已有的改进算法要好,只需要多一次Oracle查询。并且本文提出的算法在较低的搜索空间情况下有效的改进搜索概率。5)本文给出了量子行走模拟Grover搜索算法的可扩展图形,并且详细分析了这种量子行走搜索算法的概率。为了求解多目标搜索算法,本文基于超立方体上量子行走框架提出了新的硬币算子,通过对目标节点入边的幅度扩大,增加测量到目标节点的概率,最终解决了多目标搜索问题。利用对邻居节点的二次判定,将搜索概率提高到接近于1。本文还提出将迭代次数自适应算法使用到了量子行走搜索算法上,得到了迭代次数自适应的量子行走多目标搜索算法。在接下来的工作中要继续研究离散量子行走和连续量子行走的性质,研究如何将相位控制技术运用到更多的量子算法中,研究如何用可逆逻辑综合技术逻辑实现其他的量子算法。