量子計(jì)算模型及在SAT問(wèn)題上的應(yīng)用.pdf

1、經(jīng)過(guò)長(zhǎng)時(shí)間的發(fā)展，計(jì)算科學(xué)領(lǐng)域和芯片領(lǐng)域面臨兩大問(wèn)題:仍然有許多問(wèn)題不能在多項(xiàng)式時(shí)間內(nèi)解決;指數(shù)倍增加的芯片規(guī)模使其面臨功耗和物理極限。量子計(jì)算因具有天然的并行性等特點(diǎn)而可以對(duì)計(jì)算進(jìn)行加速，因此成為一種有潛力解決上述問(wèn)題的計(jì)算方式并稱為國(guó)際研究熱點(diǎn)。研究量子計(jì)算和量子線路能夠推動(dòng)未來(lái)的量子計(jì)算機(jī)的發(fā)展。
　　由于NP-Hard問(wèn)題都可以歸結(jié)為SAT問(wèn)題，利用量子算法的加速作用來(lái)解決SAT問(wèn)題具有非常重要的意義。同時(shí)，對(duì)量子線路和量

2、子計(jì)算進(jìn)行仿真模擬能夠有助于量子算法方面的研究。本文具體在以下內(nèi)容進(jìn)行了研究
　　1.提出基于Deutsch-Jozsa算法的解決SAT問(wèn)題的量子算法，并且對(duì)這種算法進(jìn)行了理論上的驗(yàn)證和結(jié)果分析。由于對(duì)計(jì)算進(jìn)行了處理，本文的算法和以往量子算法具有明顯的加速作用。
　　2.研究和實(shí)現(xiàn)了量子線路和量子計(jì)算的軟件仿真，并且根據(jù)量子線路的特點(diǎn)實(shí)現(xiàn)了簡(jiǎn)化量子線路的算法。
　　3.研究了其他量子算法比如量子Fourier算法和量子